Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs.
Besnik SeljimiIoannis ParissisPublished in: ISSRE (2006)
Keyphrases
- automatically generate
- test sequences
- automatically generated
- test cases
- constraint logic programming
- video sequences
- test generation
- bit rate
- mutation testing
- dea models
- answer sets
- answer set programming
- computer programs
- database systems
- dea model
- image processing
- data sets
- logic programming
- knowledge management
- constraint solving
- open source
- feature selection