Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
HASE '01 The 6th IEEE International Symposium on High-Assurance Systems Engineering: Special Topic: Impact of Networking
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
SeDiTeC " Testing Based on Sequence Diagrams
Proceedings of the 17th IEEE international conference on Automated software engineering
ATLAS-An Automated Software Testing System
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Test Selection from UML Statecharts
TOOLS '99 Proceedings of the 31st International Conference on Technology of Object-Oriented Language and Systems
Use case-based testing of product lines
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Automated-generating test case using UML statechart diagrams
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Formal Test-Case Generation for UML Statecharts
ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
Generating Test Cases from UML Activity Diagram based on Gray-Box Method
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Boundary Coverage Criteria for Test Generation from Formal Models
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
AD2US: An Automated Approach to Generating Usage Scenarios from UML Activity Diagrams
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Using Adaptive Agents to Automatically Generate Test Scenarios from the UML Activity Diagrams
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
Automatic test case generation for UML activity diagrams
Proceedings of the 2006 international workshop on Automation of software test
Deriving tests from UML 2.0 sequence diagrams with neg and assert
Proceedings of the 2006 international workshop on Automation of software test
An approach to generate test cases from use cases
ICWE '06 Proceedings of the 6th international conference on Web engineering
A Systematic Approach to Generate Inputs to Test UML Design Models
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
A state-based approach to integration testing based on UML models
Information and Software Technology
Test Data Generation from UML State Machine Diagrams using GAs
ICSEA '07 Proceedings of the International Conference on Software Engineering Advances
Test Cases Generation from UML Activity Diagrams
SNPD '07 Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 03
IEEE Transactions on Software Engineering
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Test Case Automate Generation from UML Sequence Diagram and OCL Expression
CIS '07 Proceedings of the 2007 International Conference on Computational Intelligence and Security
Automatic Test Case Generation from UML Sequence Diagram
ADCOM '07 Proceedings of the 15th International Conference on Advanced Computing and Communications
Automatic State-Based Test Generation Using Genetic Algorithms
SYNASC '07 Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Coverage-driven automatic test generation for uml activity diagrams
Proceedings of the 18th ACM Great Lakes symposium on VLSI
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Model Based Testing of System Requirements using UML Use Case Models
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Functional Search-based Testing from State Machines
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Towards Automated Test Sequence Generation
ASWEC '08 Proceedings of the 19th Australian Conference on Software Engineering
Automatic, evolutionary test data generation for dynamic software testing
Journal of Systems and Software
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL
ICYCS '08 Proceedings of the 2008 The 9th International Conference for Young Computer Scientists
Test Input Generation Using UML Sequence and State Machines Models
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Test Case Generation from UML Subactivity and Activity Diagram
ISECS '09 Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02
TSGen: A UML Activity Diagram-Based Test Scenario Generation Tool
CSE '09 Proceedings of the 2009 International Conference on Computational Science and Engineering - Volume 02
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Using UML collaboration diagrams for static checking and test generation
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Using UML Models and Formal Verification in Model-Based Testing
ECBS '10 Proceedings of the 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Test Coverage Analysis of UML State Machines
ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
Coverage criteria for state based specifications
Formal methods and testing
IEEE Transactions on Software Engineering
Synthesis of test scenarios using UML activity diagrams
Software and Systems Modeling (SoSyM)
Generation of improved test cases from UML state diagram using genetic algorithm
Proceedings of the 4th India Software Engineering Conference
IEEE Transactions on Software Engineering
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context
SBESC '11 Proceedings of the 2011 Brazilian Symposium on Computing System Engineering
Transition sequence exploration of UML activity diagram using evolutionary algorithm
Proceedings of the 5th India Software Engineering Conference
Coverage criteria for testing of object interactions in sequence diagrams
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
TESTOR: deriving test sequences from model-based specifications
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Using anti-ant-like agents to generate test threads from the UML diagrams
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Formal test generation from UML models
Dependable Systems
Software Testing: A Craftsman's Approach
Software Testing: A Craftsman's Approach
| Hi-index | 0.00 |
In software engineering, system modeling is the process of formulating a representation of a real system in an abstract way to understand its behavior. Software testing encourages reusing these models for testing purpose. This expedites the process of test case generation. UML structural and behavioral specification diagrams have been used by testing researchers for generation of test scenarios and test data. The aim of this survey is to improve the understanding of UML based testing techniques. We have focused on test case generation from the behavioral specification diagrams, namely sequence, state chart and activity diagrams. We classify the various research approaches that are based on formal specifications, graph theoretic, heuristic testing, and direct UML specification processing. We discuss the issues of test coverage associated with these approaches.