Automated generation of test cases from logical specification of software requirements
暂无分享,去创建一个
[1] Jesús Torres Valderrama,et al. Generation of test cases from functional requirements. A survey , 2006 .
[2] Benjamin N. Grosof. Representing e-commerce rules via situated courteous logic programs in RuleML , 2004, Electron. Commer. Res. Appl..
[3] Stephen H. Edwards,et al. Automatically Generating Tests from Natural Language Descriptions of Software Behavior , 2013, ENASE.
[4] Kanad K. Biswas,et al. A Semi-automated Approach towards Handling Inconsistencies in Software Requirements , 2012, ENASE.
[5] Thomas Weigert,et al. HCLIE: a logic-based requirement language for new software engineering paradigms , 1991, Softw. Eng. J..
[6] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[7] A. Jefferson Offutt,et al. Generating Tests from UML Specifications , 1999, UML.
[8] Sandro Morasca,et al. Generating test cases for real-time systems from logic specifications , 1995, TOCS.
[9] N. Badr,et al. A Proposed Test Case Generation Technique Based on Activity Diagrams , 2011 .
[10] Floriana Grasso,et al. Natural Language Processing: many questions, no answers , 2007 .
[11] E. Mohammadi,et al. Barriers and facilitators related to the implementation of a physiological track and trigger system: A systematic review of the qualitative evidence , 2017, International journal for quality in health care : journal of the International Society for Quality in Health Care.
[12] Donald Nute,et al. Defeasible Logic , 1994, INAP.
[13] Lionel C. Briand,et al. A UML-Based Approach to System Testing , 2001, Software and Systems Modeling.
[14] Luciano Baresi,et al. An Introduction to Software Testing , 2006, FoVMT.
[15] Jonas Mockus. Introduction to Software , 2000 .
[16] Arvinder Kaur,et al. Systematic Review of Automatic Test Case Generation by UML Diagrams , 2012 .
[17] Tao He,et al. Extenics-based Test Case Generation for UML Activity Diagram , 2013, ITQM.
[18] J. Heumann. Generating Test Cases From Use Cases , 2001 .
[19] A. Pretschner. Classical search strategies for test case generation with Constraint Logic Programming , 2001 .
[20] Gertjan van Noord,et al. A Semantic-Head-Driven Generation Algorithm for Unification-Based Formalisms , 1989, ACL.
[21] Supaporn Kansomkeat,et al. Generating test cases from UML activity diagrams using the Condition-Classification Tree Method , 2010, 2010 2nd International Conference on Software Technology and Engineering.