Lutess

swMATH1252MaRDI QIDQ13992FDOQ13992

Author name not available (Why is that?)

Cited In (4)

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

This page was built for software: Lutess