SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software.

Tuba Yavuz

Browse the full ICST paper archive.