%0 Conference Paper %1 conf/tacas/Belinfante10 %A Belinfante, Axel %B TACAS %D 2010 %E Esparza, Javier %E Majumdar, Rupak %I Springer %K %P 266-270 %T JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2010.html#Belinfante10 %V 6015 %@ 978-3-642-12001-5

@inproceedings{conf/tacas/Belinfante10, added-at = {2023-12-12T19:41:19.000+0100}, author = {Belinfante, Axel}, biburl = {https://www.bibsonomy.org/bibtex/25cf797dbb221a9469f888be4ab308363/admin}, booktitle = {TACAS}, crossref = {conf/tacas/2010}, editor = {Esparza, Javier and Majumdar, Rupak}, ee = {https://doi.org/10.1007/978-3-642-12002-2_21}, interhash = {248845c8e493503298598d84ee98b9d8}, intrahash = {5cf797dbb221a9469f888be4ab308363}, isbn = {978-3-642-12001-5}, keywords = {}, pages = {266-270}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:41:19.000+0100}, title = {JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2010.html#Belinfante10}, volume = 6015, year = 2010 }