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

	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