| 675 | -- | 701 | Jin Liu, Pingyi Zhou, Zijiang Yang, Xiao Liu, John Grundy 0001. FastTagRec: fast tag recommendation for software information sites |
| 703 | -- | 741 | Xiaofan Chen, John G. Hosking, John C. Grundy, Robert Amor. DCTracVis: a system retrieving and visualizing traceability links between source code and documentation |
| 743 | -- | 744 | Lars Grunske, Mike Whalen. Guest editorial: advanced topics in automated software engineering |
| 745 | -- | 784 | Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer. Inferring visual contracts from Java programs |
| 785 | -- | 831 | Simos Gerasimou, Radu Calinescu, Giordano Tamburrelli. Synthesis of probabilistic models for quality-of-service software engineering |
| 833 | -- | 873 | Shengqian Yang, Haowei Wu, Hailong Zhang 0006, Yan Wang, Chandrasekar Swaminathan, Dacong Yan, Atanas Rountev. Static window transition graphs for Android |
| 875 | -- | 915 | Rick Rabiser, Jürgen Thanhofer-Pilisch, Michael Vierhauser, Paul Grünbacher, Alexander Egyed. Developing and evolving a DSL-based approach for runtime monitoring of systems of systems |
| 917 | -- | 960 | Alex Groce, Iftekhar Ahmed 0001, Carlos Jensen, Paul E. McKenney, Josie Holmes. How verified (or tested) is my code? Falsification-driven verification and testing |