ASE '14- Proceedings of the 29th ACM/IEEE international conference on Automated software engineering

Full Citation in the ACM Digital Library

SESSION: Keynotes

Keynote talk: the logic of information design

• Luciano Floridi

Keynote talk: EasyChair

• Andrei Voronkov

Keynote talk: experiences from developing industrial software systems with long lifecycles

• Magnus Larsson

SESSION: Program understanding

Automated analysis of multithreaded programs for performance modeling

• Alexander Tarvo
• Steven P. Reiss

Behavioral resource-aware model inference

• Tony Ohmann
• Michael Herzberg
• Sebastian Fiss
• Armand Halbert
• Marc Palyart
• Ivan Beschastnikh
• Yuriy Brun

Targeted test input generation using symbolic-concrete backward execution

• Peter Dinges
• Gul Agha

Discriminating influences among instructions in a dynamic slice

• Vijay Krishna Palepu
• James A. Jones

Dompletion: DOM-aware JavaScript code completion

• Kartik Bajaj
• Karthik Pattabiraman
• Ali Mesbah

SESSION: Testing I

Continuous test generation: enhancing continuous integration with automated test generation

• José Carlos Medeiros de Campos
• Andrea Arcuri
• Gordon Fraser
• Rui Filipe Lima Maranhão de Abreu

Leveraging existing tests in automated test generation for web applications

• Amin Milani Fard
• Mehdi Mirzaaghaei
• Ali Mesbah

Automated unit test generation for classes with environment dependencies

• Andrea Arcuri
• Gordon Fraser
• Juan Pablo Galeotti

Finding HTML presentation failures using image comparison techniques

• Sonal Mahajan
• William G.J. Halfond

Accelerated test execution using GPUs

• Ajitha Rajan
• Subodh Sharma
• Peter Schrammel
• Daniel Kroening

SESSION: Data mining I

Seeking the user interface

• Steven P. Reiss

Interrogative-guided re-ranking for question-oriented software text retrieval

• Ting Ye
• Bing Xie
• Yanzhen Zou
• Xiuzhao Chen

An empirical study on reducing omission errors in practice

• Jihun Park
• Miryung Kim
• Doo-Hwan Bae

Fusion fault localizers

• Lucia
• David Lo
• Xin Xia

SESSION: Variability and configuration

Automated variability analysis and testing of an E-commerce site.: an experience report

• Sergio Segura
• Ana B. Sánchez
• Antonio Ruiz-Cortés

PrefFinder: getting the right preference in configurable software systems

• Dongpu Jin
• Myra B. Cohen
• Xiao Qu
• Brian Robinson

MiL testing of highly configurable continuous controllers: scalable search using surrogate models

• Reza Matinnejad
• Shiva Nejati
• Lionel Briand
• Thomas Brcukmann

SESSION: Abstraction

Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction

• Markus Kusano
• Chao Wang

Symbolic state validation through runtime data

• Yueqi Li
• Shing Chi Cheung

Verifying self-adaptive applications suffering uncertainty

• Wenhua Yang
• Chang Xu
• Yepang Liu
• Chun Cao
• Xiaoxing Ma
• Jian Lu

SESSION: Components

Automated synthesis and deployment of cloud applications

• Roberto Di Cosmo
• Michael Lienhardt
• Ralf Treinen
• Stefano Zacchiroli
• Jakub Zwolakowski
• Antoine Eiche
• Alexis Agahi

Concurrent transformation components using contention context sensors

• Erik Österlund
• Welf Löwe

Assigning time budgets to component functions in the design of time-critical automotive systems

• Ernest Wozniak
• Marco Di Natale
• Haibo Zeng
• Chokri Mraidha
• Sara Tucci-Piergiovanni
• Sebastien Gerard

SESSION: Symbolic execution I

symMMU: symbolically executed runtime libraries for symbolic memory access

• Anthony Romano
• Dawson R. Engler

Evaluation of string constraint solvers in the context of symbolic execution

