Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing

Post by:
November 22, 2025
Comments off

by Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione and Pierluigi Pierini

Reference:

Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing (Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione and Pierluigi Pierini), In Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio, eds.), Springer, volume 3236, 2004.

Bibtex Entry:

@inproceedings{DBLP:conf/forte/BucchiaroneMPP04,
  author       = {Antonio Bucchiarone and
                  Henry Muccini and
                  Patrizio Pelliccione and
                  Pierluigi Pierini},
  editor       = {Manuel N{'{u}}{~{n}}ez and
                  Zakaria Maamar and
                  Fernando L. Pelayo and
                  Key Pousttchi and
                  Fernando Rubio},
  title        = {Model-Checking Plus Testing: From Software Architecture Analysis to
                  Code Testing},
  booktitle    = {Applying Formal Methods: Testing, Performance and M/ECommerce, {FORTE}
                  2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2,
                  2004},
  series       = {Lecture Notes in Computer Science},
  volume       = {3236},
  pages        = {351--365},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30233-9_26},
  doi          = {10.1007/978-3-540-30233-9_26},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/BucchiaroneMPP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Categories: