ASE 2011 – Proceedings

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), November 6–10, 2011, Lawrence, KS, USA

Preface

Keynotes

Testing I
Wed, Nov 9, 11:00 - 12:30 (Chair: Mary Jean Harrold)

Auto-Locating and Fix-Propagating for HTML Validation Errors to PHP Server-side Code
Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen
(Iowa State University, USA)

Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs
Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, and Nuo Li
(ABB Corporate Research, USA; University of Washington, USA; MIT, USA; ABB Robotics, Cyprus)

Testing II
Thu, Nov 10, 10:30 - 12:30 (Chair: Tao Xie)

Automatic Generation of Load Tests
Pingyu Zhang, Sebastian Elbaum, and Matthew B. Dwyer
(University of Nebraska-Lincoln, USA)

Symbolic Search-Based Testing
Arthur Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, and Tanja Vos
(Universidad Politécnica de Valencia, Spain; UCL, UK; King's College London, UK; University of Sheffield, UK; Fondazione Bruno Kessler, Italy)

Testing III
Fri, Nov 11, 11:00 - 12:30 (Chair: Jamie Andrews)

Automated Documentation Inference to Explain Failed Tests
Sai Zhang, Cheng Zhang, and Michael D. Ernst
(University of Washington, USA; Shanghai Jiao Tong University, China)

Generating Program Inputs for Database Application Testing
Kai Pan, Xintao Wu, and Tao Xie
(University of North Carolina at Charlotte, USA; North Carolina State University, USA)

Prioritizing Tests for Fault Localization through Ambiguity Group Reduction
Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Gross, and Arjan J. C. van Gemund
(Delft University of Technology, Netherlands; University of Porto, Portugal)

Software Model Checking
Wed, Nov 9, 13:30 - 15:00 (Chair: Sarfraz Khurshid)

Model Checking Distributed Systems by Combining Caching and Process Checkpointing
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto
(University of Tokyo, Japan; National Institute of Advanced Industrial Science and Technology, Japan; National Institute of Informatics, Japan; Chiba University, Japan)

Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction
Péter Bokor, Johannes Kinder, Marco Serafini, and Neeraj Suri
(TU Darmstadt, Germany; EPFL, Switzerland; Yahoo! Research Barcelona, Spain)

Analysis, Verification, and Validation
Thu, Nov 10, 10:30 - 12:30 (Chair: Charles Pecheur)

DC2: A Framework for Scalable, Scope-Bounded Software Verification
Franjo Ivančić, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, and Yoshiaki Miyazaki
(NEC Labs, USA; University of Colorado at Boulder, USA; NEC Inc., Japan)

Formalizing Hardware/Software Interface Specifications
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, and Con McGarvey
(Microsoft Inc., USA; Portland State University, USA)

Safe Asynchronous Multicore Memory Operations
Matko Botinčan, Mike Dodds, Alastair F. Donaldson, and Matthew J. Parkinson
(University of Cambridge, UK; Imperial College London, UK; Microsoft Research Cambridge, UK)

Models
Wed, Nov 9, 11:00 - 12:30 (Chair: Lars Grunske)

A Rule-Based Approach to the Semantic Lifting of Model Differences in the Context of Model Versioning
Timo Kehrer, Udo Kelter, and Gabriele Taentzer
(University of Siegen, Germany; Philipps-Universität Marburg, Germany)

A Model-driven Framework for Guided Design Space Exploration
Ábel Hegedüs, Ákos Horváth, István Ráth, and Dániel Varró
(Budapest University of Technology and Economics, Hungary)

Debugging
Fri, Nov 11, 11:00 - 12:30 (Chair: David Lo)

An Optimal Strategy for Algorithmic Debugging
David Insa and Josep Silva
(Universidad Politécnica de Valencia, Spain)

Localizing SQL Faults in Database Applications
Sarah R. Clark, Jake Cobb, Gregory M. Kapfhammer, James A. Jones, and Mary Jean Harrold
(Georgia Tech, USA; Allegheny College, USA; UC Irvine, USA)

Documentation, Traceability, and Program Understanding
Wed, Nov 9, 13:30 - 15:00 (Chair: Houari Sahraoui)

Improving Automated Documentation to Code Traceability by Combining Retrieval Techniques
Xiaofan Chen and John Grundy
(University of Auckland, New Zealand; Swinburne University of Technology at Melbourne, Australia)

Iterative Mining of Resource-Releasing Specifications
Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei
(Peking University, China; North Carolina State University, USA)

Flexible Design Pattern Detection Based on Feature Types
Ghulam Rasool and Patrick Mäder
(COMSATS Institute of Information Technology, Pakistan; Johannes Kepler University, Austria)

Software Maintenance I
Thu, Nov 10, 13:30 - 15:00 (Chair: Reiko Heckel)

Towards More Accurate Retrieval of Duplicate Bug Reports
Chengnian Sun, David Lo, Siau-Cheng Khoo, and Jing Jiang
(National University of Singapore, Singapore; Singapore Management University, Singapore)

A Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report
Anh Tuan Nguyen, Tung Thanh Nguyen, Jafar Al-Kofahi, Hung Viet Nguyen, and Tien N. Nguyen
(Iowa State University, USA)

Specifying and Detecting Meaningful Changes in Programs
Yijun Yu, Thein Than Tun, and Bashar Nuseibeh
(Open University, UK; Lero, Ireland)

Software Maintenance II
Fri, Nov 11, 09:00 - 10:30 (Chair: Andrew Ireland)

Generalizing Evolutionary Coupling with Stochastic Dependencies
Sunny Wong and Yuanfang Cai
(Siemens Healthcare, USA; Drexel University, USA)

Differential Precondition Checking: A Lightweight, Reusable Analysis for Refactoring Tools
Jeffrey L. Overbey and Ralph E. Johnson
(University of Illinois at Urbana-Champaign, USA)

Product Lines, Knowledge Acquisition, and Software Processes
Thu, Nov 10, 13:30 - 15:00 (Chair: Elisabetta Di Nitto)

Finding Relevant Answers in Software Forums
Swapna Gottipati, David Lo, and Jing Jiang
(Singapore Management University, Singapore)

Software Process Evaluation: A Machine Learning Approach
Ning Chen, Steven C. H. Hoi, and Xiaokui Xiao
(Nanyang Technological University, Singapore)

Prediction and Ecological Inference
Fri, Nov 11, 09:00 - 10:30 (Chair: Ivica Crnkovic)

Local vs. Global Models for Effort Estimation and Defect Prediction
Tim Menzies, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, and David Cok
(West Virginia University, USA; Wayne State University, USA; Microsoft Research, USA; GrammaTech Inc., USA)

Capacity Planning for Event-based Systems using Automated Performance Predictions
Christoph Rathfelder, Samuel Kounev, and David Evans
(FZI, Germany; KIT, Germany; University of Cambridge, UK)

Short Papers I
Wed, Nov 9, 15:30 - 17:30

Detection of Feature Interactions using Feature-Aware Verification
Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer
(University of Passau, Germany; Simon Fraser University, Canada)

Querying Source Code with Natural Language
Markus Kimmig, Martin Monperrus, and Mira Mezini
(TU Darmstadt, Germany; University of Lille, France)

Mendel: Source Code Recommendation based on a Genetic Metaphor
Angela Lozano, Andy Kellens, and Kim Mens
(Université Catholique de Louvain, Belgium; Vrije Universiteit Brussel, Belgium)

Optimizing the Automatic Test Generation by SAT and SMT Solving for Boolean Expressions
Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene
(Università degli Studi di Milano, Italy; Università di Bergamo, Italy)

Code-Based Automated Program Fixing
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer
(ETH Zurich, Switzerland)

Evaluating Test Selection Strategies for End-User Specified Flow-Based Applications
Kristina Winbladh and Anand Ranganathan
(University of Delaware, USA; IBM Research Watson, USA)

Towards Dynamic Backward Slicing of Model Transformations
Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró
(Budapest University of Technology and Economics, Hungary)

Mining Test Oracles of Web Search Engines
Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, and Irwin King
(Chinese University of Hong Kong, China; Microsoft Research, USA; North Carolina State University, USA; AT&T Labs Research, USA)

AutoODC: Automated Generation of Orthogonal Defect Classifications
LiGuo Huang, Vincent Ng, Isaac Persing, Ruili Geng, Xu Bai, and Jeff Tian
(Southern Methodist University, USA; University of Texas at Dallas, USA)

Slicing Feature Models
Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France
(Université Nice Sophia Antipolis/CNRS, France; Colorado State University, USA)

Finding the Merits and Drawbacks of Software Resources from Comments
Changsheng Liu, Yanzhen Zou, Sibo Cai, Bing Xie, and Hong Mei
(Peking University, China)

Combining Search-based and Constraint-based Testing
Jan Malburg and Gordon Fraser
(Saarland University, Germany)

Short Papers II
Wed, Nov 9, 15:30 - 17:30

Stateful Testing: Finding More Errors in Code and Contracts
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, and Bertrand Meyer
(ETH Zurich, Switzerland)

History Slicing
Francisco Servant and James A. Jones
(UC Irvine, USA)

Analyzing Temporal API Usage Patterns
Gias Uddin, Barthélémy Dagenais, and Martin P. Robillard
(McGill University, Canada)

Isomorphism in Model Tools and Editors
George Edwards, Yuriy Brun, and Nenad Medvidovic
(Blue Cell Software, USA; University of Washington, USA; University of Southern California, USA)

A Case for Alloy Annotations for Efficient Incremental Analysis via Domain Specific Solvers
Svetoslav Ganov, Sarfraz Khurshid, and Dewayne E. Perry
(University of Texas at Austin, USA)

Exploring Caching for Efficient Collection Operations
Swetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay K. Madria, and Thomas Weigert
(Missouri University of Science and Technology, USA)

Extracting Structured Data from Natural Language Documents with Island Parsing
Alberto Bacchelli, Anthony Cleve, Michele Lanza, and Andrea Mocci
(University of Lugano, Switzerland; University of Namur, Belgium; Politecnico di Milano, Italy)

GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano
(National Institute of Informatics, Japan; University of Electro-Communications, Japan)

Run-time Systems Failure Prediction via Proactive Monitoring
Pengcheng Zhang, Henry Muccini, Andrea Polini, and Xuandong Li
(Nanjing University, China; Hohai University, China; University of L'Aquila, Italy; University of Camerino, Italy)

Towards an Approach and Framework for Test-Execution Plan Derivation
Soham Sundar Chakraborty and Vipul Shah
(AMD, India; Tata Research Development and Design Centre, India)

Statistical Debugging with Elastic Predicates
Ross Gore, Paul F. Reynolds, Jr., and David Kamensky
(University of Virginia, USA; University of Texas at Austin, USA)

Diagnosis of Software Failures Using Computational Geometry
Edward Stehle, Kevin Lynch, Maxim Shevertalov, Chris Rorres, and Spiros Mancoridis
(Drexel University, USA)

GitBAC: Flexible Access Control for Non-Modular Concerns
Mark Robinson, Jianwei Niu, and Macneil Shonle
(University of Texas at San Antonio, USA)

Client-side Web Application Slicing
Josip Maras, Jan Carlson, and Ivica Crnković
(University of Split, Croatia; Mälardalen University, Sweden)

Short Papers III
Wed, Nov 9, 15:30 - 17:30

Using Model-based Assurance to Strengthen Diagnostic Procedures
Robyn Lutz, Jeremy Johnson, and Ann Patterson-Hine
(Jet Propulsion Lab, USA; Iowa State University, USA; NASA Ames, USA)

Fault-Localization Using Dynamic Slicing and Change Impact Analysis
Elton Alves, Milos Gligoric, Vilas Jagannath, and Marcelo d'Amorim
(Federal University of Pernambuco, Brazil; University of Illinois at Urbana-Champaign, USA)

Improving Source Code Search with Natural Language Phrasal Representations of Method Signatures
Emily Hill, Lori Pollock, and K. Vijay-Shanker
(Montclair State University, USA; University of Delaware, USA)

Deviation Management during Process Execution
Marcos Aurélio Almeida da Silva, Xavier Blanc, and Reda Bendraou
(LIP6, France; LaBRI, France)

PRECIS: Inferring Invariants using Program Path Guided Clustering
Parth Sagdeo, Viraj Athavale, Sumant Kowshik, and Shobha Vasudevan
(University of Illinois at Urbana-Champaign, USA)

Automated Planning for Feature Model Configuration based on Stakeholders' Business Concerns
Samaneh Soltani, Mohsen Asadi, Marek Hatala, Dragan Gašević, and Ebrahim Bagheri
(Simon Fraser University, Canada; Athabasca University, Canada)

An Adaptive Approach to Impact Analysis from Change Requests to Source Code
Malcom Gethers, Huzefa Kagdi, Bogdan Dit, and Denys Poshyvanyk
(College of William and Mary, USA; Wichita State University, USA)

Mixed Constraints for Test Input Generation – An Initial Exploration
Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, and Sarfraz Khurshid
(University of Texas at Austin, USA)

Enhancing Architectural Recovery Using Concerns
Joshua Garcia, Daniel Popescu, Chris Mattmann, Nenad Medvidovic, and Yuanfang Cai
(University of Southern California, USA; Jet Propulsion Laboratory, USA; Drexel University, USA)

Search-Based Fault Localization
Shaowei Wang, David Lo, Lingxiao Jiang, Lucia, and Hoong Chuin Lau
(Singapore Management University, Singapore)

Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions
Kristopher Welsh, Pete Sawyer, and Nelly Bencomo
(Lancaster University, UK; INRIA Paris - Rocquencourt, France)

Generating Essential User Interface Prototypes to Validate Requirements
Massila Kamalrudin and John Grundy
(University of Auckland, New Zealand; Swinburne University of Technology at Hawthorn, Australia)

Automatically Exploring How Uncertainty Impacts Behavior of Dynamically Adaptive Systems
Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, and David B. Knoester
(Michigan State University, USA)

Tool Demonstrations
Wed, Nov 9, 15:30 - 17:30

iDiff: Interaction-based Program Differencing Tool
Hoan Anh Nguyen, Tung Thanh Nguyen, Hung Viet Nguyen, and Tien N. Nguyen
(Iowa State University, USA)

CloneDifferentiator: Analyzing Clones by Differentiation
Zhenchang Xing, Yinxing Xue, and Stan Jarzabek
(National University of Singapore, Singapore)

Implementing Efficient Model Validation in EMF Tools
Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, and Dániel Varró
(Budapest University of Technology and Economics, Hungary)

JPF-AWT: Model Checking GUI Applications
Peter Mehlitz, Oksana Tkachuk, and Mateusz Ujma
(NASA Ames, USA; University of Oxford, UK)

The CORE System: Animation and Functional Correctness of Pointer Programs
Ewen Maclean, Andrew Ireland, and Gudmund Grov
(Heriot-Watt University, UK; University of Edinburgh, UK)

APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs
Lijie Wang, Lu Fang, Leye Wang, Ge Li, Bing Xie, and Fuqing Yang
(Peking University, China)

BEST: A Symbolic Testing Tool for Predicting Multi-threaded Program Failures
Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, and Gogul Balakrishnan
(NEC Labs, USA; Columbia University, USA)

Decomposing Feature Models: Language, Environment, and Applications
Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France
(Université Nice Sophia Antipolis/CNRS, France; Colorado State University, USA)

SAUML: A Tool for Symbolic Analysis of UML-RT Models
Karolina Zurowska and Juergen Dingel
(Queen's University, Canada)

TestEra: A Tool for Testing Java Programs Using Alloy Specifications
Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, and Sarfraz Khurshid
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA)

MAJOR: An Efficient and Extensible Tool for Mutation Analysis in a Java Compiler
René Just, Franz Schweiggert, and Gregory M. Kapfhammer
(Ulm University, Germany; Allegheny College, USA)

jCT: A Java Code Tomograph
Markus Lumpe, Samiran Mahmud, and Olga Goloshchapova
(Swinburne University of Technology at Hawthorn, Australia)

Generating Realistic Test Models for Model Processing Tools
Pit Pietsch, Hamed Shariat Yazdi, and Udo Kelter
(University of Siegen, Germany)

Guided Test Visualization: Making Sense of Errors in Concurrent Programs
Saint Wesonga, Eric G. Mercer, and Neha Rungta
(Brigham Young University, USA; NASA Ames, USA)

The Capture Calculus Toolset
Robert J. Hall
(AT&T Labs Research, USA)

A Symbolic Model Checking Framework for Hierarchical Systems
Truong Khanh Nguyen, Jun Sun, Yang Liu, and Jin Song Dong
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore)

Doctoral Symposium
Sun, Nov 6, 09:00 - 17:00 (Chair: Tim Menzies)

Using Formal Concept Analysis to Support Change Analysis
Xiaobing Sun and Bixin Li
(Southeast University, China)

Analyzing Temporal Properties of Abstract Models
Amirhossein Vakili
(University of Waterloo, Canada)

Automatic Assessment of Software Documentation Quality
Andreas Dautovic
(Johannes Kepler University, Austria)

ASE 2011 – Proceedings

Preface

Keynotes

Testing I Wed, Nov 9, 11:00 - 12:30 (Chair: Mary Jean Harrold)

Testing II Thu, Nov 10, 10:30 - 12:30 (Chair: Tao Xie)

Testing III Fri, Nov 11, 11:00 - 12:30 (Chair: Jamie Andrews)

Software Model Checking Wed, Nov 9, 13:30 - 15:00 (Chair: Sarfraz Khurshid)

Analysis, Verification, and Validation Thu, Nov 10, 10:30 - 12:30 (Chair: Charles Pecheur)

Models Wed, Nov 9, 11:00 - 12:30 (Chair: Lars Grunske)

Debugging Fri, Nov 11, 11:00 - 12:30 (Chair: David Lo)

Documentation, Traceability, and Program Understanding Wed, Nov 9, 13:30 - 15:00 (Chair: Houari Sahraoui)

Software Maintenance I Thu, Nov 10, 13:30 - 15:00 (Chair: Reiko Heckel)

Software Maintenance II Fri, Nov 11, 09:00 - 10:30 (Chair: Andrew Ireland)

Product Lines, Knowledge Acquisition, and Software Processes Thu, Nov 10, 13:30 - 15:00 (Chair: Elisabetta Di Nitto)

Prediction and Ecological Inference Fri, Nov 11, 09:00 - 10:30 (Chair: Ivica Crnkovic)

Short Papers I Wed, Nov 9, 15:30 - 17:30

Short Papers II Wed, Nov 9, 15:30 - 17:30

Short Papers III Wed, Nov 9, 15:30 - 17:30

Tool Demonstrations Wed, Nov 9, 15:30 - 17:30

Doctoral Symposium Sun, Nov 6, 09:00 - 17:00 (Chair: Tim Menzies)