@article {3856,
	title = {Isolation and Pex: case study of cooperation},
	year = {2013},
	month = {09/2013},
	institution = {Budapest University of Technology and Economics},
	abstract = {<p>
	Quality assurance of software is currently getting a wider spread,\&nbsp;therefore testing is given a more important role in their development.\&nbsp;Selecting the inputs for tests is an elaborate task, but there are tools\&nbsp;for generating test inputs from the model or even from the logic of the\&nbsp;software. In a recent testing project we experimented with Pex, a test\&nbsp;input generation tool, which analyzes the structure of the code. Unit\&nbsp;testing involves the isolation of external dependencies from the unit,\&nbsp;which is commonly implemented with isolation frameworks. Pex is\&nbsp;shipped with an isolation tool called Moles, which is now in deprecated\&nbsp;state. Thus we performed a case study to determine whether Pex could\&nbsp;seamlessly collaborate with other isolation frameworks. Our initial\&nbsp;results show that is is possible to use other frameworks, but Pex could\&nbsp;loose from its functionality.</p>
},
	keywords = {isolation, Pex, symbolic execution, testing},
	author = {Honfi, D{\'a}vid and Zolt{\'a}n Micskei and Andr{\'a}s V{\"o}r{\"o}s}
}
