Conferences in DBLP
Dawson R. Engler , Daniel Dunbar Under-constrained execution: making automatic code destruction easy and scalable. [Citation Graph (0, 0)][DBLP ] Conf ] Piramanayagam Arumuga Nainar , Ting Chen , Jake Rosin , Ben Liblit Statistical debugging using compound boolean predicates. [Citation Graph (0, 0)][DBLP ] Conf ] James A. Jones , Mary Jean Harrold , James F. Bowring Debugging in Parallel. [Citation Graph (0, 0)][DBLP ] Conf ] Rachel Tzoref , Shmuel Ur , Elad Yom-Tov Instrumenting where it hurts: an automatic concurrent debugging technique. [Citation Graph (0, 0)][DBLP ] Conf ] Graham Hughes , Tevfik Bultan Interface grammars for modular software model checking. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo d'Amorim , Steven Lauterburg , Darko Marinov Delta execution for efficient state-space exploration of object-oriented programs. [Citation Graph (0, 0)][DBLP ] Conf ] Panagiotis Manolios , Daron Vroon , Gayatri Subramanian Automating component-based system assembly. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Harman , Phil McMinn A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation. [Citation Graph (0, 0)][DBLP ] Conf ] Ilinca Ciupa , Andreas Leitner , Manuel Oriol , Bertrand Meyer Experimental assessment of random testing for object-oriented software. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Trew Chasing rainbows: improving software testing in the real world. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Tomb , Guillaume P. Brat , Willem Visser Variably interprocedural program analysis for runtime error detection. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Koster Using portfolio theory for better and more consistent quality. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Dufour , Barbara G. Ryder , Gary Sevitsky Blended analysis for performance understanding of framework-based applications. [Citation Graph (0, 0)][DBLP ] Conf ] Myra B. Cohen , Matthew B. Dwyer , Jiangfan Shi Interaction testing of highly-configurable systems in the presence of constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Shin Yoo , Mark Harman Pareto efficient multi-objective test case selection. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Emmi , Rupak Majumdar , Koushik Sen Dynamic test input generation for database applications. [Citation Graph (0, 0)][DBLP ] Conf ] Ray-Yaung Chang , Andy Podgurski , Jiong Yang Finding what's not there: a new approach to revealing neglected conditions in software. [Citation Graph (0, 0)][DBLP ] Conf ] Sharon Shoham , Eran Yahav , Stephen Fink , Marco Pistoia Static specification mining using automata-based abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Bin Xin , Xiangyu Zhang Efficient online detection of dynamic control dependence. [Citation Graph (0, 0)][DBLP ] Conf ] James A. Clause , Wanchun Li , Alessandro Orso Dytan: a generic dynamic taint analysis framework. [Citation Graph (0, 0)][DBLP ] Conf ] Sriraman Tallam , Chen Tian , Rajiv Gupta , Xiangyu Zhang Enabling tracing Of long-running multithreaded programs via dynamic execution reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas J. Ostrand , Elaine J. Weyuker , Robert M. Bell Automating algorithms for the identification of fault-prone files. [Citation Graph (0, 0)][DBLP ] Conf ] Tao Wang , Abhik Roychoudhury Hierarchical dynamic slicing. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoxia Ren , Barbara G. Ryder Heuristic ranking of java program edits for fault localization. [Citation Graph (0, 0)][DBLP ] Conf ] 