Sökning: "Adam Renberg"
Hittade 1 uppsats innehållade orden Adam Renberg.
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)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
Resultatsidor:
1