Essays about: "Adam Renberg"

Found 1 essay containing the words Adam Renberg.

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

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : ADAM RENBERG; [2014]
    Keywords : ;

    Abstract : 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. READ MORE