ASE 2013 – Proceedings

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 11-15, 2013, Palo Alto, USA

Preface

Invited Papers

BOOM: Experiences in Language and Tool Design for Distributed Systems (Keynote)
Joseph M. Hellerstein
(University of California at Berkeley, USA)
Article: ase13invited-k1-p (type: Keynote paper) doi:

Big Problems in Industry (Panel)
John Penix
(Google, USA)
Article: ase13invited-panel1-p (type: Panel paper) doi:

Technical Research Track

Concurrency

Round-Up: Runtime Checking Quasi Linearizability of Concurrent Data Structures
Lu Zhang, Arijit Chattopadhyay, and Chao Wang
(Virginia Tech, USA)
Article: ase13main-p344-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Constraint-Based Automatic Symmetry Detection
Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, and Jin Song Dong
(Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore)
Article: ase13main-p105-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Proving MCAPI Executions Are Correct using SMT
Yu Huang, Eric Mercer, and Jay McCarthy
(Brigham Young University, USA)
Article: ase13main-p246-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Efficient Data Race Prediction with Incremental Reasoning on Time-Stamped Lock History
Malay K. Ganai
(NEC Labs, USA)
Article: ase13main-p093-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Dynamic Analysis

PIEtrace: Platform Independent Executable Trace
Yonghwi Kwon, Xiangyu Zhang, and Dongyan Xu
(Purdue University, USA)

ACM SIGSOFT Distinguished Paper Award Article: ase13main-p055-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Improving Efficiency of Dynamic Analysis with Dynamic Dependence Summaries
Vijay Krishna Palepu, Guoqing Xu, and James A. Jones
(University of California at Irvine, USA)
Article: ase13main-p295-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Efficient Parametric Runtime Verification with Deterministic String Rewriting
Patrick Meredith and Grigore Roşu
(University of Illinois at Urbana-Champaign, USA)
Article: ase13main-p045-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Identifying Execution Points for Dynamic Analyses
William N. Sumner and Xiangyu Zhang
(Simon Fraser University, Canada; Purdue University, USA)
Article: ase13main-p388-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Testing

Operator-Based and Random Mutant Selection: Better Together
Lingming Zhang, Milos Gligoric, Darko Marinov, and Sarfraz Khurshid
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)
Article: ase13main-p369-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Testing Properties of Dataflow Program Operators
Zhihong Xu, Martin Hirzel, Gregg Rothermel, and Kun-Lung Wu
(University of Nebraska-Lincoln, USA; IBM Research, USA)
Article: ase13main-p028-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Bita: Coverage-Guided, Automatic Testing of Actor Programs
Samira Tasharofi, Michael Pradel, Yu Lin, and Ralph E. Johnson
(University of Illinois at Urbana-Champaign, USA; ETH Zurich, Switzerland)
Article: ase13main-p289-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

SABRINE: State-Based Robustness Testing of Operating Systems
Domenico Cotroneo, Domenico Di Leo, Francesco Fucci, and Roberto Natella
(Università degli Studi di Napoli Federico II, Italy; Critiware, Italy)
Article: ase13main-p146-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Verification

Blitz: Compositional Bounded Model Checking for Real-World Programs
Chia Yuan Cho, Vijay D’Silva, and Dawn Song
(University of California at Berkeley, USA)
Article: ase13main-p317-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Ranger: Parallel Analysis of Alloy Models by Range Partitioning
Nicolás Rosner, Junaid H. Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, and Marcelo F. Frias
(Universidad de Buenos Aires, Argentina; LUMS School of Science and Engineering, Pakistan; Universidad Nacional de Río Cuarto, Argentina; University of Texas at Austin, USA; Instituto Tecnológico de Buenos Aires, Argentina)
Article: ase13main-p336-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications
Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, and Shinichi Honiden
(University of Tokyo, Japan; Waseda University, Japan; National Institute of Informatics, Japan)
Article: ase13main-p167-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication
Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto
(AIST, Japan; University of Tokyo, Japan; National Institute of Informatics, Japan; Chiba University, Japan)
Article: ase13main-p102-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Evolution

