@inproceedings{TACAS-2005-XieMSN,
author = "Tao Xie and Darko Marinov and Wolfram Schulte and David Notkin",
booktitle = "{Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/978-3-540-31980-1_24",
isbn = "3-540-25333-5",
pages = "365--381",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution}",
volume = 3440,
year = 2005,
}
Tags: