TeStor: Deriving Test Sequences from Model-Based Specifications

Post by:
November 28, 2025
Comments off

by Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone and Fabrizio Facchini

Reference:

TeStor: Deriving Test Sequences from Model-Based Specifications (Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone and Fabrizio Facchini), In Component-Based Software Engineering, 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings (George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau, eds.), Springer, volume 3489, 2005.

Bibtex Entry:

@inproceedings{DBLP:conf/cbse/PelliccioneMBF05,
  author       = {Patrizio Pelliccione and
                  Henry Muccini and
                  Antonio Bucchiarone and
                  Fabrizio Facchini},
  editor       = {George T. Heineman and
                  Ivica Crnkovic and
                  Heinz W. Schmidt and
                  Judith A. Stafford and
                  Clemens A. Szyperski and
                  Kurt C. Wallnau},
  title        = {TeStor: Deriving Test Sequences from Model-Based Specifications},
  booktitle    = {Component-Based Software Engineering, 8th International Symposium,
                  {CBSE} 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3489},
  pages        = {267--282},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11424529_18},
  doi          = {10.1007/11424529_18},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cbse/PelliccioneMBF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Categories: