First Page | Document Content | |
---|---|---|
Date: 2015-05-05 00:58:35Software engineering Software Code coverage Software testing ARG2 Xdebug Relational operator Tarantula Computer programming | Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd SchillerAdd to Reading ListSource URL: zhang-sai.github.ioDownload Document from Source WebsiteFile Size: 594,77 KBShare Document on Facebook |
RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008DocID: 1rl1i - View Document | |
Microsoft Word - DIBCO2009-CfP.docDocID: 1nPv4 - View Document | |
Microsoft Word - HandSegmCont2009-CfP.docDocID: 1mYbf - View Document | |
Thinklab syntax Full Thinklab model syntax summary model Concept | literal-value | function-call(arg1, arg2, ...) // i.e. either a Concept, or a literal value, or a function named model-nameDocID: 1esTj - View Document | |
Thinklab syntax Gary Johnson Full Thinklab model syntax summary model Concept | literal-value | function-call(arg1, arg2, ...) // i.e. either a Concept, or a literal value, or a functionDocID: 1e0nX - View Document |