The Z notation: a reference manual
The Z notation: a reference manual
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Software architecture in industrial applications
Proceedings of the 17th international conference on Software engineering
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward automatic generation of novice user test scripts
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Software testing at the architectural level
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
UML distilled: applying the standard object modeling language
UML distilled: applying the standard object modeling language
Using a goal-driven approach to generate test cases for GUIs
Proceedings of the 21st international conference on Software engineering
Test Case Generation as an AI Planning Problem
Automated Software Engineering
Generating Test Data with Enhanced Context-Free Grammars
IEEE Software
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
An Automatic Generator for Compiler Testing
IEEE Transactions on Software Engineering
AI Planner Assisted Test Generation
Software Quality Control
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Proceedings of the 26th International Conference on Software Engineering
Heuristic Search with Reachability Tests for Automated Generation of Test Programs
Proceedings of the 19th IEEE international conference on Automated software engineering
Automatic test case generation from UML communication diagrams
Information and Software Technology
Information and Software Technology
Rapid goal-oriented automated software testing using MEA-graph planning
Software Quality Control
A state-based approach to integration testing based on UML models
Information and Software Technology
Using a pilot study to derive a GUI model for automated testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Regression testing with UML software designs: A survey
Journal of Software Maintenance and Evolution: Research and Practice
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
Construction of messaging-based enterprise integration solutions using AI planning
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
| Hi-index | 0.00 |
Black box test generation needs a model of the system under test to describe what is to be tested. Testing criteria and test objectives define how it is to be tested. We explain how to represent a system under test via UML models. We derive test objectives from the UML models and use the objectives and the models to generate test cases by mapping them into a problem description for an AI Planner. The planner uses the problem description to generate a test suite that satisfies the UML-derived test objectives.