On Test Repair Using Symbolic Execution Brett Daniel1 1 Tihomir Gvero2

First Page		Document Content
Date: 2010-05-05 16:30:22 Software Cross-linked polyethylene Reliability engineering Unit testing Test automation Statistical hypothesis testing Symbolic execution Constant Literal Software testing Statistics Software development		On Test Repair Using Symbolic Execution Brett Daniel1 1 Tihomir Gvero2 Add to Reading List Source URL: mir.cs.illinois.edu Download Document from Source Website File Size: 168,74 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