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

Source URL: rjoshi.org

• 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

Study of Integrating Random and Symbolic Testing for Object-Oriented Software∗ Marko Dimjašević1 , Falk Howar2 , Kasper Luckow3 , and Zvonimir Rakamarić1 1 2

Source URL: www.falkhowar.de

• Software testing
• Software engineering
• Computing
• Software development
• Symbolic execution
• Random testing
• Unit testing
• Code coverage
• Test automation
• Algorithm
• Manual testing
• Concolic testing

Two-sample hypothesis testing for random dot product graphs Minh Tang Department of Applied Mathematics and Statistics Johns Hopkins University

Source URL: www.ams.jhu.edu

Experience Report: Growing and Shrinking Polygons for Random Testing of Computational Geometry Algorithms Ilya Sergey University College London, UK

Source URL: ilyasergey.net

Michigan State University CONTROLLED SUBSTANCES TEST RESULTS NOTIFICATION The controlled substances testing regulations require the employer to notify a driver of a positive result following a random, reasonable suspici

Source URL: www.hr.msu.edu

Vienna, EWDTS 2013 Random Testing: Per Björklöv Accompanied by: Gary McCutheon and Colin Woods Random Testing  Why random testing?

Source URL: www.ewdts.org

Experience Report: Applying Random Testing to a Base Type Environment Vincent St-Amour Neil Toronto

Source URL: users.eecs.northwestern.edu

Applying Random Testing to a Base Type Environment Experience Report Vincent St-Amour Neil Toronto PLT

Source URL: users.eecs.northwestern.edu

The Binomial Test The binomial test is a test of binomially distributed hypotheses. Obviously, it is useful for testing hypotheses about binary random variables (e.g., a coin flip, success or failure on a test), but it c

Source URL: www.cogsci.ucsd.edu

DART: Directed Automated Random Testing Patrice Godefroid Nils Klarlund Koushik Sen

Source URL: wkr.io