ASE 2012 – Proceedings

Preface

Keynotes

The GISMOE Challenge: Constructing the Pareto Program Surface Using Genetic Programming to Find Better Programs (Keynote Paper)
Mark Harman, William B. Langdon, Yue Jia, David R. White, Andrea Arcuri, and John A. Clark
(University College London, UK; University of Glasgow, UK; Simula Research Laboratory, Norway; University of York, UK)


@InProceedings{ASE12p1, author = {Mark Harman and William B. Langdon and Yue Jia and David R. White and Andrea Arcuri and John A. Clark}, title = {The GISMOE Challenge: Constructing the Pareto Program Surface Using Genetic Programming to Find Better Programs (Keynote Paper)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }

Re-founding Software Engineering – SEMAT at the Age of Three (Keynote Abstract)
Ivar Jacobson, Ian Spence, Pontus Johnson, and Mira Kajko-Mattsson
(Ivar Jacobson International, UK; KTH Royal Institute of Technology, Sweden)


@InProceedings{ASE12p15, author = {Ivar Jacobson and Ian Spence and Pontus Johnson and Mira Kajko-Mattsson}, title = {Re-founding Software Engineering – SEMAT at the Age of Three (Keynote Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {15-14}, doi = {}, year = {2012}, }

Debugging I

Practical Isolation of Failure-Inducing Changes for Debugging Regression Faults
Kai Yu, Mengxiang Lin, Jin Chen, and Xiangyu Zhang
(Beihang University, China)


@InProceedings{ASE12p29, author = {Kai Yu and Mengxiang Lin and Jin Chen and Xiangyu Zhang}, title = {Practical Isolation of Failure-Inducing Changes for Debugging Regression Faults}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {29-28}, doi = {}, year = {2012}, }

Diversity Maximization Speedup for Fault Localization
Liang Gong, David Lo, Lingxiao Jiang, and Hongyu Zhang
(Tsinghua University, China; Singapore Management University, Singapore)


@InProceedings{ASE12p39, author = {Liang Gong and David Lo and Lingxiao Jiang and Hongyu Zhang}, title = {Diversity Maximization Speedup for Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2012}, }

Improving the Effectiveness of Spectra-Based Fault Localization Using Specifications
Divya Gopinath, Razieh Nokhbeh Zaeem, and Sarfraz Khurshid
(University of Texas at Austin, USA)


@InProceedings{ASE12p49, author = {Divya Gopinath and Razieh Nokhbeh Zaeem and Sarfraz Khurshid}, title = {Improving the Effectiveness of Spectra-Based Fault Localization Using Specifications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2012}, }

Debugging II

To What Extent Could We Detect Field Defects? An Empirical Study of False Negatives in Static Bug Finding Tools
Ferdian Thung, Lucia, David Lo, Lingxiao Jiang, Foyzur Rahman, and Premkumar T. Devanbu
(Singapore Management University, Singapore; UC Davis, USA)


@InProceedings{ASE12p59, author = {Ferdian Thung and Lucia and David Lo and Lingxiao Jiang and Foyzur Rahman and Premkumar T. Devanbu}, title = {To What Extent Could We Detect Field Defects? An Empirical Study of False Negatives in Static Bug Finding Tools}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {59-58}, doi = {}, year = {2012}, }

Diagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel
Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, and Gilles Muller
(University of Bordeaux, France; INRIA, France)


@InProceedings{ASE12p69, author = {Tegawendé F. Bissyandé and Laurent Réveillère and Julia L. Lawall and Gilles Muller}, title = {Diagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {69-68}, doi = {}, year = {2012}, }

Duplicate Bug Report Detection with a Combination of Information Retrieval and Topic Modeling
Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, David Lo, and Chengnian Sun
(Iowa State University, USA; Singapore Management University, Singapore; National University of Singapore, Singapore)


@InProceedings{ASE12p79, author = {Anh Tuan Nguyen and Tung Thanh Nguyen and Tien N. Nguyen and David Lo and Chengnian Sun}, title = {Duplicate Bug Report Detection with a Combination of Information Retrieval and Topic Modeling}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {79-78}, doi = {}, year = {2012}, }

Privacy, Security, and Performance

User-Aware Privacy Control via Extended Static-Information-Flow Analysis
Xusheng Xiao, Nikolai Tillmann, Manuel Fahndrich, Jonathan de Halleux, and Michal Moskal
(North Carolina State University, USA; Microsoft Research, USA)


@InProceedings{ASE12p89, author = {Xusheng Xiao and Nikolai Tillmann and Manuel Fahndrich and Jonathan de Halleux and Michal Moskal}, title = {User-Aware Privacy Control via Extended Static-Information-Flow Analysis}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {89-88}, doi = {}, year = {2012}, }

Automatic Query Performance Assessment during the Retrieval of Software Artifacts
Sonia Haiduc, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, and Andrian Marcus
(Wayne State University, USA; University of Salerno, Italy; University of Molise, Italy)


@InProceedings{ASE12p99, author = {Sonia Haiduc and Gabriele Bavota and Rocco Oliveto and Andrea De Lucia and Andrian Marcus}, title = {Automatic Query Performance Assessment during the Retrieval of Software Artifacts}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {99-98}, doi = {}, year = {2012}, }

Supporting Automated Vulnerability Analysis Using Formalized Vulnerability Signatures
Mohamed Almorsy, John Grundy, and Amani S. Ibrahim
(Swinburne University of Technology, Australia)


@InProceedings{ASE12p109, author = {Mohamed Almorsy and John Grundy and Amani S. Ibrahim}, title = {Supporting Automated Vulnerability Analysis Using Formalized Vulnerability Signatures}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {109-108}, doi = {}, year = {2012}, }

Configuration Management and QoS

A Qualitative Study on User Guidance Capabilities in Product Configuration Tools
Rick Rabiser, Paul Grünbacher, and Martin Lehofer
(JKU Linz, Austria; Siemens, Austria)


@InProceedings{ASE12p119, author = {Rick Rabiser and Paul Grünbacher and Martin Lehofer}, title = {A Qualitative Study on User Guidance Capabilities in Product Configuration Tools}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {119-118}, doi = {}, year = {2012}, }

Structured Merge with Auto-Tuning: Balancing Precision and Performance
Sven Apel, Olaf Leßenich, and Christian Lengauer
(University of Passau, Germany)


@InProceedings{ASE12p129, author = {Sven Apel and Olaf Leßenich and Christian Lengauer}, title = {Structured Merge with Auto-Tuning: Balancing Precision and Performance}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {}, year = {2012}, }

An Automated Approach to Forecasting QoS Attributes Based on Linear and Non-linear Time Series Modeling
Ayman Amin, Lars Grunske, and Alan Colman
(Swinburne University of Technology, Australia; University of Kaiserslautern, Germany)


@InProceedings{ASE12p139, author = {Ayman Amin and Lars Grunske and Alan Colman}, title = {An Automated Approach to Forecasting QoS Attributes Based on Linear and Non-linear Time Series Modeling}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {139-138}, doi = {}, year = {2012}, }

Testing and Monitoring

Puzzle-Based Automatic Testing: Bringing Humans into the Loop by Solving Puzzles
Ning Chen and Sunghun Kim
(Hong Kong University of Science and Technology, China)


@InProceedings{ASE12p149, author = {Ning Chen and Sunghun Kim}, title = {Puzzle-Based Automatic Testing: Bringing Humans into the Loop by Solving Puzzles}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {149-148}, doi = {}, year = {2012}, }

Using Unfoldings in Automated Testing of Multithreaded Programs
Kari Kähkönen, Olli Saarikivi, and Keijo Heljanko
(Aalto University, Finland)


@InProceedings{ASE12p159, author = {Kari Kähkönen and Olli Saarikivi and Keijo Heljanko}, title = {Using Unfoldings in Automated Testing of Multithreaded Programs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {159-158}, doi = {}, year = {2012}, }

Runtime Monitoring of Software Energy Hotspots
Adel Noureddine, Aurelien Bourdon, Romain Rouvoy, and Lionel Seinturier
(INRIA, France; University of Lille, France; Institut Universitaire de France, France)


@InProceedings{ASE12p169, author = {Adel Noureddine and Aurelien Bourdon and Romain Rouvoy and Lionel Seinturier}, title = {Runtime Monitoring of Software Energy Hotspots}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2012}, }

Prediction

Can I Clone This Piece of Code Here?
Xiaoyin Wang, Yingnong Dang, Lu Zhang, Dongmei Zhang, Erica Lan, and Hong Mei
(Peking University, China; Microsoft Research, China; Microsoft, USA)


@InProceedings{ASE12p179, author = {Xiaoyin Wang and Yingnong Dang and Lu Zhang and Dongmei Zhang and Erica Lan and Hong Mei}, title = {Can I Clone This Piece of Code Here?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {179-178}, doi = {}, year = {2012}, }

Predicting Recurring Crash Stacks
Hyunmin Seo and Sunghun Kim
(Hong Kong University of Science and Technology, China)


@InProceedings{ASE12p189, author = {Hyunmin Seo and Sunghun Kim}, title = {Predicting Recurring Crash Stacks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {189-188}, doi = {}, year = {2012}, }

Automated Inference of Goal-Oriented Performance Prediction Functions
Dennis Westermann, Jens Happe, Rouven Krebs, and Roozbeh Farahbod
(SAP Research, Germany)


@InProceedings{ASE12p199, author = {Dennis Westermann and Jens Happe and Rouven Krebs and Roozbeh Farahbod}, title = {Automated Inference of Goal-Oriented Performance Prediction Functions}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {199-198}, doi = {}, year = {2012}, }

Validation, Verification, and Consistency

Code Patterns for Automatically Validating Requirements-to-Code Traces
Achraf Ghabi and Alexander Egyed
(JKU Linz, Austria)


@InProceedings{ASE12p209, author = {Achraf Ghabi and Alexander Egyed}, title = {Code Patterns for Automatically Validating Requirements-to-Code Traces}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {209-208}, doi = {}, year = {2012}, }

Unbounded Data Model Verification Using SMT Solvers
Jaideep Nijjar and Tevfik Bultan
(UC Santa Barbara, USA)


@InProceedings{ASE12p219, author = {Jaideep Nijjar and Tevfik Bultan}, title = {Unbounded Data Model Verification Using SMT Solvers}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {219-218}, doi = {}, year = {2012}, }

Computing Repair Trees for Resolving Inconsistencies in Design Models
Alexander Reder and Alexander Egyed
(JKU Linz, Austria)


@InProceedings{ASE12p229, author = {Alexander Reder and Alexander Egyed}, title = {Computing Repair Trees for Resolving Inconsistencies in Design Models}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {229-228}, doi = {}, year = {2012}, }

Re-engineering, Program Understanding, and Model Transformation (Short Papers)

Supporting Automated Software Re-engineering Using Re-aspects
Mohamed Almorsy, John Grundy, and Amani S. Ibrahim
(Swinburne University of Technology, Australia)


@InProceedings{ASE12p239, author = {Mohamed Almorsy and John Grundy and Amani S. Ibrahim}, title = {Supporting Automated Software Re-engineering Using Re-aspects}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {239-238}, doi = {}, year = {2012}, }

Supporting Operating System Kernel Data Disambiguation Using Points-to Analysis
Amani S. Ibrahim, John Grundy, James Hamlyn-Harris, and Mohamed Almorsy
(Swinburne University of Technology, Australia)


@InProceedings{ASE12p243, author = {Amani S. Ibrahim and John Grundy and James Hamlyn-Harris and Mohamed Almorsy}, title = {Supporting Operating System Kernel Data Disambiguation Using Points-to Analysis}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {243-242}, doi = {}, year = {2012}, }

Automatic Recovery of Statecharts from Procedural Code
Moria Abadi and Yishai A. Feldman
(Tel Aviv University, Israel; IBM Research, Israel)


@InProceedings{ASE12p247, author = {Moria Abadi and Yishai A. Feldman}, title = {Automatic Recovery of Statecharts from Procedural Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {247-246}, doi = {}, year = {2012}, }

Locating Distinguishing Features Using Diff Sets
Julia Rubin and Marsha Chechik
(University of Toronto, Canada; IBM Research, Israel)


@InProceedings{ASE12p251, author = {Julia Rubin and Marsha Chechik}, title = {Locating Distinguishing Features Using Diff Sets}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {251-250}, doi = {}, year = {2012}, }

Slicing and Replaying Code Change History
Katsuhisa Maruyama, Eijiro Kitsu, Takayuki Omori, and Shinpei Hayashi
(Ritsumeikan University, Japan; Tokyo Institute of Technology, Japan)


@InProceedings{ASE12p255, author = {Katsuhisa Maruyama and Eijiro Kitsu and Takayuki Omori and Shinpei Hayashi}, title = {Slicing and Replaying Code Change History}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {255-254}, doi = {}, year = {2012}, }

Generating Model Transformation Rules from Examples Using an Evolutionary Algorithm
Martin Faunes, Houari Sahraoui, and Mounir Boukadoum
(Université de Montréal, Canada; Université du Québec à Montréal, Canada)


@InProceedings{ASE12p259, author = {Martin Faunes and Houari Sahraoui and Mounir Boukadoum}, title = {Generating Model Transformation Rules from Examples Using an Evolutionary Algorithm}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {259-258}, doi = {}, year = {2012}, }

Testing and Code Analysis (Short Papers)

Augmented Dynamic Symbolic Execution
Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, and Jonathan de Halleux
(Saarland University, Germany; University of Sheffield, UK; Microsoft Research, USA)


@InProceedings{ASE12p263, author = {Konrad Jamrozik and Gordon Fraser and Nikolai Tillmann and Jonathan de Halleux}, title = {Augmented Dynamic Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {263-262}, doi = {}, year = {2012}, }

Using GUI Ripping for Automated Testing of Android Applications
Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Salvatore De Carmine, and Atif M. Memon
(Università Federico II Napoli, Italy; University of Maryland, USA)


@InProceedings{ASE12p267, author = {Domenico Amalfitano and Anna Rita Fasolino and Porfirio Tramontana and Salvatore De Carmine and Atif M. Memon}, title = {Using GUI Ripping for Automated Testing of Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {267-266}, doi = {}, year = {2012}, }

kbe-Anonymity: Test Data Anonymization for Evolving Programs
Lucia, David Lo, Lingxiao Jiang, and Aditya Budi
(Singapore Management University, Singapore)


@InProceedings{ASE12p271, author = { Lucia and David Lo and Lingxiao Jiang and Aditya Budi}, title = {kbe-Anonymity: Test Data Anonymization for Evolving Programs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {271-270}, doi = {}, year = {2012}, }

Selection of Regression System Tests for Security Policy Evolution
JeeHyun Hwang, Tao Xie, Donia El Kateb, Tejeddine Mouelhi, and Yves Le Traon
(North Carolina State University, USA; University of Luxembourg, Luxembourg)


@InProceedings{ASE12p275, author = {JeeHyun Hwang and Tao Xie and Donia El Kateb and Tejeddine Mouelhi and Yves Le Traon}, title = {Selection of Regression System Tests for Security Policy Evolution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {275-274}, doi = {}, year = {2012}, }

Fast and Precise Points-to Analysis with Incremental CFL-Reachability Summarisation: Preliminary Experience
Lei Shang, Yi Lu, and Jingling Xue
(University of New South Wales, Australia)


@InProceedings{ASE12p279, author = {Lei Shang and Yi Lu and Jingling Xue}, title = {Fast and Precise Points-to Analysis with Incremental CFL-Reachability Summarisation: Preliminary Experience}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {279-278}, doi = {}, year = {2012}, }

Detection and Refactoring (Short Papers)

Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android
Alexandre Bartel, Jacques Klein, Yves Le Traon, and Martin Monperrus
(University of Luxembourg, Luxembourg; SnT, Luxembourg; University of Lille, France; INRIA, France)


@InProceedings{ASE12p283, author = {Alexandre Bartel and Jacques Klein and Yves Le Traon and Martin Monperrus}, title = {Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {283-282}, doi = {}, year = {2012}, }

Support Vector Machines for Anti-pattern Detection
Abdou Maiga, Nasir Ali, Neelesh Bhattacharya, Aminata Sabané, Yann-Gaël Guéhéneuc, Giuliano Antoniol, and Esma Aïmeur
(Université de Montréal, Canada; École Polytechnique de Montréal, Canada)


@InProceedings{ASE12p287, author = {Abdou Maiga and Nasir Ali and Neelesh Bhattacharya and Aminata Sabané and Yann-Gaël Guéhéneuc and Giuliano Antoniol and Esma Aïmeur}, title = {Support Vector Machines for Anti-pattern Detection}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2012}, }

Detection of Embedded Code Smells in Dynamic Web Applications
Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Anh Tuan Nguyen, and Tien N. Nguyen
(Iowa State University, USA)


@InProceedings{ASE12p291, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Anh Tuan Nguyen and Tien N. Nguyen}, title = {Detection of Embedded Code Smells in Dynamic Web Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {291-290}, doi = {}, year = {2012}, }

Boreas: An Accurate and Scalable Token-Based Approach to Code Clone Detection
Yang Yuan and Yao Guo
(Peking University, China)


@InProceedings{ASE12p295, author = {Yang Yuan and Yao Guo}, title = {Boreas: An Accurate and Scalable Token-Based Approach to Code Clone Detection}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {295-294}, doi = {}, year = {2012}, }

Refactorings without Names
Friedrich Steimann and Jens von Pilgrim
(Fernuniversität in Hagen, Germany)


@InProceedings{ASE12p299, author = {Friedrich Steimann and Jens von Pilgrim}, title = {Refactorings without Names}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {299-298}, doi = {}, year = {2012}, }

Automated API Migration in a User-Extensible Refactoring Tool for Erlang Programs
Huiqing Li and Simon Thompson
(University of Kent, UK)


@InProceedings{ASE12p303, author = {Huiqing Li and Simon Thompson}, title = {Automated API Migration in a User-Extensible Refactoring Tool for Erlang Programs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {303-302}, doi = {}, year = {2012}, }

Requirements Engineering and Model based Development (Short Papers)

Using Mobile Devices for Collaborative Requirements Engineering
Rainer Lutz, Sascha Schäfer, and Stephan Diehl
(University of Trier, Germany)


@InProceedings{ASE12p307, author = {Rainer Lutz and Sascha Schäfer and Stephan Diehl}, title = {Using Mobile Devices for Collaborative Requirements Engineering}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {307-306}, doi = {}, year = {2012}, }

Automatically Generating and Adapting Model Constraints to Support Co-evolution of Design Models
Andreas Demuth, Roberto E. Lopez-Herrejon, and Alexander Egyed
(JKU Linz, Austria)


@InProceedings{ASE12p311, author = {Andreas Demuth and Roberto E. Lopez-Herrejon and Alexander Egyed}, title = {Automatically Generating and Adapting Model Constraints to Support Co-evolution of Design Models}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2012}, }

Adaptability of Model Comparison Tools
Timo Kehrer, Udo Kelter, Pit Pietsch, and Maik Schmidt
(University of Siegen, Germany)


@InProceedings{ASE12p315, author = {Timo Kehrer and Udo Kelter and Pit Pietsch and Maik Schmidt}, title = {Adaptability of Model Comparison Tools}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {315-314}, doi = {}, year = {2012}, }

Defect Prediction and Recovery (Short Papers)

Predicting Common Web Application Vulnerabilities from Input Validation and Sanitization Code Patterns
Lwin Khin Shar and Hee Beng Kuan Tan
(Nanyang Technological University, Singapore)


@InProceedings{ASE12p319, author = {Lwin Khin Shar and Hee Beng Kuan Tan}, title = {Predicting Common Web Application Vulnerabilities from Input Validation and Sanitization Code Patterns}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {319-318}, doi = {}, year = {2012}, }

Software Defect Prediction Using Semi-supervised Learning with Dimension Reduction
Huihua Lu, Bojan Cukic, and Mark Culp
(West Virginia University, USA)


@InProceedings{ASE12p323, author = {Huihua Lu and Bojan Cukic and Mark Culp}, title = {Software Defect Prediction Using Semi-supervised Learning with Dimension Reduction}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {323-322}, doi = {}, year = {2012}, }

Healing Online Service Systems via Mining Historical Issue Repositories
Rui Ding, Qiang Fu, Jian-Guang Lou, Qingwei Lin, Dongmei Zhang, Jiajun Shen, and Tao Xie
(Microsoft Research, China; Microsoft Research, USA; Shanghai Jiao Tong University, China; North Carolina State University, USA)


@InProceedings{ASE12p327, author = {Rui Ding and Qiang Fu and Jian-Guang Lou and Qingwei Lin and Dongmei Zhang and Jiajun Shen and Tao Xie}, title = {Healing Online Service Systems via Mining Historical Issue Repositories}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {327-326}, doi = {}, year = {2012}, }

Automated Evaluation of Syntax Error Recovery
Maartje de Jonge and Eelco Visser
(TU Delft, Netherlands)


@InProceedings{ASE12p331, author = {Maartje de Jonge and Eelco Visser}, title = {Automated Evaluation of Syntax Error Recovery}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {331-330}, doi = {}, year = {2012}, }

Tool Demonstrations 1

MaramaAI: Tool Support for Capturing and Managing Consistency of Multi-lingual Requirements
Massila Kamalrudin, John Grundy, and John Hosking
(Universiti Teknikal Malaysia Melaka, Malaysia; Swinburne University of Technology, Australia; Australian National University, Australia)


@InProceedings{ASE12p335, author = {Massila Kamalrudin and John Grundy and John Hosking}, title = {MaramaAI: Tool Support for Capturing and Managing Consistency of Multi-lingual Requirements}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {335-334}, doi = {}, year = {2012}, }

GUITest: A Java Library for Fully Automated GUI Robustness Testing
Sebastian Bauersfeld and Tanja E. J. Vos
(Universitat Politècnica de València, Spain)


@InProceedings{ASE12p339, author = {Sebastian Bauersfeld and Tanja E. J. Vos}, title = {GUITest: A Java Library for Fully Automated GUI Robustness Testing}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {339-338}, doi = {}, year = {2012}, }

Observatory of Trends in Software Related Microblogs
Palakorn Achananuparp, Ibrahim Nelman Lubis, Yuan Tian, David Lo, and Ee-Peng Lim
(Singapore Management University, Singapore)


@InProceedings{ASE12p343, author = {Palakorn Achananuparp and Ibrahim Nelman Lubis and Yuan Tian and David Lo and Ee-Peng Lim}, title = {Observatory of Trends in Software Related Microblogs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {343-342}, doi = {}, year = {2012}, }

Arcade.PLC: A Verification Platform for Programmable Logic Controllers
Sebastian Biallas, Jörg Brauer, and Stefan Kowalewski
(RWTH Aachen University, Germany; Verified Systems International, Germany)


@InProceedings{ASE12p347, author = {Sebastian Biallas and Jörg Brauer and Stefan Kowalewski}, title = {Arcade.PLC: A Verification Platform for Programmable Logic Controllers}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {347-346}, doi = {}, year = {2012}, }

Test Suite Selection Based on Traceability Annotations
Yves Ledru, German Vega, Taha Triki, and Lydie du Bousquet
(UJF-Grenoble 1, France; Grenoble-INP, France; UPMF-Grenoble2, France; CNRS, France)


@InProceedings{ASE12p351, author = {Yves Ledru and German Vega and Taha Triki and Lydie du Bousquet}, title = {Test Suite Selection Based on Traceability Annotations}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {351-350}, doi = {}, year = {2012}, }

PuMoC: A CTL Model-Checker for Sequential Programs
Fu Song and Tayssir Touili
(CNRS, France; University Paris Diderot, France)


@InProceedings{ASE12p355, author = {Fu Song and Tayssir Touili}, title = {PuMoC: A CTL Model-Checker for Sequential Programs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {355-354}, doi = {}, year = {2012}, }

Weave Droid: Aspect-Oriented Programming on Android Devices: Fully Embedded or in the Cloud
Yliès Falcone and Sebastian Currea
(UJF-Grenoble 1, France; LIG, France)


@InProceedings{ASE12p359, author = {Yliès Falcone and Sebastian Currea}, title = {Weave Droid: Aspect-Oriented Programming on Android Devices: Fully Embedded or in the Cloud}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {359-358}, doi = {}, year = {2012}, }

Caprice: A Tool for Engineering Adaptive Privacy
Inah Omoronyia, Liliana Pasquale, Mazeiar Salehie, Luca Cavallaro, Gavin Doherty, and Bashar Nuseibeh
(Lero, Ireland; University of Limerick, Ireland; Trinity College Dublin, Ireland; Open University, UK)


@InProceedings{ASE12p363, author = {Inah Omoronyia and Liliana Pasquale and Mazeiar Salehie and Luca Cavallaro and Gavin Doherty and Bashar Nuseibeh}, title = {Caprice: A Tool for Engineering Adaptive Privacy}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {363-362}, doi = {}, year = {2012}, }

Tool Demonstrations 2

JStereoCode: Automatically Identifying Method and Class Stereotypes in Java Code
Laura Moreno and Andrian Marcus
(Wayne State University, USA)


@InProceedings{ASE12p367, author = {Laura Moreno and Andrian Marcus}, title = {JStereoCode: Automatically Identifying Method and Class Stereotypes in Java Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {367-366}, doi = {}, year = {2012}, }

CHESS: A Model-Driven Engineering Tool Environment for Aiding the Development of Complex Industrial Systems
Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, and Tullio Vardanega
(Mälardalen University, Sweden; Intecs, Italy; University of Padova, Italy)


@InProceedings{ASE12p371, author = {Antonio Cicchetti and Federico Ciccozzi and Silvia Mazzini and Stefano Puri and Marco Panunzio and Alessandro Zovi and Tullio Vardanega}, title = {CHESS: A Model-Driven Engineering Tool Environment for Aiding the Development of Complex Industrial Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {371-370}, doi = {}, year = {2012}, }

SYMake: A Build Code Analysis and Refactoring Tool for Makefiles
Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, and Tien N. Nguyen
(Iowa State University, USA)


@InProceedings{ASE12p375, author = {Ahmed Tamrawi and Hoan Anh Nguyen and Hung Viet Nguyen and Tien N. Nguyen}, title = {SYMake: A Build Code Analysis and Refactoring Tool for Makefiles}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {375-374}, doi = {}, year = {2012}, }

Quokka: Visualising Interactions of Enterprise Software Environment Emulators
Cameron Hine, Jean-Guy Schneider, Jun Han, and Steve Versteeg
(Swinburne University of Technology, Australia; CA Labs, Australia)


@InProceedings{ASE12p379, author = {Cameron Hine and Jean-Guy Schneider and Jun Han and Steve Versteeg}, title = {Quokka: Visualising Interactions of Enterprise Software Environment Emulators}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {379-378}, doi = {}, year = {2012}, }

Communicating Continuous Integration Servers for Increasing Effectiveness of Automated Testing
Stefan Dösinger, Richard Mordinyi, and Stefan Biffl
(TU Vienna, Austria)


@InProceedings{ASE12p383, author = {Stefan Dösinger and Richard Mordinyi and Stefan Biffl}, title = {Communicating Continuous Integration Servers for Increasing Effectiveness of Automated Testing}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {383-382}, doi = {}, year = {2012}, }

GZoltar: An Eclipse Plug-In for Testing and Debugging
José Campos, André Riboira, Alexandre Perez, and Rui Abreu
(University of Porto, Portugal)


@InProceedings{ASE12p387, author = {José Campos and André Riboira and Alexandre Perez and Rui Abreu}, title = {GZoltar: An Eclipse Plug-In for Testing and Debugging}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {387-386}, doi = {}, year = {2012}, }

Semantic Patch Inference
Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, and Siau-Cheng Khoo
(University of Copenhagen, Denmark; National University of Singapore, Singapore; Singapore Management University, Singapore; INRIA, France)


@InProceedings{ASE12p391, author = {Jesper Andersen and Anh Cuong Nguyen and David Lo and Julia L. Lawall and Siau-Cheng Khoo}, title = {Semantic Patch Inference}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2012}, }

REInDetector: A Framework for Knowledge-Based Requirements Engineering
Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, and John Grundy
(Swinburne University of Technology, Australia)


@InProceedings{ASE12p395, author = {Tuong Huan Nguyen and Bao Quoc Vo and Markus Lumpe and John Grundy}, title = {REInDetector: A Framework for Knowledge-Based Requirements Engineering}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {395-394}, doi = {}, year = {2012}, }

Doctoral Symposium

Formal Verification Techniques for Model Transformations Specified By-Demonstration
Sebastian Gabmeyer
(TU Vienna, Austria)


@InProceedings{ASE12p399, author = {Sebastian Gabmeyer}, title = {Formal Verification Techniques for Model Transformations Specified By-Demonstration}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {399-398}, doi = {}, year = {2012}, }

A Model-Driven Parser Generator with Reference Resolution Support
Luis Quesada
(University of Granada, Spain)


@InProceedings{ASE12p403, author = {Luis Quesada}, title = {A Model-Driven Parser Generator with Reference Resolution Support}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {403-402}, doi = {}, year = {2012}, }

Property-Preserving Program Refinement
Yosuke Yamamoto
(University of Saskatchewan, Canada)


@InProceedings{ASE12p407, author = {Yosuke Yamamoto}, title = {Property-Preserving Program Refinement}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {407-406}, doi = {}, year = {2012}, }

Predicting Software Complexity by Means of Evolutionary Testing
Ana Filipa Nogueira
(University of Coimbra, Portugal)


@InProceedings{ASE12p411, author = {Ana Filipa Nogueira}, title = {Predicting Software Complexity by Means of Evolutionary Testing}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {411-410}, doi = {}, year = {2012}, }

Identifying Refactoring Sequences for Improving Software Maintainability
Panita Meananeatra
(Thammasat University, Thailand; National Electronics and Computer Technology Center, Thailand)


@InProceedings{ASE12p415, author = {Panita Meananeatra}, title = {Identifying Refactoring Sequences for Improving Software Maintainability}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {415-414}, doi = {}, year = {2012}, }

proc time: 0.77