Symbolic context-bounded analysis of multithreaded Java programs (2008)

by Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon
Venue:In Proceedings of SPIN, LNCS 5156