Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"specification mining"”.
-
Preparation-free and comprehensive runtime verification tool for testing Java programs
… an execution of a program conform to certain specifications at runtime. Although excessive runtime overhead, one of its main drawbacks, has been alleviated by many recent works, its usefulness seems to be limited by rarely available specifications and non-trivial preparation. This thesis …
-
Learning frameworks for program synthesis
… where the learner is entirely agnostic of the specification and learns only from input-output examples provided by the teacher as natural notions of counterexamples. Thus, learning frameworks for synthesis have three components: the verification oracle, the notion of a natural counterexample, …
-
Mining specifications in a new world: using a test generator through a learning lens
This Dissertation was approved for publication on 2024-12-06 at 10:26.