A Study of Repetitiveness of Code Changes in Software Evolution
Hoan Anh Nguyen, Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, and Hridesh Rajan
(Iowa State University, USA)
Article: ase13main-p319-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Consistency-Preserving Edit Scripts in Model Versioning
Timo Kehrer, Udo Kelter, and Gabriele Taentzer
(University of Siegen, Germany; Philipps-Universität Marburg, Germany)
Article: ase13main-p283-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

JFlow: Practical Refactorings for Flow-Based Parallelism
Nicholas Chen and Ralph E. Johnson
(University of Illinois at Urbana-Champaign, USA)
Article: ase13main-p211-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Automated Planning for Software Architecture Evolution
Jeffrey M. Barnes, Ashutosh Pandey, and David Garlan
(Carnegie Mellon University, USA)
Article: ase13main-p094-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Generation and Synthesis

Automatically Synthesizing SQL Queries from Input-Output Examples
Sai Zhang and Yuyin Sun
(University of Washington, USA)
Article: ase13main-p030-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

SEDGE: Symbolic Example Data Generation for Dataflow Programs
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, and Christoph Csallner
(University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Texas at Arlington, USA)
Article: ase13main-p108-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution
Xusheng Xiao, Sihan Li, Tao Xie, and Nikolai Tillmann
(North Carolina State University, USA; University of Illinois at Urbana-Champaign, USA; Microsoft Research, USA)
Article: ase13main-p049-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Entropy-Based Test Generation for Improved Fault Localization
José Campos, Rui Abreu, Gordon Fraser, and Marcelo d'Amorim
(University of Porto, Portugal; University of Sheffield, UK; Federal University of Pernambuco, Brazil)
Article: ase13main-p198-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Recommendations

Detecting Bad Smells in Source Code using Change History Information
Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia, and Denys Poshyvanyk
(University of Salerno, Italy; University of Sannio, Italy; University of Molise, Italy; College of William and Mary, USA)

ACM SIGSOFT Distinguished Paper Award Article: ase13main-p226-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Personalized Defect Prediction
Tian Jiang, Lin Tan, and Sunghun Kim
(University of Waterloo, Canada; Hong Kong University of Science and Technology, China)
Article: ase13main-p054-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Automatic Recommendation of API Methods from Feature Requests
Ferdian Thung, Shaowei Wang, David Lo, and Julia Lawall
(Singapore Management University, Singapore; Inria, France; Lip6, France)
Article: ase13main-p347-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Variability-Aware Performance Prediction: A Statistical Learning Approach
Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wąsowski
(University of Waterloo, Canada; University of Passau, Germany; IT University of Copenhagen, Denmark)
Article: ase13main-p002-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Security

A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling
Mahinthan Chandramohan, Hee Beng Kuan Tan, Lionel C. Briand, Lwin Khin Shar, and Bindu Madhavi Padmanabhuni
(Nanyang Technological University, Singapore; University of Luxembourg, Luxembourg)
Article: ase13main-p121-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Automatically Partition Software into Least Privilege Components using Dynamic Data Dependency Analysis
Yongzheng Wu, Jun Sun, Yang Liu, and Jin Song Dong
(Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; National University of Singapore, Singapore)
Article: ase13main-p241-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Finding Architectural Flaws using Constraints
Radu Vanciu and Marwan Abi-Antoun
(Wayne State University, USA)
Article: ase13main-p282-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Debugging

Improving Bug Localization using Structured Information Retrieval
Ripon K. Saha, Matthew Lease, Sarfraz Khurshid, and Dewayne E. Perry
(University of Texas at Austin, USA)
Article: ase13main-p349-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results
Westley Weimer, Zachary P. Fry, and Stephanie Forrest
(University of Virginia, USA; University of New Mexico, USA)
Article: ase13main-p090-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Detecting and Characterizing Semantic Inconsistencies in Ported Code
Baishakhi Ray, Miryung Kim, Suzette Person, and Neha Rungta
(University of Texas at Austin, USA; NASA Langley Research Center, USA; NASA Ames Research Center, USA)
Article: ase13main-p237-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging
Peter Ohmann and Ben Liblit
(University of Wisconsin-Madison, USA)

ACM SIGSOFT Distinguished Paper Award Article: ase13main-p366-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Resources

