Dagstuhl Seminar Proceedings, Volume 10111,

• Mark Harman, Henry Muccini, Wolfram Schulte, and Tao Xie 10111 Abstracts Collection – Practical Software Testing : Tool Automation and Human Factors 10.4230/DagSemProc.10111.1
• Mark Harman, Henry Muccini, Wolfram Schulte, and Tao Xie 10111 Executive Summary – Practical Software Testing: Tool Automation and Human Factors 10.4230/DagSemProc.10111.2
• Nadia Alshahwan, Yue Jia, Kiran Lakhotia, Gordon Fraser, David Shuler, and Paolo Tonella AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation 10.4230/DagSemProc.10111.3
• Andrew J. Ko, Michal Young, Jamie Andrews, Brian P. Robinson, and Mark Grechanik Computing and Diagnosing Changes in Unit Test Energy Consumption 10.4230/DagSemProc.10111.4
• Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, and Michael W. Whalen FITE - Future Integrated Testing Environment 10.4230/DagSemProc.10111.5
• Eileen Kraemer and Laura Dillon Groundwork for the Development of Testing Plans for Concurrent Software 10.4230/DagSemProc.10111.6
• Mary Jean Harrold, Darko Marinov, Stephen Oney, Mauro Pezzè, Adam Porter, John Penix, Per Runeson, and Shin Yoo Introducing Continuous Systematic Testing of Evolving Software 10.4230/DagSemProc.10111.7
• Antonia Bertolino, Wolfgang Grieskamp, Robert Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit Paradkar, David Rosenblum, and Jan Tretmans Model-Based Testing for the Cloud 10.4230/DagSemProc.10111.8
• Bruno Legeard Model-based Testing: Next Generation Functional Software Testing 10.4230/DagSemProc.10111.9