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