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

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

doi:10.1016/j.entcs.2007.06.019

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 proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005, Eindhoven, The Netherlands, 29 November, 2005
Editors	J. Romijn, G. Smith, J. Pol, van de
Pages	25-48
DOIs	https://doi.org/10.1016/j.entcs.2007.06.019
Publication status	Published - 2007

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	191
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2007.06.019

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

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

@inproceedings{710e4b40d5e941a8ad950ba8c5621297,

title = "Automatic model-based generation of parameterized test cases using data abstraction",

author = "J.R. Calam{\'e} and N. Ioustinova and \{Pol, van de\}, J.C.",

year = "2007",

doi = "10.1016/j.entcs.2007.06.019",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "25--48",

editor = "J. Romijn and G. Smith and \{Pol, van de\}, J.",

booktitle = "Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005, Eindhoven, The Netherlands, 29 November, 2005",

}

Calamé, JR, Ioustinova, N & Pol, van de, JC 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. Electronic Notes in Theoretical Computer Science, vol. 191, pp. 25-48. https://doi.org/10.1016/j.entcs.2007.06.019

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Calamé, J.R.

AU - Ioustinova, N.

AU - Pol, van de, J.C.

PY - 2007

Y1 - 2007

U2 - 10.1016/j.entcs.2007.06.019

DO - 10.1016/j.entcs.2007.06.019

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 25

EP - 48

BT - Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005, Eindhoven, The Netherlands, 29 November, 2005

A2 - Romijn, J.

A2 - Smith, G.

A2 - Pol, van de, J.

ER -

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