GPU and Multiprocessing Parallel Implementations for the Elimination of Finite State Machine Mutants.
Emad BadawiKhaled El-FakihGerassimos D. BarlasPublished in: QRS Companion (2018)
Keyphrases
- finite state machines
- parallel implementations
- parallel implementation
- mutation testing
- parallel programming
- model checking
- parallel computation
- parallel algorithm
- test sequences
- graphics processing units
- state machine
- processing units
- regular expressions
- parallel computing
- finite state automata
- parallel computers
- parallel processing
- digital circuits
- real time
- test suite
- functional decomposition
- programming environment
- shared memory
- hidden markov models