• Scott Kausler
• Elena Sherman

Incremental symbolic execution for automated test suite maintenance

• Sarmad Makhdoom
• Muhammad Adeel Khan
• Junaid Haroon Siddiqui

SESSION: Transformations I

Program analysis for secure big data processing

• Julian James Stephen
• Savvas Savvides
• Russell Seidel
• Patrick Eugster

Multi-objective optimization in rule-based design space exploration

• Hani Abdeen
• Dániel Varró
• Houari Sahraoui
• András Szabolcs Nagy
• Csaba Debreceni
• Ábel Hegedüs
• Ákos Horváth

Understanding performance stairs: elucidating heuristics

• Bryan Marker
• Don Batory
• Robert van de Geijn

SESSION: Change management

Fine-grained and accurate source code differencing

• Jean-Rémy Falleri
• Floréal Morandat
• Xavier Blanc
• Matias Martinez
• Martin Montperrus

Combining rule-based and information retrieval techniques to assign software change requests

• Yguaratã Cerqueira Cavalcanti
• Ivan do Carmo Machado
• Paulo A. da Mota S. Neto
• Eduardo Santana de Almeida
• Silvio Romero de Lemos Meira

Recommendation system for software refactoring using innovization and interactive dynamic optimization

• Mohamed Wiem Mkaouer
• Marouane Kessentini
• Slim Bechikh
• Kalyanmoy Deb
• Mel Ó Cinnéide

Recommending refactorings based on team co-maintenance patterns

• Gabriele Bavota
• Sebastiano Panichella
• Nikolaos Tsantalis
• Massimiliano Di Penta
• Rocco Oliveto
• Gerardo Canfora

Diver: precise dynamic impact analysis using dependence-based trace pruning

• Haipeng Cai
• Raul Santelices

Automating regression verification

• Dennis Felsing
• Sarah Grebing
• Vladimir Klebanov
• Philipp Rümmer
• Mattias Ulbrich

SESSION: Testing II

An empirical evaluation and comparison of manual and automated test selection

• Milos Gligoric
• Stas Negara
• Owolabi Legunsen
• Darko Marinov

Taming test inputs for separation assurance

• Dimitra Giannakopoulou
• Falk Howar
• Malte Isberner
• Todd Lauderdale
• Zvonimir Rakamarić
• Vishwanath Raman

Transferring an automated test generation tool to practice: from pex to fakes and code digger

• Nikolai Tillmann
• Jonathan de Halleux
• Tao Xie

Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation

• Mark Harman
• Yue Jia
• Pedro Reales Mateo
• Macario Polo

SESSION: Product lines

Scaling exact multi-objective combinatorial optimization by parallelization

• Jianmei Guo
• Edward Zulkoski
• Rafael Olaechea
• Derek Rayside
• Krzysztof Czarnecki
• Sven Apel
• Joanne M. Atlee

42 variability bugs in the linux kernel: a qualitative analysis

• Iago Abal
• Claus Brabrand
• Andrzej Wasowski

Automating the formalization of product comparison matrices

• Guillaume Bécan
• Nicolas Sannier
• Mathieu Acher
• Olivier Barais
• Arnaud Blouin
• Benoit Baudry

Tracking load-time configuration options

• Max Lillack
• Christian Kästner
• Eric Bodden

SESSION: Data mining II

Statistical learning approach for mining API usage mappings for code migration

• Anh Tuan Nguyen
• Hoan Anh Nguyen
• Tung Thanh Nguyen
• Tien N. Nguyen

Compatibility testing using patterns-based trace comparison

• Venkatesh-Prasad Ranganath
• Pradip Vallathol
• Pankaj Gupta

Personas in the middle: automated support for creating personas as focal points in feature gathering forums

• Mona Rahimi
• Jane Cleland-Huang

Constructing adaptive configuration dialogs using crowd data

• Saeideh Hamidi
• Periklis Andritsos
• Sotirios Liaskos

SESSION: Analysis of web applications

Validating ajax applications using a delay-based mutation technique

