Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1

First Page		Document Content
Date: 2010-09-11 18:30:43 Software testing Software engineering Model checkers Computing Theoretical computer science Formal methods Model checking Formal verification Random testing Test automation SPIN model checker Acceptance testing		Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1 Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 157,17 KB Share Document on Facebook

	Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration Alex Groce Rajeev Joshi DocID: 1xTYM - View Document
	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 DocID: 1xTHa - View Document
	Two-sample hypothesis testing for random dot product graphs Minh Tang Department of Applied Mathematics and Statistics Johns Hopkins University DocID: 1uUvz - View Document
	Experience Report: Growing and Shrinking Polygons for Random Testing of Computational Geometry Algorithms Ilya Sergey University College London, UK DocID: 1uCcz - View Document
	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 DocID: 1uAbP - View Document