- Record: found
- Abstract: not found
- Book Chapter: not found
Testing Software and Systems
Learning-Based Testing for Reactive Systems Using Term Rewriting Technology
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references13
- Record: found
- Abstract: not found
- Book Chapter: not found
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
Edmund Clarke, Anubhav Gupta, James Kukula … (2002)
- Record: found
- Abstract: not found
- Book Chapter: not found
Black Box Checking
Doron Peled, Moshe Vardi, Mihalis Yannakakis (1999)
- Record: found
- Abstract: not found
- Book Chapter: not found
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis
Pankaj Chauhan, Edmund Clarke, James Kukula … (2002)