-based timed test sequences using backward-induction.
Junaid IqbalDragos TruscanJüri VainIvan PorresPublished in: ECBS (2017)
Keyphrases
- test sequences
- test cases
- petri net
- inductive learning
- video sequences
- bit rate
- test generation
- mutation testing
- bi directional
- forward backward
- pattern matching
- inductive logic programming
- timed automata
- constructive induction
- database
- subgroup discovery
- forward and backward
- discrete event
- functional programs
- program synthesis
- rule induction
- data sets
- databases
- image quality
- image processing
- object oriented
- software engineering
- open source