Lutess

swMATH1252MaRDI QIDQ13992FDOQ13992

Author name not available (Why is that?)

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

Cited In (8)

• Connectors as designs: modeling, refinement and test case generation
• ATGen
• GATeL
• NewPolka
• Automatically testing interactive applications using extended task trees
• Title not available (Why is that?)
• Formal Approaches to Software Testing
• Lurette

This page was built for software: Lutess