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

Title Page

Foreword

The Software Development Process of FLASH, a Multiphysics Simulation Code
Anshu Dubey, Katie Antypas, Alan Calder, Bruce Fryxell, Don Lamb, Paul Ricker, Lynn Reid, Katherine Riley, Robert Rosner, Andrew Siegel, Francis Timmes, Natalia Vladimirova, and Klaus Weide
(University of Chicago, USA; Lawrence Berkeley National Laboratory, USA; Stony Brook University, USA; University of Michigan, USA; University of Illinois at Urbana-Champaign, USA; University of Western Australia, Australia; Argonne National Laboratory, USA; Arizona State University, USA; University of New Mexico, USA)

A Case Study: Agile Development in the Community Laser-Induced Incandescence Modeling Environment (CLiiME)
Aziz Nanthaamornphong, Karla Morris, Damian W. I. Rouson, and Hope A. Michelsen
(University of Alabama, USA; Sandia National Laboratories, USA)

Binary Instrumentation Support for Measuring Performance in OpenMP Programs
Mustafa Elfituri, Jeanine Cook, and Jonathan Cook
(New Mexico State University, USA)

Software Design for Decoupled Parallel Meshing of CAD Models
Serban Georgescu and Peter Chow
(Fujitsu Labs, UK)

Scientific Software Process Improvement Decisions: A Proposed Research Strategy
Erika S. Mesh and J. Scott Hawker
(Rochester Institute of Technology, USA)

Water Science Software Institute: An Open Source Engagement Process
Stan Ahalt, Larry Band, Barbara Minsker, Margaret Palmer, Michael Tiemann, Ray Idaszak, Chris Lenhardt, and Mary Whitton
(RENCI, USA; University of North Carolina at Chapel Hill, USA; NCSA, USA; SESYNC, USA; Red Hat, USA)

Techniques for Testing Scientific Programs Without an Oracle
Upulee Kanewala and James M. Bieman
(Colorado State University, USA)

Design and Rationale of a Quality Assurance Process for a Scientific Framework
Hanna Remmel, Barbara Paech, Christian Engwer, and Peter Bastian
(University of Heidelberg, Germany; University of Münster, Germany)

Implementing Continuous Integration Software in an Established Computational Chemistry Software Package
Robin M. Betz and Ross C. Walker
(San Diego Supercomputer Center, USA; UC San Diego, USA)

Practical Formal Correctness Checking of Million-Core Problem Solving Environments for HPC
Diego Caminha B. de Oliveira, Zvonimir Rakamarić, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, and Martin Berzins
(University of Utah, USA)

DSLs, DLA, DxT, and MDE in CSE
Bryan Marker, Robert Van de Geijn, and Don Batory
(University of Texas at Austin, USA)

Towards Flexible Automated Support to Improve the Quality of Computational Science and Engineering Software
Davide Falessi and Forrest Shull
(Fraunhofer CESE, USA)

Implicit Provenance Gathering through Configuration Management
Vitor C. Neves, Vanessa Braganholo, and Leonardo Murta
(UFF, Brazil)

Exploring Issues in Software Systems Used and Developed by Domain Experts
Jette Henderson and Dewayne E. Perry
(University of Texas at Austin, USA)