Conferences in DBLP
Jonathan D. Pincus Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only). [Citation Graph (0, 0)][DBLP ] Conf ] Karthikeyan Bhargavan , Carl A. Gunter , Moonjoo Kim , Insup Lee , Davor Obradovic , Oleg Sokolsky , Mahesh Viswanathan Verisim: Formal analysis of network simulations. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Jackson , Mandana Vaziri Finding bugs with a constraint solver. [Citation Graph (0, 0)][DBLP ] Conf ] Tal Lev-Ami , Thomas W. Reps , Shmuel Sagiv , Reinhard Wilhelm Putting static analysis to work for verification: A case study. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo A. Buy , Alessandro Orso , Mauro Pezzè Automated Testing of Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Amie L. Souter , Lori L. Pollock OMEN: A strategy for testing object-oriented software. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Hartmann , Claudio Imoberdorf , Michael Meisinger UML-Based integration testing. [Citation Graph (0, 0)][DBLP ] Conf ] Richard G. Hamlet On subdomains: Testing, profiles, and components. [Citation Graph (0, 0)][DBLP ] Conf ] Dennis K. Peters , David Lorge Parnas Requirements-based monitors for real-time systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Z. Kolano , Richard A. Kemmerer Classification schemes to aid in the analysis of real-time systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jamieson M. Cobleigh , Lori A. Clarke , Leon J. Osterweil Verifying properties of process definitions. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian G. Elbaum , Alexey G. Malishevsky , Gregg Rothermel Prioritizing test cases for regression testing. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hind , Anthony Pioli Which pointer analysis should I use? [Citation Graph (0, 0)][DBLP ] Conf ] Phyllis G. Frankl , Yuetang Deng Comparison of delivered reliability of branch, data flow and operational testing: A case study. [Citation Graph (0, 0)][DBLP ] Conf ] Ralf Hildebrandt , Andreas Zeller Simplifying failure-inducing input. [Citation Graph (0, 0)][DBLP ] Conf ] Lori A. Clarke Finite state verification: An emerging technology for validating software systems (abstract only). [Citation Graph (0, 0)][DBLP ] Conf ] David Chays , Saikat Dan , Phyllis G. Frankl , Filippos I. Vokolos , Elaine J. Weber A framework for testing database applications. [Citation Graph (0, 0)][DBLP ] Conf ] John Steven , Pravir Chandra , Bob Fleck , Andy Podgurski jRapture: A Capture/Replay tool for observation-based testing. [Citation Graph (0, 0)][DBLP ] Conf ] Martin R. Woodward , Zuhoor A. Al-Khanjari Testability, fault size and the domain-to-range ratio: An eternal triangle. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick J. Schroeder , Bogdan Korel Black-box test reduction using input-output analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Craig H. Wittenberg Progress in testing component-based software (abstract only). [Citation Graph (0, 0)][DBLP ] Conf ] David L. Dill Model checking Java programs (abstract only). [Citation Graph (0, 0)][DBLP ] Conf ] Mangala Gowri Nanda , S. Ramesh Slicing concurrent programs. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen F. Siegel , George S. Avrunin Improving the precision of INCA by preventing spurious cycles. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Schulz , Frank Mueller A thread-aware debugger with an open interface. [Citation Graph (0, 0)][DBLP ] Conf ] 