%0 Conference Paper %1 conf/xpu/StottsLA02 %A Stotts, P. David %A Lindsey, Mark %A Antley, Angus %B XP/Agile Universe %D 2002 %E Wells, Don %E Williams, Laurie A. %I Springer %K %P 131-143 %T An Informal Formal Method for Systematic JUnit Test Case Generation. %U http://dblp.uni-trier.de/db/conf/xpu/xpu2002.html#StottsLA02 %V 2418 %@ 3-540-44024-0

@inproceedings{conf/xpu/StottsLA02, added-at = {2023-12-12T23:40:15.000+0100}, author = {Stotts, P. David and Lindsey, Mark and Antley, Angus}, biburl = {https://www.bibsonomy.org/bibtex/20ec9e3e7b6a6f044f3015fdb29eda611/admin}, booktitle = {XP/Agile Universe}, crossref = {conf/xpu/2002}, editor = {Wells, Don and Williams, Laurie A.}, ee = {https://doi.org/10.1007/3-540-45672-4_13}, interhash = {5897d1cfdd9e7773e9ee213d6174db23}, intrahash = {0ec9e3e7b6a6f044f3015fdb29eda611}, isbn = {3-540-44024-0}, keywords = {}, pages = {131-143}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:40:15.000+0100}, title = {An Informal Formal Method for Systematic JUnit Test Case Generation.}, url = {http://dblp.uni-trier.de/db/conf/xpu/xpu2002.html#StottsLA02}, volume = 2418, year = 2002 }