Surveying model based testing approaches characterization attributes

ESEM'08: Proceedings of the 2008 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement

Volumn , Issue , 2008, Pages 324-326

  Dias Neto, Arilo Claudio ^a   Travassos, Guilherme Horta ^a  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

Experimental software engineering; Model based testing; Software testing; Survey

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; ENGINEERING; MODEL CHECKING; SOFTWARE ENGINEERING; SURVEYS;

BODY OF KNOWLEDGE; EXPERIMENTAL SOFTWARE ENGINEERING; MODEL-BASED TESTING; SOFTWARE ENGINEERS; SOFTWARE PROJECTS;

SOFTWARE TESTING;

EID: 62949135862     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1414004.1414069     Document Type: Conference Paper

References (7)

1. st WEASELTech (ASE2007), Atlanta.
2. Dalal, S.; Jain, A.; Karunanithi, N.; Leaton, J. M.; Lott, C. M.; Patton, G. C.; Horowitz, B. M. (1999), "Model-based testing in practice", In: ICSE'99, May, pp. 285-294.
3. Pretschner, A.; Prenninger, W.; Wagner, S.; Kuhnel, C.; Baumgartner, M.; Sostawa, B.; Zolch, R.; Stauner, T. (2005), "One evaluation of model-based testing and its automation", in: Proc. ICSE'05, pp. 392-401.
4. Santos-Neto, P.; Resende, R.; Pádua, C. (2007), "Requirements for information systems model-based testing". In Proc. of 2007 ACM Symposium on Applied Computing, Seoul, Korea, March.
5. Utting, M.; Pretschner, A.; Legeard, B. (2006), "A taxonomy of model-based testing", Technical report 04/2006, Department of Computer Science, The University of Waikato, April 2006.
6. rd AST'08, Leipzig, Germany, May.
7. Gardner, M.J; Altman, D. G. (1989), "Statistics with Confidence: confidence intervals and statistical guidelines". London: BMJ Publishing Group.