Conferences in DBLP
Kristen R. Walcott , Mary Lou Soffa , Gregory M. Kapfhammer , Robert S. Roos TimeAware test suite prioritization. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:1-12 [Conf ] Phil McMinn , Mark Harman , David Binkley , Paolo Tonella The species per path approach to SearchBased test data generation. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:13-24 [Conf ] Michael W. Whalen , Ajitha Rajan , Mats Per Erik Heimdahl , Steven P. Miller Coverage metrics for requirements-based testing. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:25-36 [Conf ] Willem Visser , Corina S. Pasareanu , Radek Pelánek Test input generation for java containers using state matching. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:37-48 [Conf ] Joseph R. Ruthruff , Sebastian G. Elbaum , Gregg Rothermel Experimental program analysis: a new program analysis paradigm. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:49-60 [Conf ] Robert M. Bell , Thomas J. Ostrand , Elaine J. Weyuker Looking for bugs in all the right places. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:61-72 [Conf ] Stefan Wagner A model and sensitivity analysis of the quality economics of defect-detection techniques. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:73-84 [Conf ] Dick Hamlet Subdomain testing of units and systems with state. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:85-96 [Conf ] Jamieson M. Cobleigh , George S. Avrunin , Lori A. Clarke Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:97-108 [Conf ] Greg Dennis , Felix Sheng-Ho Chang , Daniel Jackson Modular verification of code with SAT. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:109-120 [Conf ] Paolina Centonze , Gleb Naumovich , Stephen J. Fink , Marco Pistoia Role-Based access control consistency validation. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:121-132 [Conf ] Stephen J. Fink , Eran Yahav , Nurit Dor , G. Ramalingam , Emmanuel Geay Effective typestate verification in the presence of aliasing. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:133-144 [Conf ] Greta Yorsh , Thomas Ball , Mooly Sagiv Testing, abstraction, theorem proving: better together! [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:145-156 [Conf ] Stephen F. Siegel , Anastasia Mironova , George S. Avrunin , Lori A. Clarke Using model checking with symbolic execution to verify parallel numerical programs. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:157-168 [Conf ] Marat Boshernitsan , Roong-Ko Doong , Alberto Savoia From daikon to agitator: lessons and challenges in building a commercial tool for developer testing. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:169-180 [Conf ] Kimmo Kiviluoma , Johannes Koskinen , Tommi Mikkonen Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:181-190 [Conf ] Xiaolan Zhang , Larry Koved , Marco Pistoia , Sam Weber , Trent Jaeger , Guillaume Marceau , Liangzhao Zeng The case for analysis preserving language transformation. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:191-202 [Conf ] Oksana Tkachuk , Sreeranga P. Rajan Application of automated environment generation to commercial software. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:203-214 [Conf ] Hana Sevcikova , Alan Borning , David Socha , Wolf-Gideon Bleek Automated testing of stochastic systems: a statistically grounded approach. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:215-224 [Conf ] Raimondas Lencevicius , Edu Metz Performance assertions for mobile devices. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:225-232 [Conf ] Brian Demsky , Michael D. Ernst , Philip J. Guo , Stephen McCamant , Jeff H. Perkins , Martin C. Rinard Inference and enforcement of data structure consistency specifications. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:233-244 [Conf ] Christoph Csallner , Yannis Smaragdakis DSD-Crasher: a hybrid analysis tool for bug finding. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:245-254 [Conf ] Philip J. Guo , Jeff H. Perkins , Stephen McCamant , Michael D. Ernst Dynamic inference of abstract types. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:255-265 [Conf ]