Characterizing and Detecting Resource Leaks in Android Applications
Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, and Yanli Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
Article: ase13main-p360-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Dangling References in Multi-configuration and Dynamic PHP-Based Web Applications
Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Anh Tuan Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Article: ase13main-p310-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Dynamically Transforming Data Structures
Erik Österlund and Welf Löwe
(Linnaeus University, Sweden)
Article: ase13main-p046-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Towards Precise Metrics for Predicting Graph Query Performance
Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, and István Ráth
(Budapest University of Technology and Economics, Hungary)
Article: ase13main-p229-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Specification Mining

TzuYu: Learning Stateful Typestates
Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, and Chengnian Sun
(Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore)
Article: ase13main-p131-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Mining Branching-Time Scenarios
Dirk Fahland, David Lo, and Shahar Maoz
(Eindhoven University of Technology, Netherlands; Singapore Management University, Singapore; Tel Aviv University, Israel)
Article: ase13main-p168-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Models and Complexity

Measuring the Structural Complexity of Feature Models
Richard Pohl, Vanessa Stricker, and Klaus Pohl
(University of Duisburg-Essen, Germany)
Article: ase13main-p209-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Scalable Product Line Configuration: A Straw to Break the Camel’s Back
Abdel Salam Sayyad, Joseph Ingram, Tim Menzies, and Hany Ammar
(West Virginia University, USA)
Article: ase13main-p350-p (type: Technical Research Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Experience Track

Experience: Software Analysis

Software Analytics for Incident Management of Online Services: An Experience Report
Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, and Tao Xie
(Microsoft Research, China; University of Illinois at Urbana-Champaign, USA)
Article: ase13experience-p022-p (type: Experience Paper (10 pages + 1 page references; Deadline: August 30)) doi:

A Comparative Analysis of Software Architecture Recovery Techniques
Joshua Garcia, Igor Ivkovic, and Nenad Medvidovic
(University of Southern California, USA; Wilfrid Laurier University, Canada)
Article: ase13experience-p111-p (type: Experience Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Towards Contextual and On-Demand Code Clone Management by Continuous Monitoring
Gang Zhang, Xin Peng, Zhenchang Xing, Shihai Jiang, Hai Wang, and Wenyun Zhao
(Fudan University, China; Nanyang Technological University, Singapore)
Article: ase13experience-p097-p (type: Experience Paper (10 pages + 1 page references; Deadline: August 30)) doi:

The Potential of Polyhedral Optimization: An Empirical Study
Andreas Simbürger, Sven Apel, Armin Größlinger, and Christian Lengauer
(University of Passau, Germany)
Article: ase13experience-p025-p (type: Experience Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Experience: Testing and Verification

Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing
Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, and Moonzoo Kim
(KAIST, South Korea; Samsung Electronics, South Korea)
Article: ase13experience-p033-p (type: Experience Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Minimizing CPU Time Shortage Risks in Integrated Embedded Software
Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, and Yves Clement
(University of Luxembourg, Luxembourg; Delphi, Luxembourg)
Article: ase13experience-p145-p (type: Experience Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Model Based Test Validation and Oracles for Data Acquisition Systems
Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Elizabeta Fourneret, Tomislav Nakić-Alfirević, and Vincent Masquelier
(University of Luxembourg, Luxembourg; SES, Luxembourg)
Article: ase13experience-p074-p (type: Experience Paper (10 pages + 1 page references; Deadline: August 30)) doi:

Automated Verification of Interactive Rule-Based Configuration Systems
Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, and Patrick Wischnewski
(Siemens, Austria; Max-Planck-Institute for Informatics, Germany; Logic4Business, Germany)
Article: ase13experience-p201-p (type: Experience Paper (10 pages + 1 page references; Deadline: August 30)) doi:

New Ideas Track

New Ideas: Adaptation and Transformation

AutoComment: Mining Question and Answer Sites for Automatic Comment Generation
Edmund Wong, Jinqiu Yang, and Lin Tan
(University of Waterloo, Canada)
Article: ase13newideas-p086-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Detecting System Use Cases and Validations from Documents
Smita Ghaisas, Manish Motwani, and Preethu Rose Anish
(Tata Consultancy Services, India)
Article: ase13newideas-p399-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Multi-user Variability Configuration: A Game Theoretic Approach
Jesús García-Galán, Pablo Trinidad, and Antonio Ruiz-Cortés
(University of Seville, Spain)
Article: ase13newideas-p262-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

From Comparison Matrix to Variability Model: The Wikipedia Case Study
Nicolas Sannier, Mathieu Acher, and Benoit Baudry
(University of Rennes 1, France; Inria, France; Irisa, France)
Article: ase13newideas-p077-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Learning Effective Query Transformations for Enhanced Requirements Trace Retrieval
Timothy Dietrich, Jane Cleland-Huang, and Yonghee Shin
(DePaul University, USA)
Article: ase13newideas-p180-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications
Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, and Jian Lü
(Nanjing University, China)
Article: ase13newideas-p036-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Cloud Twin: Native Execution of Android Applications on the Windows Phone
Ethan Holder, Eeshan Shah, Mohammed Davoodi, and Eli Tilevich
(Virginia Tech, USA)
Article: ase13newideas-p405-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input
Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; Georgia Institute of Technology, USA)
Article: ase13newideas-p126-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

New Ideas: Testing and Debugging

Pythia: Generating Test Cases with Oracles for JavaScript Applications
Shabnam Mirshokraie, Ali Mesbah, and Karthik Pattabiraman
(University of British Columbia, Canada)
Article: ase13newideas-p315-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Randomizing Regression Tests using Game Theory
Nupul Kukreja, William G. J. Halfond, and Milind Tambe
(University of Southern California, USA)
Article: ase13newideas-p357-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Automated Inference of Classifications and Dependencies for Combinatorial Testing
Cu Duy Nguyen and Paolo Tonella
(Fondazione Bruno Kessler, Italy)
Article: ase13newideas-p144-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Adding Context to Fault Localization with Integration Coverage
Higor Amario de Souza and Marcos Lordello Chaim
(University of Sao Paulo, Brazil)
Article: ase13newideas-p150-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Using Automatically Generated Invariants for Regression Testing and Bug Localization
Parth Sagdeo, Nicholas Ewalt, Debjit Pal, and Shobha Vasudevan
(University of Illinois at Urbana-Champaign, USA)
Article: ase13newideas-p371-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Class Level Fault Prediction using Software Clustering
Giuseppe Scanniello, Carmine Gravino, Andrian Marcus, and Tim Menzies
(University of Basilicata, Italy; University of Salerno, Italy; Wayne State University, USA; West Virginia University, USA)
Article: ase13newideas-p147-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

ExPort: Detecting and Visualizing API Usages in Large Source Code Repositories
Evan Moritz, Mario Linares-Vásquez, Denys Poshyvanyk, Mark Grechanik, Collin McMillan, and Malcom Gethers
(College of William and Mary, USA; University of Illinois at Chicago, USA; University of Notre Dame, USA; University of Maryland in Baltimore County, USA)
Article: ase13newideas-p287-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Flow Permissions for Android
Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, and Lukasz Ziarek
(SUNY Buffalo, USA)
Article: ase13newideas-p296-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

New Ideas: Models and Requirements

A Pattern-Based Approach to Parametric Specification Mining
Giles Reger, Howard Barringer, and David Rydeheard
(University of Manchester, UK)
Article: ase13newideas-p231-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Semi-automatic Generation of Metamodels from Model Sketches
Dustin Wüest, Norbert Seyff, and Martin Glinz
(University of Zurich, Switzerland)
Article: ase13newideas-p320-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Assessing the Maturity of Requirements through Argumentation: A Good Enough Approach
Varsha Veerappa and Rachel Harrison
(Oxford Brookes University, UK)
Article: ase13newideas-p200-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Natural Language Requirements Quality Analysis Based on Business Domain Models
Annervaz K.M., Vikrant Kaulgud, Shubhashis Sengupta, and Milind Savagaonkar
(Accenture Technology Labs, India)
Article: ase13newideas-p035-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Model/Code Co-Refactoring: An MDE Approach
Jens von Pilgrim, Bastian Ulke, Andreas Thies, and Friedrich Steimann
(Fernuniversität in Hagen, Germany)
Article: ase13newideas-p275-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Recovering Model Transformation Traces using Multi-Objective Optimization
Hajer Saada, Marianne Huchard, Clémentine Nebut, and Houari Sahraoui
(Université Montpellier 2, France; CNRS, France; Université de Montréal, Canada)
Article: ase13newideas-p218-p (type: New Ideas Paper (6 pages; Deadline: August 30)) doi:

Tool Demonstrations

Model Repair and Transformation with Echo
Nuno Macedo, Tiago Guimarães, and Alcino Cunha
(HASLab at INESC TEC, Portugal; Universidade do Minho, Portugal)
Article: ase13tools-id2-p (type: Tool Demo Track (4 pages)) doi:

Smart Cloud Broker: Finding Your Home in the Clouds
Mohan Baruwal Chhetri, Sergei Chichin, Quoc Bao Vo, and Ryszard Kowalczyk
(Swinburne University of Technology, Australia)
Article: ase13tools-id4-p (type: Tool Demo Track (4 pages)) doi:

OCRA: A Tool for Checking the Refinement of Temporal Contracts
Alessandro Cimatti, Michele Dorigatti, and Stefano Tonetta
(Fondazione Bruno Kessler, Italy)
Article: ase13tools-id10-p (type: Tool Demo Track (4 pages)) doi:

The Bounded Model Checker LLBMC
Stephan Falke, Florian Merz, and Carsten Sinz
(KIT, Germany)
Article: ase13tools-id19-p (type: Tool Demo Track (4 pages)) doi:

CSeq: A Concurrency Pre-processor for Sequential C Verification Tools
Bernd Fischer, Omar Inverso, and Gennaro Parlato
(Stellenbosch University, South Africa; University of Southampton, UK)
Article: ase13tools-id12-p (type: Tool Demo Track (4 pages)) doi:

Automated Testing of Cloud-Based Elastic Systems with AUToCLES
Alessio Gambi, Waldemar Hummer, and Schahram Dustdar
(University of Lugano, Switzerland; Vienna University of Technology, Austria)
Article: ase13tools-id18-p (type: Tool Demo Track (4 pages)) doi:

Tool Support for Automatic Model Transformation Specification using Concrete Visualisations
Iman Avazpour, John Grundy, and Lars Grunske
(Swinburne University of Technology, Australia; University of Stuttgart, Germany)
Article: ase13tools-id5-p (type: Tool Demo Track (4 pages)) doi:

CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C++ Applications
Markus Kusano and Chao Wang
(Virginia Tech, USA)
Article: ase13tools-id1-p (type: Tool Demo Track (4 pages)) doi:

Crushinator: A Framework towards Game-Independent Testing
Christopher Schaefer, Hyunsook Do, and Brian M. Slator
(North Dakota State University, USA)
Article: ase13tools-id13-p (type: Tool Demo Track (4 pages)) doi:

Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop
(Microsoft Research, USA; University of Illinois at Urbana-Champaign, USA)
Article: ase13tools-id15-p (type: Tool Demo Track (4 pages)) doi:

Developing Self-Verifying Service-Based Systems
Radu Calinescu, Kenneth Johnson, and Yasmin Rafiq
(University of York, UK)
Article: ase13tools-id22-p (type: Tool Demo Track (4 pages)) doi:

TRAM: A Tool for Transforming Textual Requirements into Analysis Models
Keletso J. Letsholo, Liping Zhao, and Erol-Valeriu Chioasca
(University of Manchester, UK)
Article: ase13tools-id23-p (type: Tool Demo Track (4 pages)) doi:

iProbe: A Lightweight User-Level Dynamic Instrumentation Tool
Nipun Arora, Hui Zhang, Junghwan Rhee, Kenji Yoshihira, and Guofei Jiang
(NEC Labs, USA)
Article: ase13tools-id24-p (type: Tool Demo Track (4 pages)) doi:

Doctoral Symposium

Detecting and Fixing Emergent Behaviors in Distributed Software Systems using a Message Content Independent Method
Fatemeh Hendijani Fard
(University of Calgary, Canada)
Article: ase13doctoral-docid2-p (type: DS Paper (4 pages)) doi:

Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications
Ramiro Demasi
(McMaster University, Canada)
Article: ase13doctoral-docid4-p (type: DS Paper (4 pages)) doi:

Supporting Bug Investigation using History Analysis
Francisco Servant
(University of California at Irvine, USA)
Article: ase13doctoral-docid5-p (type: DS Paper (4 pages)) doi:

Context-Aware Task Allocation for Distributed Agile Team
Jun Lin
(Nanyang Technological University, Singapore)
Article: ase13doctoral-docid7-p (type: DS Paper (4 pages)) doi: