First Page | Document Content | |
---|---|---|
Date: 2014-04-15 11:46:35Hardware verification languages Assertion Debugging Logic in computer science Tesla Roadster Clang Rust C E Software engineering Computing Computer programming | TESLA: Temporally Enhanced System Logic Assertions Jonathan Anderson Robert N. M. Watson David Chisnall Khilan Gudka Ilias Marinos Brooks DavisAdd to Reading ListSource URL: www.cl.cam.ac.ukDownload Document from Source WebsiteFile Size: 365,32 KBShare Document on Facebook |
ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ SoftwareDocID: 1xVFC - View Document | |
REPT: Reverse Debugging of Failures in Deployed Software Weidong Cui and Xinyang Ge, Microsoft Research Redmond; Baris Kasikci, University of Michigan; Ben Niu, Microsoft Research Redmond; Upamanyu Sharma, University ofDocID: 1xVto - View Document | |
JOURNAL OF SOFTWARE, VOL. 8, NO. 3, MARCHAutomated Breakpoint Generation for Debugging Cheng Zhang1,3 , Juyuan Yang2 , Dacong Yan4 , Shengqian Yang4 , Yuting Chen2DocID: 1xUTT - View Document | |
VOLUME 2: BPGen: An Automated Breakpoint Generator for DebuggingDocID: 1xUOR - View Document | |
Debugging with Domain-Specific Events via Macros Xiangqi Li Matthew Flatt University of UtahDocID: 1xUJA - View Document |