Automatic model-based generation of parameterized test cases using data abstraction

J.R. Calamé, N. Ioustinova, J.C. Pol, van de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005, Eindhoven, The Netherlands, 29 November, 2005
EditorsJ. Romijn, G. Smith, J. Pol, van de
Pages25-48
DOIs
Publication statusPublished - 2007

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume191
ISSN (Print)1571-0061

Cite this

Calamé, J. R., Ioustinova, N., & Pol, van de, J. C. (2007). Automatic model-based generation of parameterized test cases using data abstraction. In J. Romijn, G. Smith, & J. Pol, van de (Eds.), Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005, Eindhoven, The Netherlands, 29 November, 2005 (pp. 25-48). (Electronic Notes in Theoretical Computer Science; Vol. 191). https://doi.org/10.1016/j.entcs.2007.06.019