Essays about: "Invariantdetektion"
Found 1 essay containing the word Invariantdetektion.
-
1. Increasing Trust in Software by Synthesizing Property-based Tests from Existing Unit Tests : A study on the expansion of existing test suites through the creation of property-based tests via invariants inferred from existing example-based unit tests
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Many software projects include an extensive suite of example-based unit tests. The examples in the test suite can be used as an implicit specification of the behavior of the software. Inferring invariants from these examples may aid in the creation of property-based tests. READ MORE
Result pages:
1