Search results
Journal of Computer Virology and Hacking Techniques > 2018 > 14 > 2 > 167-179
Journal of Parallel and Distributed Computing > 2017 > 105 > C > 163-173
Digital Investigation > 2017 > 20 > S > S75-S82
Lecture Notes in Computer Science > Tests and Proofs > 149-168
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Symbolic Test Generation > 16-32
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Tools (Demos) and Program Analysis > 417-420
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Proceedings FATES 2005 > 87-102
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking and Testing > 357-370
Lecture Notes in Computer Science > Software Engineering Research and Applications > Software Testing and Quality Issues > 225-238
Procedia Computer Science > 2016 > 78 > C > 851-858
2015 23rd Telecommunications Forum Telfor (TELFOR) > 1002 - 1004