Automatic test generation with AGATHA

DOI10.1007/3-540-36577-X_43MaRDI QIDQ4417966zbMATH OpenFDO

Authors Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190591.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• STG: A symbolic test generation tool
• An approach to symbolic test generation
• Automatic Testing from Formal Specifications
• A tool for automated test code generation from high-level Petri nets
• Automatic generation of conformance tests from message sequence charts

Cited in

(6)

• Slicing communicating automata specifications: Polynomial algorithms for model reduction
• AGATHA
• A tool for automated test code generation from high-level Petri nets
• Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
• UniTesK test suite architecture
• Model-Based Testing for Functional and Security Test Generation

This page was built for publication: Automatic test generation with AGATHA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417966)