Found 21 preprints so far of the 85 papers listed here, http://2013.icse-conferences.org/content/accepted-papers-technical-research-track (most recent additions first)
If yours is missing, tweet or email me! The same if you find a false positive.
What Good Are Strong Specifications? Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, and Bertrand Meyer (ETH Zurich, Switzerland)
Partition-Based Regression Verification Marcel Böhme, Bruno C. d. S. Oliveira, and Abhik Roychoudhury (National University of Singapore, Singapore)
Coupling Software Architecture and Human Architecture for Collaboration-Aware System Adaptation Christoph Dorn and Richard N. Taylor (UC Irvine, USA)
Data Clone Detection and Visualization in Spreadsheets Felienne Hermans, Ben Sedee, Martin Pinzger, and Arie van Deursen (TU Delft, Netherlands; Infotron, Netherlands)
Exploring the Impact of Inter-smell Relations on Software Maintainability: An Empirical Study Aiko Yamashita and Leon Moonen (Simula Research Laboratory, Norway; University of Oslo, Norway)
It's Not a Bug, It's a Feature: How Misclassification Impacts Bug Prediction Kim Herzig, Sascha Just, and Andreas Zeller (Saarland University, Germany)
Detecting Deadlock in Programs with Data-Centric Synchronization Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, and Jan Vitek (Symantec Research Labs, USA; Saarland University, Germany; IBM Research, USA; Purdue University, USA)
Drag-and-Drop Refactoring: Intuitive and Efficient Program Transformation Yun Young Lee, Nicholas Chen, and Ralph E. Johnson (University of Illinois at Urbana-Champaign, USA)
Expositor: Scriptable Time-Travel Debugging with First-Class Traces Yit Phang Khoo, Jeffrey S. Foster, and Michael Hicks (University of Maryland, USA)
Chronicler: Lightweight Recording to Reproduce Field Failures Jonathan Bell, Nikhil Sarda, and Gail Kaiser (Columbia University, USA)
Expectations, Outcomes, and Challenges of Modern Code Review Alberto Bacchelli and Christian Bird (University of Lugano, Switzerland; Microsoft Research, USA)
Explicating Symbolic Execution (xSymExe): An Evidence-Based Verification Framework John Hatcliff, Fnu Robby, Patrice Chalin, and Jason Belt (Kansas State University, USA)
Unifying FSM-Inference Algorithms through Declarative Specification Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, and Arvind Krishnamurthy (University of Washington, USA; University of Massachusetts, USA)
How, and Why, Process Metrics Are Better Foyzur Rahman and Premkumar Devanbu (UC Davis, USA)
On the Value of User Preferences in Search-Based Software Engineering: A Case Study in Software Product Lines Abdel Salam Sayyad, Tim Menzies, and Hany Ammar (West Virginia University, USA)
Are Your Incoming Aliases Really Necessary? Counting the Cost of Object Ownership Alex Potanin, Monique Damitio, and James Noble (Victoria University of Wellington, New Zealand)
Safe Software Updates via Multi-version Execution Petr Hosek and Cristian Cadar (Imperial College London, UK)
LASE: Locating and Applying Systematic Edits by Learning from Examples Na Meng, Miryung Kim, and Kathryn S. McKinley (University of Texas at Austin, USA; Microsoft Research, USA)
- http://users.ece.utexas.edu/~miryung/Publications/icse2013-lase-submitted.pdf
- http://users.ece.utexas.edu/~miryung/Publications/icse2013-lase-tooldemo.pdf
Creating a Shared Understanding of Testing Culture on a Social Coding Site Raphael Pham, Leif Singer, Olga Liskin, Fernando Marques Figueira Filho, and Kurt Schneider (Leibniz Universität Hannover, Germany; Universidade Federal do Rio Grande do Norte, Brazil)
Billions and Billions of Constraints: Whitebox Fuzz Testing in Production Ella Bounimova, Patrice Godefroid, and David Molnar (Microsoft, USA)
Automatic Query Reformulations for Text Retrieval in Software Engineering Sonia Haiduc, Gabriele Bavota, Andrian Marcus, Rocco Oliveto, Andrea De Lucia, and Tim Menzies (Wayne State University, USA; University of Salerno, Italy; University of Molise, Italy; University of West Virginia, USA)