Lutess

MaRDI QIDQ13992swMATHFDO

Official website http://membres-lig.imag.fr/ledru/IMAGatFM99/LutessFM99.html

Cited in

(9)

• Connectors as designs: modeling, refinement and test case generation
• Automatically testing interactive applications using extended task trees
• scientific article; zbMATH DE number 1693435 (Why is no real title available?)
• AGATHA
• ATGen
• GATeL
• NewPolka
• Formal Approaches to Software Testing
• Lurette

This page was built for software: Lutess