Concolic Testing of Concurrent Programs.

Azadeh Farzan Andreas Holzer Niloofar Razavi Helmut Veith

Published in: Software Engineering (2014)

Keyphrases

concurrent programs
process algebra
concurrent programming
concurrent processes
databases
information systems
web applications
petri net
concurrent systems
temporal logic
formal specification