Online efficient predictive safety analysis of multithreaded programs.

Published in: Int. J. Softw. Tools Technol. Transf. (2006)

Keyphrases