Automatic test generation with AGATHA

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2619, Issue , 2003, Pages 591-596

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

^a CEA SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

AUTOMATED TEST; AUTOMATIC TEST GENERATION; INPUT-OUTPUT; LABELED TRANSITION SYSTEMS; TOOL DEMONSTRATION; TOOLSETS; UML SPECIFICATIONS;

SPECIFICATIONS;

EID: 34548080895     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36577-x_43     Document Type: Article

References (15)

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.
6. AIT-WOODDES Project N IST-1999-10069, http://wooddes.intranet.gr/.
7. L. A. Clarke. A system to generate test data and symbolically execute programs, IEEE Transactions on software Engineering, vol. SE-2, no3, September 1976, pp 215-222.
8. J.C. Huang. An approach to program testing, ACM computing surveys. 7(3): 113-128, September 1975.
9. J. C. King. Symbolic execution and program testing, Communication of the ACM, 19(7). July 1976.
10. M. Ishisone, T. Sawada, Brute: brute force rewriting engine, GAIST, January 2001, http://www.theta.theta.ro/cafeobj.
11. W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman, D. Wonnacott, The Omega Library version 1.1.0, University of Maryland, November 1996, http://www.cs.umd.edu/proiects/omega.
12. R. Milner. Communication and concurrency, Prentice Hall International, 1989.
13. M. Worner, M. Frohlich, DaVinci Tool version 2.1, Bremen University, July 98, http://www.informatik.uni-bremen.de/davinci.
14. Objecteering Tool version 5, Softeam Paris, 2001, http://www.softeam.fr.
15. S. Gérard, N. S. Voros, C. Koulamas, Efficient system modeling of complex real-time industry; networks using the ACCORD/UML methodology, DIPES 2000.