Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences.
Robert M. HieronsUraz Cengiz TürkerPublished in: IEEE Trans. Software Eng. (2016)
Keyphrases
- parallel algorithm
- finite state machines
- hidden markov models
- test sequences
- mutation testing
- finite state automata
- parallel computation
- model checking
- parallel programming
- shared memory
- combinatorial search problems
- test generation
- cluster of workstations
- regular expressions
- parallel computers
- test cases
- parallel version
- pc cluster
- software testing
- databases
- interconnection networks
- object oriented
- discovery of association rules