Automatic Test Generation with AGATHA-Reference-Cited by-同舟云学术

Automatic Test Generation with AGATHA

Published:2003 Issue: Volume: Page:591-596
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36577-X_43

Reference15 articles.

1. Rumbaugh, I. Jacobson, G. Booch, The Unified Modelling Language Reference Manual, Reading, MA: Addison-Wesley, 1998.

2. Union Internationale des TELECOMMUNICATION, Langage de programmation-Langage de description et de spécification du CCITT-Norme SDL, Recommandation UIT T Z.100, 03/93.

3. D. Lugato, Nicolas Rapin, J.-P. Gallois, Verification and tests generation for SDL industrial specifications with the AGATHA toolset, Proceeding of Workshop on Real-Time Tools, CONCUR’01.

4. D. Harel, Statecharts: a Visual Formalism for Complex Systems, Science of Computer Programming, vol. 8, pp. 231–274, 1987.

5. ISO, Information processing system, system interconnection, a formal description based on an extended state transition model, Geneva, 1997.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Complementary test selection criteria for model-based testing of security components;International Journal on Software Tools for Technology Transfer;2018-02-28

2. Testing of model-driven development applications;Software Quality Journal;2016-02-10

3. Test generation with Satisfiability Modulo Theories solvers in model-based testing;Software Testing, Verification and Reliability;2014-05-29

4. Model-Based Testing for Functional and Security Test Generation;Foundations of Security Analysis and Design VII;2014

5. Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables;Tests and Proofs;2009