%0 Conference Paper %1 conf/tap/AichernigJK13 %A Aichernig, Bernhard K. %A Jöbstl, Elisabeth %A Kegele, Matthias %B TAP %D 2013 %E Veanes, Margus %E Viganò, Luca %I Springer %K dblp %P 1-19 %T Incremental Refinement Checking for Test Case Generation. %U http://dblp.uni-trier.de/db/conf/tap/tap2013.html#AichernigJK13 %V 7942 %@ 978-3-642-38915-3

@inproceedings{conf/tap/AichernigJK13, added-at = {2019-10-19T00:00:00.000+0200}, author = {Aichernig, Bernhard K. and Jöbstl, Elisabeth and Kegele, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2f58c8c662b5680c0ab123aae680d584d/dblp}, booktitle = {TAP}, crossref = {conf/tap/2013}, editor = {Veanes, Margus and Viganò, Luca}, ee = {https://doi.org/10.1007/978-3-642-38916-0_1}, interhash = {c9e9c6743a359075aa9ea52256573fbd}, intrahash = {f58c8c662b5680c0ab123aae680d584d}, isbn = {978-3-642-38915-3}, keywords = {dblp}, pages = {1-19}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:13:38.000+0200}, title = {Incremental Refinement Checking for Test Case Generation.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2013.html#AichernigJK13}, volume = 7942, year = 2013 }