An instrumentation technique for online analysis of multithreaded programs

By Grigore Rosu and Koushik Sen. Concurrency and Computation: Practice and Experience, 19(3):311–325, 2007.

Full Text:

Download PDF

Publisher Link:

http://dx.doi.org/10.1002/cpe.1066

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",
}