Bounded-Interference Sequentialization for Testing Concurrent Programs.

Niloofar Razavi Azadeh Farzan Andreas Holzer

Published in: ISoLA (1) (2012)

Keyphrases

concurrent programs
concurrent programming
process algebra
web applications
real time
concurrent processes
web services
computer systems
model checking
computer networks