Structural coverage criteria for LUSTRE/SCADE programs.
Abdesselam LakehalIoannis ParissisPublished in: Softw. Test. Verification Reliab. (2009)
Keyphrases
- structural information
- set of test cases
- wireless sensor networks
- structural model
- evaluation criteria
- multiple criteria
- database
- real world
- automatic programming
- application programs
- selection criteria
- structural analysis
- structural features
- computer programs
- data sets
- operating system
- programming language
- multi agent systems
- high level
- website
- feature selection
- information systems