Automated Specification-based Testing of Interactive Components with AsmL.
Ana C. R. PaivaJoão Pascoal FariaRaul Moreira VidalPublished in: QUATIC (2004)
Keyphrases
- software development
- software components
- search based software testing
- semi automated
- search based testing
- user friendly
- virtual reality
- formal verification
- data visualization
- fully automated
- real time
- computer graphics
- building blocks
- test case generation
- ims qti
- high level
- interactive video
- manual inspection
- computer aided
- test cases
- user interaction
- data driven
- object oriented
- multi agent systems
- search engine