Improving evidence about software technologies: A look at model-based testing

IEEE Software

Volumn 25, Issue 3, 2008, Pages 10-13

  Neto, Arilo Dias ^a   Subramanyan, Rajesh ^b   Vieira, Marlon ^b   Travassos, Guilherme Horta ^a   Shull, Forrest ^c  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b SIEMENS CORPORATE RESEARCH   (United States)

^c Fraunhofer USA Inc   (United States)

Author keywords

Book reviews; Empirical study; Model based testing; Object oriented modeling; Programming; Reliability; Software; Systematic review; Testing; Unified modeling language

Indexed keywords

COST BENEFIT ANALYSIS; OBJECT ORIENTED PROGRAMMING; SOFTWARE RELIABILITY; SOFTWARE TESTING; UNIFIED MODELING LANGUAGE;

MODEL-BASED TESTING (MBT);

SOFTWARE ENGINEERING;

EID: 44149126224     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.2008.64     Document Type: Article

References (7)

1. S. Dalal et al., "Model-Based Testing in Practice," Proc. 1999 Int'l Conf. Software Eng. (ICSE 99), ACM Press, 1999, pp. 285-294.
2. I.K. El-Far and J.A. Whittaker, "Model-Based Software Testing," Encyclopedia of Software Eng., J.J. Marciniak, ed., John Wiley & Sons, 2001, pp. 825-837.
3. A. Pretschner, "Model-Based Testing," Proc. 27th Int'l Conf. Software Eng. (ICSE 05), ACM Press, 2005, pp. 722-723.
4. C.V. Ramamoorthy, S.F. Ho, and W.T. Chen, "On the Automated Generation of Program Test Data," IEEE Trans. Software Eng., vol. 2, no. 4, 1976, pp. 293-300.
5. W. Prenninger, M. El-Ramly, and M. Horstmann, "Case Studies," Model-Based Testing of Reactive Systems, M. Broy et al., eds., Springer, 2005, pp. 439-464.
6. F. Shull, J. Carver, and G.H. Travassos, "An Empirical Methodology for Introducing Software Processes," Proc. 8th European Software Eng. Conf., IEEE CS Press, 2001, pp. 288-296.
7. A. Sinha and C. Smidts, "An Experimental Evaluation of a Higher-Ordered-Typed-Functional Specification-Based Test-Generation Technique," Empirical Software Eng., vol. 11, no. 2, 2006, pp. 173-202.