Testing of Concurrent Programs Using Genetic Algorithms.

Vendula Hrubá Bohuslav Krena Zdenek Letko Shmuel Ur Tomás Vojnar

Published in: SSBSE (2012)

Keyphrases

concurrent programs
concurrent programming
process algebra
genetic algorithm
web applications
database
formal specification
asynchronous circuits
concurrent processes
software engineering
model checking