Cited By
View all- Jin GSong LShi XScherpelz JLu S(2012)Understanding and detecting real-world performance bugsACM SIGPLAN Notices10.1145/2345156.225407547:6(77-88)Online publication date: 11-Jun-2012
- DuVarney DIyer S(2002)C Wolf - A Toolset for Extracting Models from C ProgramsProceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems10.5555/646220.682194(260-275)Online publication date: 11-Nov-2002
- Du Varney DPurushothaman Iyer S(2002)C Wolf - A Toolset for Extracting Models from C ProgramsFormal Techniques for Networked and Distributed Sytems — FORTE 200210.1007/3-540-36135-9_17(260-275)Online publication date: 5-Nov-2002