BibTeX record conf/pts/BoudhibaGGP15

• > Home > conf/pts/BoudhibaGGP15

@inproceedings{DBLP:conf/pts/BoudhibaGGP15,
  author       = {Imen Boudhiba and
                  Christophe Gaston and
                  Pascale Le Gall and
                  Virgile Prevosto},
  editor       = {Khaled El{-}Fakih and
                  Gerassimos D. Barlas and
                  Nina Yevtushenko},
  title        = {Model-Based Testing from Input Output Symbolic Transition Systems
                  Enriched by Program Calls and Contracts},
  booktitle    = {Testing Software and Systems - 27th {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2015, Sharjah and Dubai, United Arab Emirates,
                  November 23-25, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9447},
  pages        = {35--51},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25945-1\_3},
  doi          = {10.1007/978-3-319-25945-1\_3},
  timestamp    = {Thu, 27 Jul 2023 08:17:13 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/BoudhibaGGP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}