%0 Conference Paper %1 conf/lopstr/CaballeroMKH15 %A Caballero, Rafael %A Montenegro, Manuel %A Kuchen, Herbert %A von Hof, Vincent %B LOPSTR %D 2015 %E Falaschi, Moreno %I Springer %K %P 221-226 %T Checking Java Assertions Using Automated Test-Case Generation. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2015.html#CaballeroMKH15 %V 9527 %@ 978-3-319-27435-5

@inproceedings{conf/lopstr/CaballeroMKH15, added-at = {2023-12-12T22:41:35.000+0100}, author = {Caballero, Rafael and Montenegro, Manuel and Kuchen, Herbert and von Hof, Vincent}, biburl = {https://www.bibsonomy.org/bibtex/2e1626e05eb3c371f5d6052a4de2a1c8a/admin}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2015}, editor = {Falaschi, Moreno}, ee = {https://doi.org/10.1007/978-3-319-27436-2_13}, interhash = {4d07d0a4d4c53d80010963182ce398fb}, intrahash = {e1626e05eb3c371f5d6052a4de2a1c8a}, isbn = {978-3-319-27435-5}, keywords = {}, pages = {221-226}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T22:41:35.000+0100}, title = {Checking Java Assertions Using Automated Test-Case Generation.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2015.html#CaballeroMKH15}, volume = 9527, year = 2015 }