L. du Bousquet, N. Zuanon. An Overview of Lutess, A Specification-based Tool for Testing Synchronous Software. In 14th IEEE International Conference on Automated Software Engineering, Pages 208-215, October 1999.
@InProceedings{CIC:pfl-ase,
Author = {du Bousquet, L. and Zuanon, N.},
Title = {{An Overview of Lutess, A Specification-based Tool for Testing Synchronous Software}},
BookTitle = {{14th IEEE International Conference on Automated Software Engineering}},
Pages = {208--215},
Publisher = {IEEE},
Month = {October},
Year = {1999}
}
Get EndNote Reference (.ref)