Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
IEEE Transactions on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Generating test data from SOFL specifications
Journal of Systems and Software
Deriving Mode Invariants from SCR Specifications
ICECCS '96 Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Korat: automated testing based on Java predicates
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Projected state machine coverage for software testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Software requirements validation via task analysis
Journal of Systems and Software
UML-Based Integration Testing for Component-Based Software
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Measuring OO Design Metrics from UML
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
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
UML-Based Statistical Test Case Generation
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Coverage testing software architectural design in SDL
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
TestEra: A Novel Framework for Automated Testing of Java Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
Test Purposes: Adapting the Notion of Specification to Testing
Proceedings of the 16th IEEE international conference on Automated software engineering
Tool support for validating UML and OCL models through automatic snapshot generation
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
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
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart
Proceedings of the 26th International Conference on Software Engineering
Test input generation with java PathFinder
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
The AGEDIS tools for model based testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Software assurance by bounded exhaustive testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
Property-Oriented Test Generation from UML Statecharts
Proceedings of the 19th IEEE international conference on Automated software engineering
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
Integrating automated test generation into the WYSIWYT spreadsheet testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Deriving tests from UML 2.0 sequence diagrams with neg and assert
Proceedings of the 2006 international workshop on Automation of software test
Test ready UML statechart models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Efficient software model checking of data structure properties
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Code-coverage guided prioritized test generation
Information and Software Technology
Automatic test case generation from UML communication diagrams
Information and Software Technology
Generation of test requirements from aspectual use cases
Proceedings of the 3rd workshop on Testing aspect-oriented programs
Requirements for information systems model-based testing
Proceedings of the 2007 ACM symposium on Applied computing
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Information and Software Technology
A state-based approach to integration testing based on UML models
Information and Software Technology
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Rule-Based Diagnosis through a Distributed Monitor System
IEEE Transactions on Dependable and Secure Computing
Test generation and minimization with "basic" statecharts
Proceedings of the 2008 ACM symposium on Applied computing
An evaluation of a model-based testing method for information systems
Proceedings of the 2008 ACM symposium on Applied computing
Class-component testability analysis
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Deriving Input Partitions from UML Models for Automatic Test Generation
Models in Software Engineering
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Leveraging User Interactions for In-Depth Testing of Web Applications
RAID '08 Proceedings of the 11th international symposium on Recent Advances in Intrusion Detection
Automatic generation of test specifications for coverage of system state transitions
Information and Software Technology
Building test cases and oracles to automate the testing of web database applications
Information and Software Technology
Conformance Testing Based on UML State Machines
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Snapshot Generation in a Constructive Object-Oriented Modeling Language
Logic-Based Program Synthesis and Transformation
System state coverage through automatic test case generation
International Journal of Information and Communication Technology
Regression testing with UML software designs: A survey
Journal of Software Maintenance and Evolution: Research and Practice
Scalability issues with using FSMWeb to test web applications
Information and Software Technology
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
An Empirical Study of Structural Constraint Solving Techniques
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Using UML(VR) for the support of the test data generation
International Journal of Critical Computer-Based Systems
A prolific approach for automated generation of test cases from informal requirements
ACM SIGSOFT Software Engineering Notes
Automatically generating predicates and solutions for configuration troubleshooting
USENIX'09 Proceedings of the 2009 conference on USENIX Annual technical conference
Directed test suite augmentation: techniques and tradeoffs
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of 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
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Aspects-classes integration testing strategy: an incremental approach
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
A method for information systems testing automation
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Model-based system testing of software product families
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
TESTOR: deriving test sequences from model-based specifications
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Using TTCN-3 for testing platform independent models
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
The AGEDIS tools for model based testing
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
The AGEDIS tools for model based testing
UML Modeling Languages and Applications
Combining model-based and combinatorial testing for effective test case generation
Proceedings of the 2012 International Symposium on Software Testing and Analysis
The complexity of asynchronous model based testing
Theoretical Computer Science
Applying formal methods to PCEP: an industrial case study from modeling to test generation
Software Testing, Verification & Reliability
Prioritization of test scenarios derived from UML activity diagram using path complexity
Proceedings of the CUBE International Information Technology Conference
Test input generation using dynamic programming
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Efficiently generating structurally complex inputs with thousands of objects
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Automated generation of test oracles using a model-driven approach
Information and Software Technology
Empirical evaluation on FBD model-based test coverage criteria using mutation analysis
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Model transformation testing: the state of the art
Proceedings of the First Workshop on the Analysis of Model Transformations
ACM SIGSOFT Software Engineering Notes
Research Review: A Systematic Literature Review on the Quality of UML Models
Journal of Database Management
What good are strong specifications?
Proceedings of the 2013 International Conference on Software Engineering
Example-driven modeling: model = abstractions + examples
Proceedings of the 2013 International Conference on Software Engineering
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
Hi-index | 0.00 |
Although most industry testing of complex software is conducted at the system level, most formal research has focused on the unit level. As a result, most system level testing techniques are only described informally. This paper presents a novel technique that adapts pre-defined state-based specification test data generation criteria to generate test cases from UML statecharts. UML statecharts provide a solid basis for test generation in a form that can be easily manipulated. This technique includes coverage criteria that enable highly effective tests to be developed. To demonstrate this technique, a tool has been developed that uses UML statecharts produced by Rational Software Corporation's Rational Rose tool to generate test data. Experimental results from using this tool are presented.