Powered by
Conference Publishing Consulting

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

ASE 2011 – Proceedings

Contents - Abstracts - Authors
Online Calendar - iCal File

Preface

Title Page
Welcome Message from the Chairs

Keynotes

Wikipedia and How to Use it for Semantic Document Representation
Ian H. Witten
(University of Waikato, New Zealand)
Article Search
Unifying Testing and Analysis through Behavioral Coverage
Matthew B. Dwyer
(University of Nebraska, USA)
Article Search

Testing I

Automated Web Application Testing Using Search Based Software Engineering
Nadia Alshahwan and Mark Harman
(UCL, UK)
Article Search
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)
Article Search
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)
Article Search

Testing II

Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs
Saswat Anand and Mary Jean Harrold
(Georgia Tech, USA)
Article Search
Automatic Generation of Load Tests
Pingyu Zhang, Sebastian Elbaum, and Matthew B. Dwyer
(University of Nebraska-Lincoln, USA)
Article Search
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)
Article Search

Testing III

Automated Documentation Inference to Explain Failed Tests
Sai Zhang, Cheng Zhang, and Michael D. Ernst
(University of Washington, USA; Shanghai Jiao Tong University, China)
Article Search
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)
Article Search
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)
Article Search

Software Model Checking

Identifying Future Field Accesses in Exhaustive State Space Traversal
Pavel Parízek and Ondřej Lhoták
(University of Waterloo, Canada)
Article Search
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)
Article Search
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)
Article Search

Analysis, Verification, and Validation

Scalable and Precise Symbolic Analysis for Atomicity Violations
Malay K. Ganai
(NEC Labs, USA)
Article Search
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)
Article Search
Formalizing Hardware/Software Interface Specifications
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, and Con McGarvey
(Microsoft Inc., USA; Portland State University, USA)
Article Search
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)
Article Search

Models

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)
Article Search
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)
Article Search
Automated Extraction of Architecture-Level Performance Models of Distributed Component-Based Systems
Fabian Brosig, Nikolaus Huber, and Samuel Kounev
(KIT, Germany)
Article Search

Debugging

Precomputing Possible Configuration Error Diagnoses
Ariel Rabkin and Randy Katz
(UC Berkeley, USA)
Article Search
An Optimal Strategy for Algorithmic Debugging
David Insa and Josep Silva
(Universidad Politécnica de Valencia, Spain)
Article Search
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)
Article Search

Documentation, Traceability, and Program Understanding

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)
Article Search
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)
Article Search
Flexible Design Pattern Detection Based on Feature Types
Ghulam Rasool and Patrick Mäder
(COMSATS Institute of Information Technology, Pakistan; Johannes Kepler University, Austria)
Article Search

Software Maintenance I

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)
Article Search
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)
Article Search
Specifying and Detecting Meaningful Changes in Programs
Yijun Yu, Thein Than Tun, and Bashar Nuseibeh
(Open University, UK; Lero, Ireland)
Article Search

Software Maintenance II

Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements
Antonio Filieri, Carlo Ghezzi, Alberto Leva, and Martina Maggio
(Politecnico di Milano, Italy)
Article Search
Generalizing Evolutionary Coupling with Stochastic Dependencies
Sunny Wong and Yuanfang Cai
(Siemens Healthcare, USA; Drexel University, USA)
Article Search
Differential Precondition Checking: A Lightweight, Reusable Analysis for Refactoring Tools
Jeffrey L. Overbey and Ralph E. Johnson
(University of Illinois at Urbana-Champaign, USA)
Article Search

Product Lines, Knowledge Acquisition, and Software Processes

A Performance Comparison of Contemporary Algorithmic Approaches for Automated Analysis Operations on Feature Models
Richard Pohl, Kim Lauenroth, and Klaus Pohl
(University of Duisburg-Essen, Germany)
Article Search
Finding Relevant Answers in Software Forums
Swapna Gottipati, David Lo, and Jing Jiang
(Singapore Management University, Singapore)
Article Search
Software Process Evaluation: A Machine Learning Approach
Ning Chen, Steven C. H. Hoi, and Xiaokui Xiao
(Nanyang Technological University, Singapore)
Article Search

