Abstract is missing.
- Using task context to improve programmer productivityMik Kersten, Gail C. Murphy. 1-11 [doi]
- Work experience versus refactoring to design patterns: a controlled experimentT. H. Ng, S. C. Cheung, W. K. Chan, Y. T. Yu. 12-22 [doi]
- Questions programmers ask during software evolution tasksJonathan Sillito, Gail C. Murphy, Kris De Volder. 23-34 [doi]
- Memories of bug fixesSunghun Kim, Kai Pan, Jim Whitehead. 35-45 [doi]
- Failure proximity: a fault localization-based approachChao Liu, Jiawei Han. 46-56 [doi]
- Finding failure-inducing changes in java programs using change classificationMaximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip. 57-68 [doi]
- How is aliasing used in systems software?Brian Hackett, Alex Aiken. 69-80 [doi]
- Dynamic slicing long running programs through execution fast forwardingXiangyu Zhang, Sriraman Tallam, Rajiv Gupta. 81-91 [doi]
- Controlling factors in evaluating path-sensitive error detection techniquesMatthew B. Dwyer, Suzette Person, Sebastian G. Elbaum. 92-104 [doi]
- Interpolation for data structuresDeepak Kapur, Rupak Majumdar, Calogero G. Zarba. 105-116 [doi]
- SYNERGY: a new algorithm for property checkingBhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani. 117-127 [doi]
- Bit level types for high level reasoningRanjit Jhala, Rupak Majumdar. 128-140 [doi]
- An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit modelsHyunsook Do, Gregg Rothermel. 141-151 [doi]
- Exceptions and aspects: the devil is in the detailsFernando Castor Filho, Nélio Cacho, Eduardo Figueiredo, Raquel Maranhão, Alessandro Garcia, Cecília M. F. Rubira. 152-162 [doi]
- Detecting increases in feature coupling using regression testsOlivier Giroux, Martin P. Robillard. 163-174 [doi]
- Using positive tainting and syntax-aware evaluation to counter SQL injection attacksWilliam G. J. Halfond, Alessandro Orso, Panagiotis Manolios. 175-185 [doi]
- Local analysis of atomicity sphere for B2B collaborationChunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu. 186-196 [doi]
- Scenarios, goals, and state machines: a win-win partnership for model synthesisChristophe Damas, Bernard Lambeau, Axel van Lamsweerde. 197-207 [doi]
- User guidance for creating precise and accessible property specificationsRachel L. Cobleigh, George S. Avrunin, Lori A. Clarke. 208-218 [doi]
- From multi-modal scenarios to code: compiling LSCs into aspectJShahar Maoz, David Harel. 219-230 [doi]
- Simulation-based test adequacy criteria for distributed systemsMatthew J. Rutherford, Antonio Carzaniga, Alexander L. Wolf. 231-241 [doi]
- Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentationHeng Lu, W. K. Chan, T. H. Tse. 242-252 [doi]
- Carving differential unit test cases from system test casesSebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Jonathan Dokulil. 253-264 [doi]
- SMArTIC: towards building an accurate, robust and scalable specification minerDavid Lo, Siau-Cheng Khoo. 265-275 [doi]
- Lightweight extraction of syntactic specificationsMana Taghdiri, Robert Seater, Daniel Jackson. 276-286 [doi]