Keyword:test generation

Publications
Looking Back: a Probabilistic Inverse Perspective on Test Generation Joachim Kristensen, Tobias Reinhard and Michael Kirkedal Thomsen EasyChair Preprint 13257
Asynchronous testing of real-time systems Puneet Bhateja In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017