Using Dependency Relations to Improve Test Case Generation from UML Statecharts
暂无分享,去创建一个
[1] V. Chimisliu,et al. Model based test case generation for distributed embedded systems , 2012, 2012 IEEE International Conference on Industrial Technology.
[2] Franz Wotawa,et al. Abstracting timing information in UML state charts via temporal ordering and LOTOS , 2011, AST '11.
[3] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[4] Marius Bozga,et al. Using Static Analysis to Improve Automatic Test Generation , 2000, TACAS.
[5] Iso. Lotos,et al. A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .
[6] Philip Samuel,et al. Slicing-based test case generation from UML activity diagrams , 2009, SOEN.
[7] Jean-Pierre Gallois,et al. Slicing communicating automata specifications: polynomial algorithms for model reduction , 2008, Formal Aspects of Computing.
[8] Thierry Jéron,et al. A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2005 .
[9] Mark Harman,et al. Control Dependence for Extended Finite State Machines , 2009, FASE.
[10] Ji Wang,et al. Slicing Hierarchical Automata for Model Checking UML Statecharts , 2002, ICFEM.
[11] Matthew B. Dwyer,et al. A new foundation for control dependence and slicing for modern program structures , 2005, TOPL.
[12] Bernhard Peischl,et al. Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems , 2010, 2010 10th International Conference on Quality Software.
[13] Franz Wotawa,et al. Improving Coverage Based Test Purposes , 2009, 2009 Ninth International Conference on Quality Software.
[14] Patrícia Duarte de Lima Machado,et al. Towards Test Purpose Generation from CTL Properties for Reactive Systems , 2006, MBT.