Abstract is missing.
- RefaFlex: safer refactorings for reflective Java programsAndreas Thies, Eric Bodden. 1-11 [doi]
- THeME: a system for testing by hardware monitoring eventsKristen Walcott-Justice, Jason Mars, Mary Lou Soffa. 12-22 [doi]
- Multi-slicing: a compiler-supported parallel approach to data dependence profilingHongtao Yu, Zhiyuan Li. 23-33 [doi]
- Remedying the eval that men doSimon Holm Jensen, Peter A. Jonsson, Anders Møller. 34-44 [doi]
- State aware test case regeneration for improving web application test suite coverage and fault detectionNadia Alshahwan, Mark Harman. 45-55 [doi]
- ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistenciesMuath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, Christopher Kruegel. 56-66 [doi]
- Search-based system testing: high coverage, no false alarmsFlorian Gross, Gordon Fraser, Andreas Zeller. 67-77 [doi]
- Swarm testingAlex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr. 78-88 [doi]
- Compositional load test generation for software pipelinesPingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer. 89-99 [doi]
- Combining model-based and combinatorial testing for effective test case generationCu D. Nguyen, Alessandro Marchetto, Paolo Tonella. 100-110 [doi]
- A first step towards algorithm plagiarism detectionFangfang Zhang, Yoon-chan Jhi, Dinghao Wu, Peng Liu 0005, Sencun Zhu. 111-121 [doi]
- A quantitative study of accuracy in system call-based malware detectionDavide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda. 122-132 [doi]
- Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilitiesJuan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa. 133-143 [doi]
- Memoized symbolic executionGuowei Yang, Corina S. Pasareanu, Sarfraz Khurshid. 144-154 [doi]
- Abstracting path conditionsJan Strejcek, Marek Trtík. 155-165 [doi]
- Probabilistic symbolic executionJaco Geldenhuys, Matthew B. Dwyer, Willem Visser. 166-176 [doi]
- A human study of patch maintainabilityZachary P. Fry, Bryan Landau, Westley Weimer. 177-187 [doi]
- Understanding user understanding: determining correctness of generated program invariantsMatt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel. 188-198 [doi]
- Empirical investigation of search algorithms for environment model-based testing of real-time embedded softwareMuhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand. 199-209 [doi]
- Testing concurrent programs to achieve high synchronization coverageShin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, Mary Jean Harrold. 210-220 [doi]
- CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applicationsKe Zhai, Boni Xu, W. K. Chan, T. H. Tse. 221-231 [doi]
- Cooperative types for controlling thread interference in JavaJaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan. 232-242 [doi]
- Finding errors in multithreaded GUI applicationsSai Zhang, Hao Lü, Michael D. Ernst. 243-253 [doi]
- Static memory leak detection using full-sparse value-flow analysisYulei Sui, Ding Ye, Jingling Xue. 254-264 [doi]
- Static detection of brittle parameter typingMichael Pradel, Severin Heiniger, Thomas R. Gross. 265-275 [doi]
- Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs sayDevin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek. 276-286 [doi]
- Detecting inconsistencies via universal reachability analysisAaron Tomb, Cormac Flanagan. 287-297 [doi]
- Residual investigation: predictive and precise bug detectionKaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis. 298-308 [doi]
- Isolating failure causes through test case generationJeremias Rößler, Gordon Fraser, Andreas Zeller, Alessandro Orso. 309-319 [doi]
- Efficient regression testing of ontology-driven systemsMijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin M. Kurç, Alessandro Orso, Joel H. Saltz, Andrew R. Post, Kunal Malhotra, Shamkant B. Navathe. 320-330 [doi]
- Regression mutation testingLingming Zhang, Darko Marinov, Lu Zhang 0023, Sarfraz Khurshid. 331-341 [doi]