ASE 2011 – Proceedings

Preface

Keynotes

Wikipedia and How to Use it for Semantic Document Representation
Ian H. Witten
(University of Waikato, New Zealand)


@InProceedings{ASE11p1, author = {Ian H. Witten}, title = {Wikipedia and How to Use it for Semantic Document Representation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2011}, }

Unifying Testing and Analysis through Behavioral Coverage
Matthew B. Dwyer
(University of Nebraska, USA)


@InProceedings{ASE11p6, author = {Matthew B. Dwyer}, title = {Unifying Testing and Analysis through Behavioral Coverage}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {6-5}, doi = {}, year = {2011}, }

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

Automated Web Application Testing Using Search Based Software Engineering
Nadia Alshahwan and Mark Harman
(UCL, UK)


@InProceedings{ASE11p11, author = {Nadia Alshahwan and Mark Harman}, title = {Automated Web Application Testing Using Search Based Software Engineering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {11-10}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p21, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Tien N. Nguyen}, title = {Auto-Locating and Fix-Propagating for HTML Validation Errors to PHP Server-side Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {21-20}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p31, author = {Brian Robinson and Michael D. Ernst and Jeff H. Perkins and Vinay Augustine and Nuo Li}, title = {Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2011}, }

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

Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs
Saswat Anand and Mary Jean Harrold
(Georgia Tech, USA)


@InProceedings{ASE11p41, author = {Saswat Anand and Mary Jean Harrold}, title = {Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {41-40}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p51, author = {Pingyu Zhang and Sebastian Elbaum and Matthew B. Dwyer}, title = {Automatic Generation of Load Tests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {51-50}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p61, author = {Arthur Baars and Mark Harman and Youssef Hassoun and Kiran Lakhotia and Phil McMinn and Paolo Tonella and Tanja Vos}, title = {Symbolic Search-Based Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {61-60}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p71, author = {Sai Zhang and Cheng Zhang and Michael D. Ernst}, title = {Automated Documentation Inference to Explain Failed Tests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {71-70}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p81, author = {Kai Pan and Xintao Wu and Tao Xie}, title = {Generating Program Inputs for Database Application Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {81-80}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p91, author = {Alberto Gonzalez-Sanchez and Rui Abreu and Hans-Gerhard Gross and Arjan J. C. van Gemund}, title = {Prioritizing Tests for Fault Localization through Ambiguity Group Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {91-90}, doi = {}, year = {2011}, }

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

Identifying Future Field Accesses in Exhaustive State Space Traversal
Pavel Parízek and Ondřej Lhoták
(University of Waterloo, Canada)


@InProceedings{ASE11p101, author = {Pavel Parízek and Ondřej Lhoták}, title = {Identifying Future Field Accesses in Exhaustive State Space Traversal}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {101-100}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p111, author = {Watcharin Leungwattanakit and Cyrille Artho and Masami Hagiya and Yoshinori Tanabe and Mitsuharu Yamamoto}, title = {Model Checking Distributed Systems by Combining Caching and Process Checkpointing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {111-110}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p121, author = {Péter Bokor and Johannes Kinder and Marco Serafini and Neeraj Suri}, title = {Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {121-120}, doi = {}, year = {2011}, }

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

Scalable and Precise Symbolic Analysis for Atomicity Violations
Malay K. Ganai
(NEC Labs, USA)


@InProceedings{ASE11p131, author = {Malay K. Ganai}, title = {Scalable and Precise Symbolic Analysis for Atomicity Violations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {131-130}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p141, author = {Franjo Ivančić and Gogul Balakrishnan and Aarti Gupta and Sriram Sankaranarayanan and Naoto Maeda and Hiroki Tokuoka and Takashi Imoto and Yoshiaki Miyazaki}, title = {DC2: A Framework for Scalable, Scope-Bounded Software Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {141-140}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p151, author = {Juncao Li and Fei Xie and Thomas Ball and Vladimir Levin and Con McGarvey}, title = {Formalizing Hardware/Software Interface Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {151-150}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p161, author = {Matko Botinčan and Mike Dodds and Alastair F. Donaldson and Matthew J. Parkinson}, title = {Safe Asynchronous Multicore Memory Operations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {161-160}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p171, author = {Timo Kehrer and Udo Kelter and Gabriele Taentzer}, title = {A Rule-Based Approach to the Semantic Lifting of Model Differences in the Context of Model Versioning}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {171-170}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p181, author = {Ábel Hegedüs and Ákos Horváth and István Ráth and Dániel Varró}, title = {A Model-driven Framework for Guided Design Space Exploration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {181-180}, doi = {}, year = {2011}, }

Automated Extraction of Architecture-Level Performance Models of Distributed Component-Based Systems
Fabian Brosig, Nikolaus Huber, and Samuel Kounev
(KIT, Germany)


@InProceedings{ASE11p191, author = {Fabian Brosig and Nikolaus Huber and Samuel Kounev}, title = {Automated Extraction of Architecture-Level Performance Models of Distributed Component-Based Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {191-190}, doi = {}, year = {2011}, }

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

Precomputing Possible Configuration Error Diagnoses
Ariel Rabkin and Randy Katz
(UC Berkeley, USA)


@InProceedings{ASE11p201, author = {Ariel Rabkin and Randy Katz}, title = {Precomputing Possible Configuration Error Diagnoses}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {201-200}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p211, author = {David Insa and Josep Silva}, title = {An Optimal Strategy for Algorithmic Debugging}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {211-210}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p221, author = {Sarah R. Clark and Jake Cobb and Gregory M. Kapfhammer and James A. Jones and Mary Jean Harrold}, title = {Localizing SQL Faults in Database Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {221-220}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p231, author = {Xiaofan Chen and John Grundy}, title = {Improving Automated Documentation to Code Traceability by Combining Retrieval Techniques}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {231-230}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p241, author = {Qian Wu and Guangtai Liang and Qianxiang Wang and Tao Xie and Hong Mei}, title = {Iterative Mining of Resource-Releasing Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {241-240}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p251, author = {Ghulam Rasool and Patrick Mäder}, title = {Flexible Design Pattern Detection Based on Feature Types}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {251-250}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p261, author = {Chengnian Sun and David Lo and Siau-Cheng Khoo and Jing Jiang}, title = {Towards More Accurate Retrieval of Duplicate Bug Reports}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {261-260}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p271, author = {Anh Tuan Nguyen and Tung Thanh Nguyen and Jafar Al-Kofahi and Hung Viet Nguyen and Tien N. Nguyen}, title = {A Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {271-270}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p281, author = {Yijun Yu and Thein Than Tun and Bashar Nuseibeh}, title = {Specifying and Detecting Meaningful Changes in Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {281-280}, doi = {}, year = {2011}, }

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

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)


@InProceedings{ASE11p291, author = {Antonio Filieri and Carlo Ghezzi and Alberto Leva and Martina Maggio}, title = {Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {291-290}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p301, author = {Sunny Wong and Yuanfang Cai}, title = {Generalizing Evolutionary Coupling with Stochastic Dependencies}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {301-300}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p311, author = {Jeffrey L. Overbey and Ralph E. Johnson}, title = {Differential Precondition Checking: A Lightweight, Reusable Analysis for Refactoring Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {311-310}, doi = {}, year = {2011}, }

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

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)


@InProceedings{ASE11p321, author = {Richard Pohl and Kim Lauenroth and Klaus Pohl}, title = {A Performance Comparison of Contemporary Algorithmic Approaches for Automated Analysis Operations on Feature Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {321-320}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p331, author = {Swapna Gottipati and David Lo and Jing Jiang}, title = {Finding Relevant Answers in Software Forums}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {331-330}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p341, author = {Ning Chen and Steven C. H. Hoi and Xiaokui Xiao}, title = {Software Process Evaluation: A Machine Learning Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {341-340}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p351, author = {Tim Menzies and Andrew Butcher and Andrian Marcus and Thomas Zimmermann and David Cok}, title = {Local vs. Global Models for Effort Estimation and Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {351-350}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p361, author = {Christoph Rathfelder and Samuel Kounev and David Evans}, title = {Capacity Planning for Event-based Systems using Automated Performance Predictions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {361-360}, doi = {}, year = {2011}, }

Ecological Inference in Empirical Software Engineering
Daryl Posnett, Vladimir Filkov, and Premkumar Devanbu
(UC Davis, USA)


@InProceedings{ASE11p371, author = {Daryl Posnett and Vladimir Filkov and Premkumar Devanbu}, title = {Ecological Inference in Empirical Software Engineering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {371-370}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p381, author = {Sven Apel and Hendrik Speidel and Philipp Wendler and Alexander von Rhein and Dirk Beyer}, title = {Detection of Feature Interactions using Feature-Aware Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {381-380}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p391, author = {Markus Kimmig and Martin Monperrus and Mira Mezini}, title = {Querying Source Code with Natural Language}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {391-390}, doi = {}, year = {2011}, }

Coverage Rewarded: Test Input Generation via Adaptation-Based Programming
Alex Groce
(Oregon State University, USA)


@InProceedings{ASE11p401, author = {Alex Groce}, title = {Coverage Rewarded: Test Input Generation via Adaptation-Based Programming}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {401-400}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p411, author = {Angela Lozano and Andy Kellens and Kim Mens}, title = {Mendel: Source Code Recommendation based on a Genetic Metaphor}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {411-410}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p421, author = {Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene}, title = {Optimizing the Automatic Test Generation by SAT and SMT Solving for Boolean Expressions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {421-420}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p431, author = {Yu Pei and Yi Wei and Carlo A. Furia and Martin Nordio and Bertrand Meyer}, title = {Code-Based Automated Program Fixing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {431-430}, doi = {}, year = {2011}, }

Taming Changes With 1.x-Way Architecture-Implementation Mapping
Yongjie Zheng and Richard N. Taylor
(UC Irvine, USA)


@InProceedings{ASE11p441, author = {Yongjie Zheng and Richard N. Taylor}, title = {Taming Changes With 1.x-Way Architecture-Implementation Mapping}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {441-440}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p451, author = {Kristina Winbladh and Anand Ranganathan}, title = {Evaluating Test Selection Strategies for End-User Specified Flow-Based Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {451-450}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p461, author = {Zoltán Ujhelyi and Ákos Horváth and Dániel Varró}, title = {Towards Dynamic Backward Slicing of Model Transformations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {461-460}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p471, author = {Wujie Zheng and Hao Ma and Michael R. Lyu and Tao Xie and Irwin King}, title = {Mining Test Oracles of Web Search Engines}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {471-470}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p481, author = {LiGuo Huang and Vincent Ng and Isaac Persing and Ruili Geng and Xu Bai and Jeff Tian}, title = {AutoODC: Automated Generation of Orthogonal Defect Classifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {481-480}, doi = {}, year = {2011}, }

Observations on the Connectedness between Requirements-to-Code Traces and Calling Relationships for Trace Validation
Achraf Ghabi and Alexander Egyed
(Johannes Kepler University, Austria)


@InProceedings{ASE11p491, author = {Achraf Ghabi and Alexander Egyed}, title = {Observations on the Connectedness between Requirements-to-Code Traces and Calling Relationships for Trace Validation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {491-490}, doi = {}, year = {2011}, }

Proximity Based Weighting of Test Cases to Improve Spectrum Based Fault Localization
Aritra Bandyopadhyay and Sudipto Ghosh
(Colorado State University, USA)


@InProceedings{ASE11p501, author = {Aritra Bandyopadhyay and Sudipto Ghosh}, title = {Proximity Based Weighting of Test Cases to Improve Spectrum Based Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {501-500}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p511, author = {Mathieu Acher and Philippe Collet and Philippe Lahire and Robert B. France}, title = {Slicing Feature Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {511-510}, doi = {}, year = {2011}, }

Using Model Checking to Analyze Static Properties of Declarative Models
Amirhossein Vakili and Nancy A. Day
(University of Waterloo, Canada)


@InProceedings{ASE11p521, author = {Amirhossein Vakili and Nancy A. Day}, title = {Using Model Checking to Analyze Static Properties of Declarative Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {521-520}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p531, author = {Changsheng Liu and Yanzhen Zou and Sibo Cai and Bing Xie and Hong Mei}, title = {Finding the Merits and Drawbacks of Software Resources from Comments}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {531-530}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p541, author = {Jan Malburg and Gordon Fraser}, title = {Combining Search-based and Constraint-based Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {541-540}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p551, author = {Yi Wei and Hannes Roth and Carlo A. Furia and Yu Pei and Alexander Horton and Michael Steindorfer and Martin Nordio and Bertrand Meyer}, title = {Stateful Testing: Finding More Errors in Code and Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {551-550}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p561, author = {Patrick Mäder and Alexander Egyed}, title = {Do Software Engineers Benefit from Source Code Navigation with Traceability? – An Experiment in Software Change Management}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {561-560}, doi = {}, year = {2011}, }

Automating Analysis of Qualitative Preferences in Goal-Oriented Requirements Engineering
Zachary J. Oster, Ganesh Ram Santhanam, and Samik Basu
(Iowa State University, USA)


@InProceedings{ASE11p571, author = {Zachary J. Oster and Ganesh Ram Santhanam and Samik Basu}, title = {Automating Analysis of Qualitative Preferences in Goal-Oriented Requirements Engineering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {571-570}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p581, author = {Francisco Servant and James A. Jones}, title = {History Slicing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {581-580}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p591, author = {Gias Uddin and Barthélémy Dagenais and Martin P. Robillard}, title = {Analyzing Temporal API Usage Patterns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {591-590}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p601, author = {George Edwards and Yuriy Brun and Nenad Medvidovic}, title = {Isomorphism in Model Tools and Editors}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {601-600}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p611, author = {Svetoslav Ganov and Sarfraz Khurshid and Dewayne E. Perry}, title = {A Case for Alloy Annotations for Efficient Incremental Analysis via Domain Specific Solvers}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {611-610}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p621, author = {Swetha Surapaneni and Venkata Krishna Suhas Nerella and Sanjay K. Madria and Thomas Weigert}, title = {Exploring Caching for Efficient Collection Operations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {621-620}, doi = {}, year = {2011}, }

Tracing Requirements to Tests with High Precision and Recall
Celal Ziftci and Ingolf Krueger
(UC San Diego, USA)


@InProceedings{ASE11p631, author = {Celal Ziftci and Ingolf Krueger}, title = {Tracing Requirements to Tests with High Precision and Recall}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {631-630}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p641, author = {Alberto Bacchelli and Anthony Cleve and Michele Lanza and Andrea Mocci}, title = {Extracting Structured Data from Natural Language Documents with Island Parsing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {641-640}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p651, author = {Soichiro Hidaka and Zhenjiang Hu and Kazuhiro Inaba and Hiroyuki Kato and Keisuke Nakano}, title = {GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {651-650}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p661, author = {Pengcheng Zhang and Henry Muccini and Andrea Polini and Xuandong Li}, title = {Run-time Systems Failure Prediction via Proactive Monitoring}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {661-660}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p671, author = {Soham Sundar Chakraborty and Vipul Shah}, title = {Towards an Approach and Framework for Test-Execution Plan Derivation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {671-670}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p681, author = {Ross Gore and Paul F. Reynolds, Jr. and David Kamensky}, title = {Statistical Debugging with Elastic Predicates}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {681-680}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p691, author = {Edward Stehle and Kevin Lynch and Maxim Shevertalov and Chris Rorres and Spiros Mancoridis}, title = {Diagnosis of Software Failures Using Computational Geometry}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {691-690}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p701, author = {Mark Robinson and Jianwei Niu and Macneil Shonle}, title = {GitBAC: Flexible Access Control for Non-Modular Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {701-700}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p711, author = {Josip Maras and Jan Carlson and Ivica Crnković}, title = {Client-side Web Application Slicing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {711-710}, doi = {}, year = {2011}, }

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

Supporting Activity Based Computing Paradigm in Global Software Development
Paolo Tell and Muhammad Ali Babar
(IT University of Copenhagen, Denmark)


@InProceedings{ASE11p721, author = {Paolo Tell and Muhammad Ali Babar}, title = {Supporting Activity Based Computing Paradigm in Global Software Development}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {721-720}, doi = {}, year = {2011}, }

Inferred Dependence Coverage to Support Fault Contextualization
Fang Deng and James A. Jones
(UC Irvine, USA)


@InProceedings{ASE11p731, author = {Fang Deng and James A. Jones}, title = {Inferred Dependence Coverage to Support Fault Contextualization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {731-730}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p741, author = {Robyn Lutz and Jeremy Johnson and Ann Patterson-Hine}, title = {Using Model-based Assurance to Strengthen Diagnostic Procedures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {741-740}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p751, author = {Elton Alves and Milos Gligoric and Vilas Jagannath and Marcelo d'Amorim}, title = {Fault-Localization Using Dynamic Slicing and Change Impact Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {751-750}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p761, author = {Emily Hill and Lori Pollock and K. Vijay-Shanker}, title = {Improving Source Code Search with Natural Language Phrasal Representations of Method Signatures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {761-760}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p771, author = {Marcos Aurélio Almeida da Silva and Xavier Blanc and Reda Bendraou}, title = {Deviation Management during Process Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {771-770}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p781, author = {Parth Sagdeo and Viraj Athavale and Sumant Kowshik and Shobha Vasudevan}, title = {PRECIS: Inferring Invariants using Program Path Guided Clustering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {781-780}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p791, author = {Samaneh Soltani and Mohsen Asadi and Marek Hatala and Dragan Gašević and Ebrahim Bagheri}, title = {Automated Planning for Feature Model Configuration based on Stakeholders' Business Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {791-790}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p801, author = {Malcom Gethers and Huzefa Kagdi and Bogdan Dit and Denys Poshyvanyk}, title = {An Adaptive Approach to Impact Analysis from Change Requests to Source Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {801-800}, doi = {}, year = {2011}, }

Domain and Value Checking of Web Application Invocation Arguments
William G. J. Halfond
(University of Southern California, USA)


@InProceedings{ASE11p811, author = {William G. J. Halfond}, title = {Domain and Value Checking of Web Application Invocation Arguments}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {811-810}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p821, author = {Shadi Abdul Khalek and Vidya Priyadarshini Narayanan and Sarfraz Khurshid}, title = {Mixed Constraints for Test Input Generation – An Initial Exploration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {821-820}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p831, author = {Joshua Garcia and Daniel Popescu and Chris Mattmann and Nenad Medvidovic and Yuanfang Cai}, title = {Enhancing Architectural Recovery Using Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {831-830}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p841, author = {Shaowei Wang and David Lo and Lingxiao Jiang and Lucia and Hoong Chuin Lau}, title = {Search-Based Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {841-840}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p851, author = {Kristopher Welsh and Pete Sawyer and Nelly Bencomo}, title = {Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {851-850}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p861, author = {Massila Kamalrudin and John Grundy}, title = {Generating Essential User Interface Prototypes to Validate Requirements}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {861-860}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p871, author = {Andres J. Ramirez and Adam C. Jensen and Betty H. C. Cheng and David B. Knoester}, title = {Automatically Exploring How Uncertainty Impacts Behavior of Dynamically Adaptive Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {871-870}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p881, author = {Hoan Anh Nguyen and Tung Thanh Nguyen and Hung Viet Nguyen and Tien N. Nguyen}, title = {iDiff: Interaction-based Program Differencing Tool}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {881-880}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p885, author = {Zhenchang Xing and Yinxing Xue and Stan Jarzabek}, title = {CloneDifferentiator: Analyzing Clones by Differentiation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {885-884}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p889, author = {Gábor Bergmann and Ábel Hegedüs and Ákos Horváth and István Ráth and Zoltán Ujhelyi and Dániel Varró}, title = {Implementing Efficient Model Validation in EMF Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {889-888}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p893, author = {Peter Mehlitz and Oksana Tkachuk and Mateusz Ujma}, title = {JPF-AWT: Model Checking GUI Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {893-892}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p897, author = {Ewen Maclean and Andrew Ireland and Gudmund Grov}, title = {The CORE System: Animation and Functional Correctness of Pointer Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {897-896}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p901, author = {Lijie Wang and Lu Fang and Leye Wang and Ge Li and Bing Xie and Fuqing Yang}, title = {APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {901-900}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p905, author = {Malay K. Ganai and Nipun Arora and Chao Wang and Aarti Gupta and Gogul Balakrishnan}, title = {BEST: A Symbolic Testing Tool for Predicting Multi-threaded Program Failures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {905-904}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p909, author = {Mathieu Acher and Philippe Collet and Philippe Lahire and Robert B. France}, title = {Decomposing Feature Models: Language, Environment, and Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {909-908}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p913, author = {Karolina Zurowska and Juergen Dingel}, title = {SAUML: A Tool for Symbolic Analysis of UML-RT Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {913-912}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p917, author = {Shadi Abdul Khalek and Guowei Yang and Lingming Zhang and Darko Marinov and Sarfraz Khurshid}, title = {TestEra: A Tool for Testing Java Programs Using Alloy Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {917-916}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p921, author = {René Just and Franz Schweiggert and Gregory M. Kapfhammer}, title = {MAJOR: An Efficient and Extensible Tool for Mutation Analysis in a Java Compiler}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {921-920}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p925, author = {Markus Lumpe and Samiran Mahmud and Olga Goloshchapova}, title = {jCT: A Java Code Tomograph}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {925-924}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p929, author = {Pit Pietsch and Hamed Shariat Yazdi and Udo Kelter}, title = {Generating Realistic Test Models for Model Processing Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {929-928}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p933, author = {Saint Wesonga and Eric G. Mercer and Neha Rungta}, title = {Guided Test Visualization: Making Sense of Errors in Concurrent Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {933-932}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p937, author = {Robert J. Hall}, title = {The Capture Calculus Toolset}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {937-936}, doi = {}, year = {2011}, }

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)


@InProceedings{ASE11p942, author = {Truong Khanh Nguyen and Jun Sun and Yang Liu and Jin Song Dong}, title = {A Symbolic Model Checking Framework for Hierarchical Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {942-941}, doi = {}, year = {2011}, }

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

Automatically Detecting the Quality of the Query and its Implications in IR-based Concept Location
Sonia Haiduc
(Wayne State University, USA)


@InProceedings{ASE11p946, author = {Sonia Haiduc}, title = {Automatically Detecting the Quality of the Query and its Implications in IR-based Concept Location}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {946-945}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p951, author = {Xiaobing Sun and Bixin Li}, title = {Using Formal Concept Analysis to Support Change Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {951-950}, doi = {}, year = {2011}, }

A Framework for Managing Uncertainty in Self-Adaptive Software Systems
Naeem Esfahani
(George Mason University, USA)


@InProceedings{ASE11p956, author = {Naeem Esfahani}, title = {A Framework for Managing Uncertainty in Self-Adaptive Software Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {956-955}, doi = {}, year = {2011}, }

Toward Consistency Checking of Natural Language Temporal Requirements
Wenbin Li
(University of Kentucky, USA)


@InProceedings{ASE11p961, author = {Wenbin Li}, title = {Toward Consistency Checking of Natural Language Temporal Requirements}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {961-960}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p966, author = {Amirhossein Vakili}, title = {Analyzing Temporal Properties of Abstract Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {966-965}, doi = {}, year = {2011}, }

Improving Spectrum-Based Fault Localization Using Proximity-Based Weighting of Test Cases
Aritra Bandyopadhyay
(Colorado State University, USA)


@InProceedings{ASE11p971, author = {Aritra Bandyopadhyay}, title = {Improving Spectrum-Based Fault Localization Using Proximity-Based Weighting of Test Cases}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {971-970}, doi = {}, year = {2011}, }

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


@InProceedings{ASE11p976, author = {Andreas Dautovic}, title = {Automatic Assessment of Software Documentation Quality}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {976-975}, doi = {}, year = {2011}, }

proc time: 0.12