%0 Conference Paper %1 conf/pts/BoudhibaGGP15 %A Boudhiba, Imen %A Gaston, Christophe %A Gall, Pascale Le %A Prevosto, Virgile %B ICTSS %D 2015 %E El-Fakih, Khaled %E Barlas, Gerassimos D. %E Yevtushenko, Nina %I Springer %K %P 35-51 %T Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. %U http://dblp.uni-trier.de/db/conf/pts/ictss2015.html#BoudhibaGGP15 %V 9447 %@ 978-3-319-25944-4

@inproceedings{conf/pts/BoudhibaGGP15, added-at = {2023-12-12T17:43:16.000+0100}, author = {Boudhiba, Imen and Gaston, Christophe and Gall, Pascale Le and Prevosto, Virgile}, biburl = {https://www.bibsonomy.org/bibtex/27ba79376878e60cdbb89ff150df0047c/admin}, booktitle = {ICTSS}, crossref = {conf/pts/2015}, editor = {El-Fakih, Khaled and Barlas, Gerassimos D. and Yevtushenko, Nina}, ee = {https://doi.org/10.1007/978-3-319-25945-1_3}, interhash = {07c03f6cfc014c0de2a9ff316784aa96}, intrahash = {7ba79376878e60cdbb89ff150df0047c}, isbn = {978-3-319-25944-4}, keywords = {}, pages = {35-51}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:43:16.000+0100}, title = {Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts.}, url = {http://dblp.uni-trier.de/db/conf/pts/ictss2015.html#BoudhibaGGP15}, volume = 9447, year = 2015 }