Torkar, Richard; Chalmers University of Technology and University of Gothenburg
BRIAND, Lionel ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Hansen, Kai; ABB
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
State-Based Testing: Industrial Evaluation of the Cost-Effectiveness of Round-Trip Path and Sneak-Path Strategies
Date de publication/diffusion :
2012
Nom de la manifestation :
23rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2012)
Lieu de la manifestation :
Dallas, Etats-Unis - Texas
Date de la manifestation :
Nov 27-30, 2012
Manifestation à portée :
International
Titre de l'ouvrage principal :
IEEE International Symposium on Software Reliability Engineering
E. Gamma, R. Helm, R. Johnson, and J. Vlissides, "Design Patterns - Elements of Reusable Object-Oriented Software", Addison-Wesley, 1995.
S. Ali, H. Hemmati, N.E. Holt, E. Arisholm, and L.C. Briand, "Model Transformations as a Strategy to Automate Model-Based Testing: A Tool and Industrial Case Studies", Simula Research Laboratory, Technical Report (2010-01), 2010.
T. Chow, "Testing Software Design Modeled by Finite-State Machines", IEEE Transactions on Software Engineering, vol. 4, no. 3, pp. 178-187, 1978.
N.E. Holt, E. Arisholm, and L.C. Briand, "An Eclipse Plug-in for the Flattening of Concurrency and Hierarchy in UML State Machines", Simula Research Laboratory, Technical Report (2009-06), 2009.
G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide, Addison Wesley, 1999.
L.C. Briand, Y. Labiche, and Y. Wang, "Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart", Proceedings of the 26th International Conference on Software Engineering, 2004.
Y.-S. Ma, J. Offutt, and Y.R. Kwon, "MuJava: An Automated Class Mutation System", Software Testing, Verification and Reliability, vol. 15, no. 2, pp. 97-133, 2005.
"Kermeta - Breathe Life into Your Metamodels", http://www.kermeta.org/ (May 2012).
S. Mouchawrab, L.C. Briand, Y. Labiche, and M. Di Penta, "Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments", IEEE Transactions on Software Engineering, vol. 37, no. 2, pp. 161-187, 2011.
L.C. Briand, M. Di Penta, and Y. Labiche, "Assessing and Improving State-Based Class Testing: A Series of Experiments", IEEE Transactions on Software Engineering, vol. 30, no. 11, pp. 770-783, 2004.
P. Runeson and M. Höst, "Guidelines for Conducting and Reporting Case Study Research in Software Engineering", Empirical Software Engineering, vol. 14, no. 2, pp. 131-164, 2009.
L.C Briand and Y. Labiche, "Empirical Studies of Software Testing Techniques: Challenges, Practical Strategies, and Future Research", ACM Special Interest Group on Software Engineering Software Engineering Notes, vol. 29, no. 5, pp. 1-3, 2004.
