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

	Automation Hooks Architecture Trade Study for Flexible Test Orchestration Chatwin A. Lansdowne, John R. Maclean, Members, IEEE Frank J. Graffagnino, Patrick A. McCartney  Abstract—We describe the conclusions of a te DocID: 1vmlq - View Document
	Grant Agreement: Comprehensive Modelling for Advanced Systems of Systems Test Automation Support Technical Note Number: D34.1 Version: 1.0 DocID: 1vffP - View Document
	Industrial Electrical Engineering and Automation CODEN:LUTEDX/(TEIE) Automated Power Test Hardware testing of power consumtion DocID: 1uIIo - View Document
	Test design automation: equivalence classes, boundaries, edges and corner cases George B. Sherwood Testcover.com, LLC Colts Neck, NJ USA Abstract DocID: 1uCmk - View Document
	Industrial Electrical Engineering and Automation CODEN:LUTEDX/(TEIE) Automated Power Test Hardware testing of power consumtion DocID: 1uqug - View Document