Conferences in DBLP
Atanas Rountev , Scott Kagan , Michael Gibas Static and dynamic analysis of call chains in Java. [Citation Graph (0, 0)][DBLP ] Conf ] Nurit Dor , Stephen Adams , Manuvir Das , Zhe Yang Software validation via scalable path-sensitive value flow analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Chen Fu , Barbara G. Ryder , Ana Milanova , David Wonnacott Testing of java web services for robustness. [Citation Graph (0, 0)][DBLP ] Conf ] Mihai Christodorescu , Somesh Jha Testing malware detectors. [Citation Graph (0, 0)][DBLP ] Conf ] Cemal Yilmaz , Myra B. Cohen , Adam A. Porter Covering arrays for efficient fault characterization in complex configuration spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Lev Nachmanson , Margus Veanes , Wolfram Schulte , Nikolai Tillmann , Wolfgang Grieskamp Optimal strategies for testing nondeterministic systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian G. Elbaum , Madeline Hardojo An empirical study of profiling strategies for released software and their impact on testing activities. [Citation Graph (0, 0)][DBLP ] Conf ] David Saff , Michael D. Ernst An experimental evaluation of continuous testing during development. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas J. Ostrand , Elaine J. Weyuker , Robert M. Bell Where the bugs are. [Citation Graph (0, 0)][DBLP ] Conf ] Willem Visser , Corina S. Pasareanu , Sarfraz Khurshid Test input generation with java PathFinder. [Citation Graph (0, 0)][DBLP ] Conf ] André Baresel , David Binkley , Mark Harman , Bogdan Korel Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Tonella Evolutionary testing of classes. [Citation Graph (0, 0)][DBLP ] Conf ] A. Hartman , K. Nagin The AGEDIS tools for model based testing. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin J. Sullivan , Jinlin Yang , David Coppit , Sarfraz Khurshid , Daniel Jackson Software assurance by bounded exhaustive testing. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Meinke Automated black-box testing of functional correctness using function approximation. [Citation Graph (0, 0)][DBLP ] Conf ] Sandro Morasca , Stefano Serra Capizzano On the analytical comparison of testing techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Greg Dennis , Robert Seater , Derek Rayside , Daniel Jackson Automating commutativity analysis at the design level. [Citation Graph (0, 0)][DBLP ] Conf ] César Muñoz , Gilles Dowek , Victor Carreño Modeling and verification of an air traffic concept of operations. [Citation Graph (0, 0)][DBLP ] Conf ] James Ezick An optimizing compiler for batches of temporal logic formulas. [Citation Graph (0, 0)][DBLP ] Conf ] James F. Bowring , James M. Rehg , Mary Jean Harrold Active learning for automatic classification of software behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Lee Lin , Michael D. Ernst Improving the adaptability of multi-mode systems via program steering. [Citation Graph (0, 0)][DBLP ] Conf ] S. Ramesh , Aditya Rajeev Kulkarni , V. Kamat Slicing tools for synchronous reactive programs. [Citation Graph (0, 0)][DBLP ] Conf ] Cormac Flanagan , Stephen N. Freund , Shaz Qadeer Exploiting purity for atomicity. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Edwards , Daniel Jackson , Emina Torlak , Vincent Yeung Faster constraint solving with subtypes. [Citation Graph (0, 0)][DBLP ] Conf ] Darrell Reimer , Edith Schonberg , Kavitha Srinivas , Harini Srinivasan , Bowen Alpern , Robert D. Johnson , Aaron Kershenbaum , Larry Koved SABER: smart analysis based error reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su Model checking XML manipulating software. [Citation Graph (0, 0)][DBLP ] Conf ] Matteo Rossi , Dino Mandrioli A formal approach for modeling and verification of RTCORBA-based applications. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Staudt Lerner Verifying process models built using parameterized state machines. [Citation Graph (0, 0)][DBLP ] Conf ] 