Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Test Generation Derived from Model-Checking
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Hi-index | 0.00 |
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven test generation and execution for distributed systems. The project includes an integrated environment for modeling, test generation, test execution, and other test related activities. The tools support a UML based testing methodology that features a large degree of automation and also includes a feedback loop integrating coverage and defect analysis tools with the test generator and execution framework.