%0 Conference Paper %1 conf/tap/AichernigNT15 %A Aichernig, Bernhard K. %A Nickovic, Dejan %A Tiran, Stefan %B TAP %D 2015 %E Blanchette, Jasmin Christian %E Kosmatov, Nikolai %I Springer %K dblp %P 1-18 %T Scalable Incremental Test-case Generation from Large Behavior Models. %U http://dblp.uni-trier.de/db/conf/tap/tap2015.html#AichernigNT15 %V 9154 %@ 978-3-319-21214-2

@inproceedings{conf/tap/AichernigNT15, added-at = {2019-10-19T00:00:00.000+0200}, author = {Aichernig, Bernhard K. and Nickovic, Dejan and Tiran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2733b4d4b14de9da88946811f99c468d9/dblp}, booktitle = {TAP}, crossref = {conf/tap/2015}, editor = {Blanchette, Jasmin Christian and Kosmatov, Nikolai}, ee = {https://doi.org/10.1007/978-3-319-21215-9_1}, interhash = {755eda0204a5bf242c13712985cd18db}, intrahash = {733b4d4b14de9da88946811f99c468d9}, isbn = {978-3-319-21214-2}, keywords = {dblp}, pages = {1-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:13:36.000+0200}, title = {Scalable Incremental Test-case Generation from Large Behavior Models.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2015.html#AichernigNT15}, volume = 9154, year = 2015 }