Lutess: A Specification-Driven Testing Environment for Synchronous Software.
Lydie du BousquetFarid OuabdesselamJean-Luc RichierNicolas ZuanonPublished in: ICSE (1999)
Keyphrases
- test case generation
- software testing
- test cases
- requirements specification
- reactive systems
- formal specification
- real time
- software systems
- data driven
- software development
- software environment
- test suite
- formal verification
- hardware design
- simulation environment
- testing process
- object oriented systems
- software maintenance
- software tools
- autonomous agents
- dynamic environments
- computer systems
- mobile robot
- high level
- petri net
- quality assurance
- specification language
- control flow
- virtual world
- case study
- software requirements
- neural network
- data sets