Lutess: A testing environment for synchronous software

MaRDI QIDQ4934527zbMATH OpenFDO

Authors Lydie du Bousquet, F. Quabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon

Publication date 9 April 2000

zbMATH Keywords

Lustre languageLutesstesting reactive software

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-based testing of reactive systems. Advanced lectures.
• scientific article; zbMATH DE number 1670803
• scientific article; zbMATH DE number 4082959
• scientific article; zbMATH DE number 526071
• Synchronous structures

Cited in

(3)

• Lutess
• Automatically testing interactive applications using extended task trees
• LaTe, a Non-fully Deterministic Testing Language

This page was built for publication: Lutess: A testing environment for synchronous software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934527)