Mutation-Based Testing of Concurrent Programs.

Richard H. Carver

Published in: ITC (1993)

Keyphrases

concurrent programs
genetic algorithm
concurrent programming
evolutionary algorithm
process algebra
differential evolution
concurrent processes
web applications
knowledge based systems
fitness function
high level
sensor networks
programming language