Automated generation of testcase datasets
Proceedings of the international conference on Reliable software
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated test data generation using an iterative relaxation method
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Test plan generation using formal grammars
ICSE '79 Proceedings of the 4th international conference on Software engineering
Use of state diagrams to engineer communications software
ICSE '78 Proceedings of the 3rd international conference on Software engineering
The automatic generation and execution of function test plans for electronic switching systems
Proceedings of the software quality assurance workshop on Functional and performance issues
Creating and visualizing test data from programming exercises
Informatics in education
Generating test data for distributed software using the chaining approach
Information and Software Technology
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
The Automated Testing and Load Analysis System (ATLAS) formalizes a concept of model-referenced testing for large software systems. A directed graph model of the software under test, describing the sequential stimulus-response behavior of the software system, forms the basis of the approach. The objective of ATLAS is to certify the software under test against the model. This objective is met by components of ATLAS that automatically identify, generate, apply, and verify the set of tests required to establish that the software has correctly realized the model. The system has been successfully employed in testing over 40,000 instructions of Bell Laboratories large No. 4 ESS software package. Usage data and experience from this application and a critique of the approach are given.