Prediction and Ecological Inference

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)
Article Search
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)
Article Search
Ecological Inference in Empirical Software Engineering
Daryl Posnett, Vladimir Filkov, and Premkumar Devanbu
(UC Davis, USA)
Article Search

Short Papers I

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)
Article Search
Querying Source Code with Natural Language
Markus Kimmig, Martin Monperrus, and Mira Mezini
(TU Darmstadt, Germany; University of Lille, France)
Article Search
Coverage Rewarded: Test Input Generation via Adaptation-Based Programming
Alex Groce
(Oregon State University, USA)
Article Search
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)
Article Search
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)
Article Search
Code-Based Automated Program Fixing
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer
(ETH Zurich, Switzerland)
Article Search
Taming Changes With 1.x-Way Architecture-Implementation Mapping
Yongjie Zheng and Richard N. Taylor
(UC Irvine, USA)
Article Search
Evaluating Test Selection Strategies for End-User Specified Flow-Based Applications
Kristina Winbladh and Anand Ranganathan
(University of Delaware, USA; IBM Research Watson, USA)
Article Search
Towards Dynamic Backward Slicing of Model Transformations
Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró
(Budapest University of Technology and Economics, Hungary)
Article Search
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)
Article Search
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)
Article Search
Observations on the Connectedness between Requirements-to-Code Traces and Calling Relationships for Trace Validation
Achraf Ghabi and Alexander Egyed
(Johannes Kepler University, Austria)
Article Search
Proximity Based Weighting of Test Cases to Improve Spectrum Based Fault Localization
Aritra Bandyopadhyay and Sudipto Ghosh
(Colorado State University, USA)
Article Search
Slicing Feature Models
Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France
(Université Nice Sophia Antipolis/CNRS, France; Colorado State University, USA)
Article Search
Using Model Checking to Analyze Static Properties of Declarative Models
Amirhossein Vakili and Nancy A. Day
(University of Waterloo, Canada)
Article Search
Finding the Merits and Drawbacks of Software Resources from Comments
Changsheng Liu, Yanzhen Zou, Sibo Cai, Bing Xie, and Hong Mei
(Peking University, China)
Article Search
Combining Search-based and Constraint-based Testing
Jan Malburg and Gordon Fraser
(Saarland University, Germany)
Article Search

Short Papers II

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)
Article Search
Do Software Engineers Benefit from Source Code Navigation with Traceability? – An Experiment in Software Change Management
Patrick Mäder and Alexander Egyed
(Johannes Kepler University, Austria)
Article Search
Automating Analysis of Qualitative Preferences in Goal-Oriented Requirements Engineering
Zachary J. Oster, Ganesh Ram Santhanam, and Samik Basu
(Iowa State University, USA)
Article Search
History Slicing
Francisco Servant and James A. Jones
(UC Irvine, USA)
Article Search
Analyzing Temporal API Usage Patterns
Gias Uddin, Barthélémy Dagenais, and Martin P. Robillard
(McGill University, Canada)
Article Search
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)
Article Search
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)
Article Search
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)
Article Search
Tracing Requirements to Tests with High Precision and Recall
Celal Ziftci and Ingolf Krueger
(UC San Diego, USA)
Article Search
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)
Article Search
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)
Article Search
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)
Article Search
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)
Article Search
Statistical Debugging with Elastic Predicates
Ross Gore, Paul F. Reynolds, Jr., and David Kamensky
(University of Virginia, USA; University of Texas at Austin, USA)
Article Search
Diagnosis of Software Failures Using Computational Geometry
Edward Stehle, Kevin Lynch, Maxim Shevertalov, Chris Rorres, and Spiros Mancoridis
(Drexel University, USA)
Article Search
GitBAC: Flexible Access Control for Non-Modular Concerns
Mark Robinson, Jianwei Niu, and Macneil Shonle
(University of Texas at San Antonio, USA)
Article Search
Client-side Web Application Slicing
Josip Maras, Jan Carlson, and Ivica Crnković
(University of Split, Croatia; Mälardalen University, Sweden)
Article Search

