Sökning: "ADAM RENBERG"

Hittade 1 uppsats innehållade orden ADAM RENBERG.

  1. 1. Test-inspired runtime verification : Using a unit test-like specification syntax for runtime verification

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :ADAM RENBERG; [2014]
    Nyckelord :;

    Sammanfattning : Computer software is growing ever more complex, and more sophisticated tools are required to make sure the software operates in a correct way — i.e. according to its specification. There are two general approaches to assure the correctness of software. LÄS MER