Abstract is missing.
- eXpress: guided path exploration for efficient regression test generationKunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux. 1-11 [doi]
- Statically-directed dynamic automated test generationDomagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song. 12-22 [doi]
- Automatic partial loop summarization in dynamic test generationPatrice Godefroid, Daniel Luchaup. 23-33 [doi]
- Symbolic execution with mixed concrete-symbolic solvingCorina S. Pasareanu, Neha Rungta, Willem Visser. 34-44 [doi]
- Polyglot: modeling and analysis for multiple Statechart formalismsDaniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry. 45-55 [doi]
- Scalable analysis of conceptual data modelsMatthew J. McGill, Laura K. Dillon, R. E. Kurt Stirewalt. 56-66 [doi]
- Bounded verification of Ruby on Rails data modelsJaideep Nijjar, Tevfik Bultan. 67-77 [doi]
- Automated framework for formal operator task analysisAyesha Yasmeen, Elsa L. Gunter. 78-88 [doi]
- Efficient, sensitivity resistant binary instrumentationAndrew R. Bernat, Kevin A. Roundy, Barton P. Miller. 89-99 [doi]
- Recovering the toolchain provenance of binary codeNathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu. 100-110 [doi]
- Defective error/pointer interactions in the Linux kernelCindy Rubio-González, Ben Liblit. 111-121 [doi]
- Testing concurrent programs on relaxed memory modelsJacob Burnim, Koushik Sen, Christos Stergiou. 122-132 [doi]
- Change-aware preemption prioritizationVilas Jagannath, Qingzhou Luo, Darko Marinov. 133-143 [doi]
- Persuasive prediction of concurrency access anomaliesJeff Huang, Charles Zhang. 144-154 [doi]
- Demand-driven context-sensitive alias analysis for JavaDacong Yan, Guoqing (Harry) Xu, Atanas Rountev. 155-165 [doi]
- Path- and index-sensitive string analysis based on monadic second-order logicTakaaki Tateishi, Marco Pistoia, Omer Tripp. 166-176 [doi]
- Saving the world wide web from vulnerable JavaScriptSalvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg. 177-187 [doi]
- Geometric encoding: forging the high performance context sensitive points-to analysis for JavaXiao Xiao, Charles Zhang. 188-198 [doi]
- Are automated debugging techniques actually helping programmers?Chris Parnin, Alessandro Orso. 199-209 [doi]
- On the influence of multiple faults on coverage-based fault localizationNicholas DiGiuseppe, James A. Jones. 210-220 [doi]
- Minimizing reproduction of software failuresMartin Burger, Andreas Zeller. 221-231 [doi]
- Detecting anomalies in the order of equally-typed method argumentsMichael Pradel, Thomas R. Gross. 232-242 [doi]
- Feedback driven adaptive combinatorial testingEmine Dumlu, Cemal Yilmaz, Myra B. Cohen, Adam A. Porter. 243-253 [doi]
- Using binary decision diagrams for combinatorial test designItai Segall, Rachel Tzoref-Brill, Eitan Farchi. 254-264 [doi]
- Adaptive random testing: an illusion of effectiveness?Andrea Arcuri, Lionel C. Briand. 265-275 [doi]
- Iterative refinement of specification for component based embedded systemsMuzammil Shahbaz, K. C. Shashidhar, Robert Eschbach. 276-286 [doi]
- Using automatic persistent memoization to facilitate data analysis scriptingPhilip J. Guo, Dawson R. Engler. 287-297 [doi]
- CoDeSe: fast deserialization via code generationMilos Gligoric, Darko Marinov, Sam Kamin. 298-308 [doi]
- Selecting peers for execution comparisonWilliam N. Sumner, Tao Bao, Xiangyu Zhang. 309-319 [doi]
- Generating analyses for detecting faults in path segmentsWei Le, Mary Lou Soffa. 320-330 [doi]
- Characterizing failure-causing parameter interactions by adaptive testingZhiqiang Zhang, Jian Zhang. 331-341 [doi]
- The use of mutation in testing experiments and its sensitivity to external threatsAkbar Siami Namin, Sahitya Kakarla. 342-352 [doi]
- Combined static and dynamic automated test generationSai Zhang, David Saff, Yingyi Bu, Michael D. Ernst. 353-363 [doi]
- Generating parameterized unit testsGordon Fraser, Andreas Zeller. 364-374 [doi]
- High coverage testing of Haskell programsTristan O. R. Allwood, Cristian Cadar, Susan Eisenbach. 375-385 [doi]