%0 Conference Proceedings
%F Groz-Jeron-Kerbrat-SDLForum99
%A Groz, R.
%A Jéron, T.
%A Kerbrat, A.
%T Automated Test Generation from {SDL} specifications
%B SDL'99 The Next Millenium, 9th SDL Forum, Montréal, Québec
%E Dssouli, R.
%E von Bochmann, G.
%E Lahav, Y.
%P 135-152
%I Elsevier
%X Automatic test generation from formal specifications presents a lot of promises, either in cost control or test suite correctness. Some interesting tools begin to emerge, either prototypes or industrial strength tools. We present the result of the integration in ObjectGéode of an industrial test generation tool. This tool is based on two complementary test generation prototypes, TVeda and TGV. TVeda comes from the research laboratory CNET/France Telecom, it provides for test purposes and test cases generation, based on state space exploration or symbolic analysis techniques. TGV has been designed in the research laboratories Irisa and Verimag, it provides test cases generation based on efficient, on-the-fly state space exploration techniques
%U http://www.irisa.fr/vertecs/Publis/Ps/99-SDL-FORUM.ps.gz
%8 June
%D 1999