| 449 | -- | 450 | Bashar Nuseibeh. Editorial: How Special Should Issues Be? |
| 451 | -- | 452 | Barbara G. Ryder, Andreas Zeller. Introduction: The Best Papers of ISSTA |
| 453 | -- | 473 | Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna. An Experience in Testing the Security of Real-World Electronic Voting Systems |
| 474 | -- | 494 | Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst. Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking |
| 495 | -- | 508 | Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur. Proofs from Tests |
| 509 | -- | 527 | Eric Bodden, Klaus Havelund. Aspect-Oriented Race Detection in Java |
| 528 | -- | 545 | George K. Baah, Andy Podgurski, Mary Jean Harrold. The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis |
| 546 | -- | 558 | Raymond P. L. Buse, Westley Weimer. Learning a Metric for Code Readability |
| 559 | -- | 574 | Noura Limam, Raouf Boutaba. Assessing Software Service Quality and Trustworthiness at Selection Time |
| 575 | -- | 590 | Niklas Pettersson, Welf Löwe, Joakim Nivre. Evaluation of Accuracy in Design Pattern Occurrence Detection |