Angelic Debugging Satish Chandra Emina Torlak IBM Research

First Page		Document Content
Date: 2014-08-13 19:26:58 Cross-platform software Abstract interpretation Symbolic execution Debugging Exception handling Software testing KeY Test Function Computing Computer programming Software engineering		Angelic Debugging Satish Chandra Emina Torlak IBM Research Add to Reading List Source URL: homes.cs.washington.edu Download Document from Source Website File Size: 292,28 KB Share Document on Facebook

	ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ Software DocID: 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 of DocID: 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 Chen2 DocID: 1xUTT - View Document
	VOLUME 2: BPGen: An Automated Breakpoint Generator for Debugging DocID: 1xUOR - View Document
	Debugging with Domain-Specific Events via Macros Xiangqi Li Matthew Flatt University of Utah DocID: 1xUJA - View Document