%0 Conference Paper %1 conf/tacas/Belinfante10 %A Belinfante, Axel %B Tools and Algorithms for the Construction and Analysis of Systems, 2010 %D 2010 %E Esparza, Javier %E Majumdar, Rupak %I Springer %K formal ioco mbt testing %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 = {2010-10-20T20:15:57.000+0200}, author = {Belinfante, Axel}, biburl = {https://www.bibsonomy.org/bibtex/269c433c8a74afa2b15e88b0b527338f9/davef}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 2010}, description = {dblp}, editor = {Esparza, Javier and Majumdar, Rupak}, ee = {http://dx.doi.org/10.1007/978-3-642-12002-2_21}, interhash = {248845c8e493503298598d84ee98b9d8}, intrahash = {69c433c8a74afa2b15e88b0b527338f9}, isbn = {978-3-642-12001-5}, keydf = {mbttools42}, keywords = {formal ioco mbt testing}, pages = {266-270}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2014-01-08T18:14:01.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 }