An instrumentation technique for online analysis of multithreaded programs
By
BibTeX
@article{journals/concurrency/RosuS07, author = "Rosu, Grigore and Sen, Koushik", title = "An instrumentation technique for online analysis of multithreaded programs", ee = "http://dx.doi.org/10.1002/cpe.1066", journal = "Concurrency and Computation: Practice and Experience", keywords = "formal methods, software engineering", number = "3", pages = "311-325", volume = "19", year = "2007", }