Test case generation by means of UML sequence diagrams and labeled transition systems
暂无分享,去创建一个
Patrícia Duarte de Lima Machado | Francisco Gomes de Oliveira Neto | Patricia D. L. Machado | Emanuela Gadelha Cartaxo | F. G. O. Neto | E. Cartaxo | F. D. O. Neto
[1] Boris Beizer,et al. Software Testing Techniques , 1983 .
[2] Boris Beizer,et al. Software testing techniques (2. ed.) , 1990 .
[3] W. B. Perkinson. A methodology for designing and executing ISDN feature tests, using automated test systems , 1992, [Conference Record] GLOBECOM '92 - Communications for Global Users: IEEE.
[4] Paul C. Jorgensen,et al. Software Testing: A Craftsman's Approach , 1995 .
[5] Paul J. Kühn,et al. The Feature and Service Interaction Problem in Telecommunications Systems. A Survey , 1998, IEEE Trans. Software Eng..
[6] J. Jézéquel,et al. Validating Distributed Software Modeled with UML , 1998 .
[7] Robert V. Binder,et al. Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .
[8] Thierry Jéron,et al. Test Generation Derived from Model-Checking , 1999, CAV.
[9] Siddhartha R. Dalal,et al. Model-based testing in practice , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[10] Chryssa Dislis,et al. The evolution of a system test process [for Motorola GSM products] , 1999, International Test Conference 1999. Proceedings (IEEE Cat. No.99CH37034).
[11] Jean-Marc Jézéquel,et al. UMLAUT: an extendible UML transformation framework , 1999, 14th IEEE International Conference on Automated Software Engineering.
[12] John D. McGregor,et al. A Practical Guide to Testing Object-Oriented Software , 2001, Addison Wesley object technology series.
[13] Bill Mitchell,et al. Automatic Generation of Conformance Tests from Message Sequence Charts , 2002, SAM.
[14] James A. Whittaker,et al. Model‐Based Software Testing , 2002 .
[15] Falk Fraikin,et al. SeDiTeC-testing based on sequence diagrams , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
[16] Mario Kolberg,et al. Feature interaction: a critical review and considered forecast , 2003, Comput. Networks.
[17] Alexander Ran,et al. Making sense of runtime architecture for mobile phone software , 2003, ESEC/FSE-11.
[18] Amy P. Felty,et al. Feature specification and automated conflict detection , 2003, TSEM.
[19] Winfried Dulz,et al. Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains , 2003, 2003 Test Symposium.
[20] Thierry Jéron,et al. TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .
[21] Thierry Jéron,et al. A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2005 .
[22] Hassan Gomaa,et al. Model-based testing for applications derived from software product lines , 2005, A-MOST.