ICSE 2013
2013 35th International Conference on Software Engineering (ICSE)

Automated Testing of GUI Applications: Models, Tools, and Controlling Flakiness
Atif M. Memon and Myra B. Cohen
(University of Maryland, USA; University of Nebraska-Lincoln, USA)

Build Your Own Model Checker in One Month
Jin Song Dong, Jun Sun, and Yang Liu
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)

Data Science for Software Engineering
Tim Menzies, Ekrem Kocaguneli, Fayola Peters, Burak Turhan, and Leandro L. Minku
(West Virginia University, USA; University of Oulu, Finland; University of Birmingham, UK)

Software Analytics: Achievements and Challenges
Dongmei Zhang and Tao Xie
(Microsoft Research, China; North Carolina State University, USA)

Developing Verified Programs with Dafny
K. Rustan M. Leino
(Microsoft Research, USA)

Software Metrics: Pitfalls and Best Practices
Eric Bouwers, Arie van Deursen, and Joost Visser
(Software Improvement Group, Netherlands; TU Delft, Netherlands; Radboud University Nijmegen, Netherlands)

A Hands-On Java PathFinder Tutorial
Peter Mehlitz, Neha Rungta, and Willem Visser
(NASA Ames Research Center, USA; Stellenbosch University, South Africa)

Efficient Quality Assurance of Variability-Intensive Systems
Patrick Heymans, Axel Legay, and Maxime Cordy
(University of Namur, Belgium; IRISA, France; INRIA, France)

Software Requirement Patterns
Xavier Franch
(Universitat Politècnica de Catalunya, Spain)