First Page | Document Content | |
---|---|---|
Date: 2010-09-11 18:44:46Model 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 JoshiAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 129,10 KBShare Document on Facebook |