Back to Results
First PageMeta Content
Model checkers / Software testing / Software engineering / Concurrent computing / Model checking / Promela / SPIN model checker / Probability and statistics / Statistical theory / Random testing / Java Pathfinder / Actor model


Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration Alex Groce Rajeev Joshi
Add to Reading List

Document Date: 2010-09-11 18:44:46


Open Document

File Size: 129,10 KB

Share Result on Facebook