Abstract is missing.
- Proving memory safety of floating-point computations by combining static and dynamic program analysisPatrice Godefroid, Johannes Kinder. 1-12 [doi]
- Strict control dependence and its effect on dynamic information flow analysesTao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu. 13-24 [doi]
- Analysis of invariants for efficient bounded verificationJuan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias. 25-36 [doi]
- Automatically identifying critical input regions and code in applicationsMichael Carbin, Martin C. Rinard. 37-48 [doi]
- Directed test generation for effective fault localizationShay Artzi, Julian Dolby, Frank Tip, Marco Pistoia. 49-60 [doi]
- Automated fixing of programs with contractsYi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller. 61-72 [doi]
- Causal inference for statistical fault localizationGeorge K. Baah, Andy Podgurski, Mary Jean Harrold. 73-84 [doi]
- Generating test cases for specification miningValentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller. 85-96 [doi]
- Modeling consumer-perceived web application fault severities for testingKinga Dobolyi, Westley Weimer. 97-106 [doi]
- Automatic detection of unsafe component loadingsTaeho Kwon, Zhendong Su. 107-118 [doi]
- Learning from 6, 000 projects: lightweight cross-project anomaly detectionNatalie Gruska, Andrzej Wasylkowski, Andreas Zeller. 119-130 [doi]
- Perturbing numerical calculations for statistical analysis of floating-point program (in)stabilityEnyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su. 131-142 [doi]
- Automated analysis of load testing resultsZhen Ming Jiang. 143-146 [doi]
- Mutation-driven generation of unit tests and oraclesGordon Fraser, Andreas Zeller. 147-158 [doi]
- OCAT: object capture-based automated testingHojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang. 159-170 [doi]
- Testing system virtual machinesLorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi. 171-182 [doi]
- Parallel symbolic execution for structural test generationMatt Staats, Corina S. Pasareanu. 183-194 [doi]
- Exploiting program dependencies for scalable multiple-path symbolic executionRaúl A. Santelices, Mary Jean Harrold. 195-206 [doi]
- On test repair using symbolic executionBrett Daniel, Tihomir Gvero, Darko Marinov. 207-218 [doi]
- Formal analysis of the effectiveness and predictability of random testingAndrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand. 219-230 [doi]
- A study on agility and testing processes in software organizationsVesa Kettunen, Jussi Kasurinen, Ossi Taipale, Kari Smolander. 231-240 [doi]
- The Google FindBugs fixitNathaniel Ayewah, William Pugh. 241-252 [doi]
- Analyzing concurrency bugs using dual slicingDasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan. 253-264 [doi]
- N-version disassembly: differential testing of x86 disassemblersRoberto Paleari, Lorenzo Martignoni, Giampaolo Fresi Roglia, Danilo Bruschi. 265-274 [doi]
- Software fault prediction toolThomas J. Ostrand, Elaine J. Weyuker. 275-278 [doi]
- ASSURE: automated support for secure and usable requirements engineeringJose Romero-Mariona, Hadar Ziv, Debra J. Richardson. 279-282 [doi]