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

First Page		Document Content
Date: 2018-09-30 08:43:02 Software testing Software engineering Computing Software development Symbolic execution Random testing Unit testing Code coverage Test automation Algorithm Manual testing Concolic testing		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 Add to Reading List Source URL: www.falkhowar.de Download Document from Source Website File Size: 553,80 KB Share Document on Facebook

	NEWSEnglish Edition SOURCE CODE COVERAGE DocID: 1vaq0 - View Document
	Investigating Faults Missed by Test Suites Achieving High Code Coverage Amanda Schwartz, Daniel Puckett University of South Carolina Upstate , DocID: 1uSw7 - View Document
	The Impact of Code Review Coverage and Code Review Participation on Software Quality A Case Study of the Qt, VTK, and ITK Projects 1 1 DocID: 1u20H - View Document
	CLFS_2016 PEIA 2015 Clinical Diagnostic Laboratory The absence or presence of a CPT code in this table does not indicate PEIA Coverage DocID: 1t2ao - View Document
	Partition-Based Regression Verification Marcel B¨ohme School of Computing National University of Singapore DocID: 1rt1R - View Document