Predicting null-pointer dereferences in concurrent programs.

Azadeh Farzan P. Madhusudan Niloofar Razavi Francesco Sorrentino

Published in: SIGSOFT FSE (2012)

Keyphrases

concurrent programs
concurrent programming
data structure
process algebra
real time
information systems
knowledge base
peer to peer
fault tolerance
formal specification