Abstract is missing.
- The real value of testingJames R. Larus. 1-2 [doi]
- Proofs from testsNels Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons. 3-14 [doi]
- Combining unit-level symbolic execution and system-level concrete execution for testing NASA softwareCorina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape. 15-26 [doi]
- Testing for buffer overflows with length abstractionRu-Gang Xu, Patrice Godefroid, Rupak Majumdar. 27-38 [doi]
- Efficient solving of structural constraintsBassem Elkarablieh, Darko Marinov, Sarfraz Khurshid. 39-50 [doi]
- Using sensitivity analysis to create simplified economic models for regression testingHyunsook Do, Gregg Rothermel. 51-62 [doi]
- Effective and scalable software compatibility testingIl-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter. 63-74 [doi]
- Configuration-aware regression testing: an empirical study of sampling and prioritizationXiao Qu, Myra B. Cohen, Gregg Rothermel. 75-86 [doi]
- Finding errors in .net with feedback-directed random testingCarlos Pacheco, Shuvendu K. Lahiri, Thomas Ball. 87-96 [doi]
- Customization change impact analysis for erp professionals via program slicingNurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss. 97-108 [doi]
- Finding bugs in java native interface programsGoh Kondoh, Tamiya Onodera. 109-118 [doi]
- Cooperative debugging with five hundred million test casesBen Liblit. 119-120 [doi]
- A metric for software readabilityRaymond P. L. Buse, Westley Weimer. 121-130 [doi]
- Comparing software metrics toolsRüdiger Lincke, Jonas Lundberg, Welf Löwe. 131-142 [doi]
- Dynamic recognition of synchronization operations for improved data race detectionChen Tian, Vijay Nagarajan, Rajiv Gupta, Sriraman Tallam. 143-154 [doi]
- Racer: effective race detection using aspectjEric Bodden, Klaus Havelund. 155-166 [doi]
- Fault localization using value replacementDennis Jeffrey, Neelam Gupta, Rajiv Gupta. 167-178 [doi]
- AFID: an automated fault identification toolAlex Edwards, Sean Tucker, Sébastien Worms, Rahul Vaidya, Brian Demsky. 179-188 [doi]
- The probabilistic program dependence graph and its application to fault diagnosisGeorge K. Baah, Andy Podgurski, Mary Jean Harrold. 189-200 [doi]
- Practical pluggable types for javaMatthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst. 201-212 [doi]
- Verifying dereference safety via expanding-scope analysisAlexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda. 213-224 [doi]
- Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysisGuoqing Xu, Atanas Rountev. 225-236 [doi]
- Are your votes ::::really:::: counted?: testing the security of real-world electronic voting systemsDavide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna. 237-248 [doi]
- Dynamic test input generation for web applicationsGary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su. 249-260 [doi]
- Finding bugs in dynamic web applicationsShay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst. 261-272 [doi]
- Automatic documentation inference for exceptionsRaymond P. L. Buse, Westley Weimer. 273-282 [doi]
- Universal symbolic execution and its application to likely data structure invariant generationYamini Kannan, Koushik Sen. 283-294 [doi]
- Dynamic inference of likely data preconditions over predicates by tree learningSriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta. 295-306 [doi]
- DEFECTS 2008: international workshop on defects in large software systemsPremkumar T. Devanbu, Brendan Murphy, Nachiappan Nagappan, Thomas Zimmermann, Valentin Dallmeier. 307-308 [doi]
- 6th workshop on parallel and distributed systems: testing and debugging (PADTAD 08)Shmuel Ur, Scott D. Stoller, Eitan Farchi. 309-310 [doi]
- Workshop on testing, analysis and verification of web software (TAV-WEB 2008)Tevfik Bultan, Tao Xie. 311-312 [doi]
- WODA 2008: the sixth international workshop on dynamic analysisBen Liblit, Atanas Rountev. 313-314 [doi]
- Workshop on state-space exploration for automated testing (SSEAT 2008)Darko Marinov, Wolfram Schulte. 315-316 [doi]