Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
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
Using scenarios to support traceability
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
Requirements for information systems model-based testing
Proceedings of the 2007 ACM symposium on Applied computing
Test Synthesis from UML Models of Distributed Software
IEEE Transactions on Software Engineering
Towards Property Oriented Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards traceability of model-based testing artifacts
Proceedings of the 3rd international workshop on Advances in model-based testing
A state-based approach to integration testing based on UML models
Information and Software Technology
An experimental evaluation of approaches to feature testing in the mobile phone applications domain
Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting
Using traceability to support model-based regression testing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
Electronic Notes in Theoretical Computer Science (ENTCS)
An evaluation of a model-based testing method for information systems
Proceedings of the 2008 ACM symposium on Applied computing
LTS-BT: a tool to generate and select functional test cases for embedded systems
Proceedings of the 2008 ACM symposium on Applied computing
Using model transformation to support model-based test coverage measurement
Proceedings of the 3rd international workshop on Automation of software test
Testing mobile computing applications: toward a scenario language and tools
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
Erlang testing and tools survey
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Conformance Testing Based on UML State Machines
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
An approach to testing conceptual schemas
Data & Knowledge Engineering
Model based testing with labelled transition systems
Formal methods and testing
A conformance testing relation for symbolic timed automata
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Testing techniques in software engineering
Testing techniques in software engineering
Test case generation from mutated task models
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Journal of Web Engineering
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
A method for information systems testing automation
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Enabling security testing from specification to code
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
TPLan-a notation for expressing test purposes
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Science of Computer Programming
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 model 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. Prototypes of the tools have been tried in industrial settings providing important feedback for the creation of the next generation of tools in this area.