• Yuta Maezawa
• Kazuki Nishiura
• Hironori Washizaki
• Shinichi Honiden

Static, lightweight includes resolution for PHP

• Mark Hills
• Paul Klint
• Jurgen J. Vinju

Information flows as a permission mechanism

• Feng Shen
• Namita Vishnubhotla
• Chirag Todarka
• Mohit Arora
• Babu Dhandapani
• Eric John Lehner
• Steven Y. Ko
• Lukasz Ziarek

SESSION: Model-driven engineering

Improving the accuracy of oracle verdicts through automated model steering

• Gregory Gay
• Sanjai Rayadurgam
• Mats P.E. Heimdahl

Automated domain-specific C verification with mbeddr

• Zaur Molotnikov
• Markus Völter
• Daniel Ratiu

Pattern-based auto-completion of UML modeling activities

• Tobias Kuschke
• Patrick Mäder

Abstraction-aware verifying compiler for yet another MDD

• Naoyasu Ubayashi
• Di Ai
• Peiyuan Li
• Yu Ning Li
• Shintaro Hosoai
• Yasutaka Kamei

SESSION: Symbolic execution II

Docovery: toward generic automatic document recovery

• Tomasz Kuchta
• Cristian Cadar
• Miguel Castro
• Manuel Costa

Exact and approximate probabilistic symbolic execution for nondeterministic programs

• Kasper Luckow
• Corina S. Păsăreanu
• Matthew B. Dwyer
• Antonio Filieri
• Willem Visser

Derailer: interactive security analysis for web applications

• Joseph P. Near
• Daniel Jackson

SESSION: Specification and debugging

Tracking down root causes of defects in simulink models

• Johanna Schneider

The confidence in our k-tails

• Hila Cohen
• Shahar Maoz

Localization of concurrency bugs using shared memory access pairs

• Wenwen Wang
• Zhenjiang Wang
• Chenggang Wu
• Pen-Chung Yew
• Xipeng Shen
• Xiang Yuan
• Jianjun Li
• Xiaobing Feng
• Yong Guan

Towards self-healing smartphone software via automated patching

• Md. Tanzirul Azim
• Iulian Neamtiu
• Lisa M. Marvel

Minimal strongly unsatisfiable subsets of reactive system specifications

• Shigeki Hagihara
• Naoki Egawa
• Masaya Shimakawa
• Naoki Yonezaki

SESSION: Transformations II

Droidmarking: resilient software watermarking for impeding android application repackaging

• Chuangang Ren
• Kai Chen
• Peng Liu

From out-place transformation evolution to in-place model patching

• Alexander Bergmayr
• Javier Troya
• Manuel Wimmer

SESSION: Human factors

Using visual dataflow programming for interactive model comparison

• Rainer Lutz
• Stephan Diehl

NeedFeed: taming change notifications by modeling code relevance

• Rohan Padhye
• Senthil Mani
• Vibha Singhal Sinha

Active code search: incorporating user feedback to improve code search relevance

• Shaowei Wang
• David Lo
• Lingxiao Jiang

Resilient user interface level tests

• Heidar Pirzadeh
• Sara Shanian

Studying task allocation decisions of novice agile teams with data from agile project management tools

• Jun Lin
• Han Yu
• Zhiqi Shen
• Chunyan Miao

PiE: programming in eliza

• Xiao Liu
• Dinghao Wu

SESSION: Verification

Search-based inference of polynomial metamorphic relations

• Jie Zhang
• Junjie Chen
• Dan Hao
• Yingfei Xiong
• Bing Xie
• Lu Zhang
• Hong Mei

A dynamic analysis to support object-sharing code refactorings

• Girish Maskeri Rama
• Raghavan Komondoor

Language fuzzing using constraint logic programming

• Kyle Dewey
• Jared Roesch
• Ben Hardekopf

Tracing software build processes to uncover license compliance inconsistencies

