Automatic test generation with AGATHA

Authors:
Céline Bigot;Alain Faivre;Jean-Pierre Gallois;Arnault Lapitre;David Lugato;Jean-Yves Pierron;Nicolas Rapin
Affiliations:
CEA/LIST/DTSI/SLA, CEA Saclay, Gif sur Yvette Cedex, France;CEA/LIST/DTSI/SLA, CEA Saclay, Gif sur Yvette Cedex, France;CEA/LIST/DTSI/SLA, CEA Saclay, Gif sur Yvette Cedex, France;CEA/LIST/DTSI/SLA, CEA Saclay, Gif sur Yvette Cedex, France;CEA/LIST/DTSI/SLA, CEA Saclay, Gif sur Yvette Cedex, France;CEA/LIST/DTSI/SLA, CEA Saclay, Gif sur Yvette Cedex, France;CEA/LIST/DTSI/SLA, CEA Saclay, Gif sur Yvette Cedex, France
Venue:
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Year:
2003

Citing 7
Cited 2

Statecharts: A visual formalism for complex systems

Science of Computer Programming
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
An Approach to Program Testing

ACM Computing Surveys (CSUR)
Symbolic execution and program testing

Communications of the ACM
Communication and Concurrency

Communication and Concurrency
Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology

DIPES '00 Proceedings of the IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems: Architecture and Design of Distributed Embedded Systems
A System to Generate Test Data and Symbolically Execute Programs

IEEE Transactions on Software Engineering

Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables

TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Symbolic model based testing for component oriented systems

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

This tool demonstration paper describes the AGATHA toolset, developed at CEA/LIST. It is an automated test generator for specifications of communicating concurrent units described using an EIOLTS (Extended Input Output Labeled Transition System) formalism which can be extracted, for example, from UML specification.