IndexTopOther examplesReferences

Contents

Index

References

[1]
Duncan Clarke, Thierry Jéron, Vlad Rusu and Elena Zinovieva, STG:A Tool for Generating Symbolic Test Programs and Oracles from Operationnal Specifications. Joint 8th European Software Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundation of Software Engineering (FSE-9), 2001.
[2]
Vlad Rusu,Lydie du Bousquet and Thierry Jéron. An approach to symbolic test generation. In Internationnal Conference on Integrating Formal Methods, volume 1945 of Lecture Notes in Computer Science, pages 338-357, Dagstuhl, Germany, November 2000. Springer-Verlag.
[3]
Duncan Clarke, Thierry Jéron, Vlad Rusu and Elena Zinovieva, Automated Test and Oracle Generation for Smart-Card Applications.International Conference on Research in Smart Cards (e-Smart'01), Volume 2140 of LNCS, pages 58-70, 2001.
[4]
NBAC Tool, NBAC.
[5]
Graphviz Tool, Dotty.
[6]
Lucky Tool, LUCKY.

F Ployette, F-X Ponscarme, October 18, 2007


IndexTopOther examplesReferencesContentsIndex