Short Papers III

Supporting Activity Based Computing Paradigm in Global Software Development
Paolo Tell and Muhammad Ali Babar
(IT University of Copenhagen, Denmark)
Article Search
Inferred Dependence Coverage to Support Fault Contextualization
Fang Deng and James A. Jones
(UC Irvine, USA)
Article Search
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)
Article Search
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)
Article Search
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)
Article Search
Deviation Management during Process Execution
Marcos Aurélio Almeida da Silva, Xavier Blanc, and Reda Bendraou
(LIP6, France; LaBRI, France)
Article Search
PRECIS: Inferring Invariants using Program Path Guided Clustering
Parth Sagdeo, Viraj Athavale, Sumant Kowshik, and Shobha Vasudevan
(University of Illinois at Urbana-Champaign, USA)
Article Search
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)
Article Search
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)
Article Search
Domain and Value Checking of Web Application Invocation Arguments
William G. J. Halfond
(University of Southern California, USA)
Article Search
Mixed Constraints for Test Input Generation – An Initial Exploration
Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, and Sarfraz Khurshid
(University of Texas at Austin, USA)
Article Search
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)
Article Search
Search-Based Fault Localization
Shaowei Wang, David Lo, Lingxiao Jiang, Lucia, and Hoong Chuin Lau
(Singapore Management University, Singapore)
Article Search
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)
Article Search
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)
Article Search
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)
Article Search

Tool Demonstrations

iDiff: Interaction-based Program Differencing Tool
Hoan Anh Nguyen, Tung Thanh Nguyen, Hung Viet Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Article Search
CloneDifferentiator: Analyzing Clones by Differentiation
Zhenchang Xing, Yinxing Xue, and Stan Jarzabek
(National University of Singapore, Singapore)
Article Search
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)
Article Search
JPF-AWT: Model Checking GUI Applications
Peter Mehlitz, Oksana Tkachuk, and Mateusz Ujma
(NASA Ames, USA; University of Oxford, UK)
Article Search
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)
Article Search
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)
Article Search
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)
Article Search
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)
Article Search
SAUML: A Tool for Symbolic Analysis of UML-RT Models
Karolina Zurowska and Juergen Dingel
(Queen's University, Canada)
Article Search
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)
Article Search
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)
Article Search
jCT: A Java Code Tomograph
Markus Lumpe, Samiran Mahmud, and Olga Goloshchapova
(Swinburne University of Technology at Hawthorn, Australia)
Article Search
Generating Realistic Test Models for Model Processing Tools
Pit Pietsch, Hamed Shariat Yazdi, and Udo Kelter
(University of Siegen, Germany)
Article Search
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)
Article Search
The Capture Calculus Toolset
Robert J. Hall
(AT&T Labs Research, USA)
Article Search
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)
Article Search

Doctoral Symposium

Automatically Detecting the Quality of the Query and its Implications in IR-based Concept Location
Sonia Haiduc
(Wayne State University, USA)
Article Search
Using Formal Concept Analysis to Support Change Analysis
Xiaobing Sun and Bixin Li
(Southeast University, China)
Article Search
A Framework for Managing Uncertainty in Self-Adaptive Software Systems
Naeem Esfahani
(George Mason University, USA)
Article Search
Toward Consistency Checking of Natural Language Temporal Requirements
Wenbin Li
(University of Kentucky, USA)
Article Search
Analyzing Temporal Properties of Abstract Models
Amirhossein Vakili
(University of Waterloo, Canada)
Article Search
Improving Spectrum-Based Fault Localization Using Proximity-Based Weighting of Test Cases
Aritra Bandyopadhyay
(Colorado State University, USA)
Article Search
Automatic Assessment of Software Documentation Quality
Andreas Dautovic
(Johannes Kepler University, Austria)
Article Search

proc time: 0.51