Scalable automated methods for dynamic program analysis

By Koushik Sen. In PhD Dissertation. 2006.

Full Text:

Download PDF

BibTeX

@inproceedings{phd,
    author = "Sen, Koushik",
    title = "Scalable Automated Methods for Dynamic Program Analysis",
    booktitle = "PhD Dissertation",
    keywords = "formal methods, software engineering",
    year = "2006",
}