• Sander van der Burg
• Eelco Dolstra
• Shane McIntosh
• Julius Davies
• Daniel M. German
• Armijn Hemel

Automatic verification of interactions in asynchronous systems with unbounded buffers

• Samik Basu
• Tevfik Bultan

SESSION: Requirements engineering

Towards an intelligent domain-specific traceability solution

• Jin Guo
• Natawut Monaikul
• Cody Plepel
• Jane Cleland-Huang

Automated requirements analysis for a molecular watchdog timer

• Samuel J. Ellis
• Eric R. Henderson
• Titus H. Klinge
• James I. Lathrop
• Jack H. Lutz
• Robyn R. Lutz
• Divita Mathur
• Andrew S. Miner

Formalisation of the integration of behavior trees

• Kushal Ahmed
• M.A. Hakim Newton
• Lian Wen
• Abdul Sattar

Automatic early defects detection in use case documents

• Shuang Liu
• Jun Sun
• Yang Liu
• Yue Zhang
• Bimlesh Wadhwa
• Jin Song Dong
• Xinyu Wang

SESSION: Bug localization

SymCrash: selective recording for reproducing crashes

• Yu Cao
• Hongyu Zhang
• Sun Ding

Potential biases in bug localization: do they matter?

• Pavneet Singh Kochhar
• Yuan Tian
• David Lo

MIMIC: locating and understanding bugs by analyzing mimicked executions

• Daniele Zuddas
• Wei Jin
• Fabrizio Pastore
• Leonardo Mariani
• Alessandro Orso

DEMONSTRATION SESSION: Tool demonstration

Workspace updates of visual models

• Timo Kehrer
• Udo Kelter
• Dennis Reuling

Meta-Model validation and verification with MetaBest

• Jesús J. López-Fernández
• Esther Guerra
• Juan de Lara

A web based UML modeling tool with touch screens

• Zhiyi Ma
• Chih-Yi Yeh
• Huihong He
• Hongjie Chen

SeSAME: modeling and analyzing high-quality service compositions

• Svetlana Arifulina
• Sven Walther
• Matthias Becker
• Marie Christin Platenius

MPAnalyzer: a tool for finding unintended inconsistencies in program source code

• Yoshiki Higo
• Shinji Kusumoto

Firecrow: a tool for web application analysis and reus

• Josip Maras
• Maja Štula
• Jan Carlson

HUSACCT: architecture compliance checking with rich sets of module and rule types

• Leo J. Pruijt
• Christian Köppe
• Jan Martijn van der Werf
• Sjaak Brinkkemper

CoCoTest: a tool for model-in-the-loop testing of continuous controllers

• Reza Matinnejad
• Shiva Nejati
• Lionel Briand
• Thomas Brcukmann

8Cage: lightweight fault-based test generation for simulink

• Dominik Holling
• Alexander Pretschner
• Matthias Gemmar

PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing

• Rodrigo M.L.M. Moreira
• Ana C.R. Paiva

A tool chain for generating the description files of highly available software

• Maxime Turenne
• Ali Kanso
• Abdelouahed Gherbi
• Samer Razzook

DupFinder: integrated tool support for duplicate bug report detection

• Ferdian Thung
• Pavneet Singh Kochhar
• David Lo

SESSION: Doctoral symposium

Model-driven development of content management systems based on Joomla

• Dennis Priefer

Determining the most probable root causes of run-time errors in simulink models

• Johanna Schneider

Utilizing feature location techniques for feature addition and feature enhancement

• Joseph T. Burke

AugIR: the conceptual design and evaluation of an augmented interaction room

• Markus Kleffmann

A requirements monitoring infrastructure for systems of systems

• Michael Vierhauser

Embrace your issues: compassing the software engineering landscape using bug reports

• Markus Borg

Issues of automated software composition in AI planning

• Felix Mohr

A proposal for revisiting coverage testing metrics

• Breno Miranda

Variability-aware change impact analysis of multi-language product lines

• Florian Angerer

Improvement of applications' stability through robust APIs

• Maria Kechagia