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

Keynote talk: EasyChair

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

SESSION: Program understanding

Automated analysis of multithreaded programs for performance modeling

Behavioral resource-aware model inference

Targeted test input generation using symbolic-concrete backward execution

Discriminating influences among instructions in a dynamic slice

Dompletion: DOM-aware JavaScript code completion

SESSION: Testing I

Continuous test generation: enhancing continuous integration with automated test generation

Leveraging existing tests in automated test generation for web applications

Automated unit test generation for classes with environment dependencies

Finding HTML presentation failures using image comparison techniques

Accelerated test execution using GPUs

SESSION: Data mining I

Seeking the user interface

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

An empirical study on reducing omission errors in practice

Fusion fault localizers

SESSION: Variability and configuration

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

PrefFinder: getting the right preference in configurable software systems

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

SESSION: Abstraction

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

Symbolic state validation through runtime data

Verifying self-adaptive applications suffering uncertainty

SESSION: Components

Automated synthesis and deployment of cloud applications

Concurrent transformation components using contention context sensors

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

SESSION: Symbolic execution I

symMMU: symbolically executed runtime libraries for symbolic memory access

Evaluation of string constraint solvers in the context of symbolic execution

Incremental symbolic execution for automated test suite maintenance

SESSION: Transformations I

Program analysis for secure big data processing

Multi-objective optimization in rule-based design space exploration

Understanding performance stairs: elucidating heuristics

SESSION: Change management

Fine-grained and accurate source code differencing

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

Recommendation system for software refactoring using innovization and interactive dynamic optimization

Recommending refactorings based on team co-maintenance patterns

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

Automating regression verification


An empirical evaluation and comparison of manual and automated test selection

Taming test inputs for separation assurance

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

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

SESSION: Product lines

Scaling exact multi-objective combinatorial optimization by parallelization

42 variability bugs in the linux kernel: a qualitative analysis

Automating the formalization of product comparison matrices

Tracking load-time configuration options

SESSION: Data mining II

Statistical learning approach for mining API usage mappings for code migration

Compatibility testing using patterns-based trace comparison

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

Constructing adaptive configuration dialogs using crowd data

SESSION: Analysis of web applications

Validating ajax applications using a delay-based mutation technique

Static, lightweight includes resolution for PHP

Information flows as a permission mechanism

SESSION: Model-driven engineering

Improving the accuracy of oracle verdicts through automated model steering

Automated domain-specific C verification with mbeddr

Pattern-based auto-completion of UML modeling activities

Abstraction-aware verifying compiler for yet another MDD

SESSION: Symbolic execution II

Docovery: toward generic automatic document recovery

Exact and approximate probabilistic symbolic execution for nondeterministic programs

Derailer: interactive security analysis for web applications

SESSION: Specification and debugging

Tracking down root causes of defects in simulink models

The confidence in our k-tails

Localization of concurrency bugs using shared memory access pairs

Towards self-healing smartphone software via automated patching

Minimal strongly unsatisfiable subsets of reactive system specifications

SESSION: Transformations II

Droidmarking: resilient software watermarking for impeding android application repackaging

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

SESSION: Human factors

Using visual dataflow programming for interactive model comparison

NeedFeed: taming change notifications by modeling code relevance

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

Resilient user interface level tests

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

PiE: programming in eliza

SESSION: Verification

Search-based inference of polynomial metamorphic relations

A dynamic analysis to support object-sharing code refactorings

Language fuzzing using constraint logic programming

Tracing software build processes to uncover license compliance inconsistencies

Automatic verification of interactions in asynchronous systems with unbounded buffers

SESSION: Requirements engineering

Towards an intelligent domain-specific traceability solution

Automated requirements analysis for a molecular watchdog timer

Formalisation of the integration of behavior trees

Automatic early defects detection in use case documents

SESSION: Bug localization

SymCrash: selective recording for reproducing crashes

Potential biases in bug localization: do they matter?

MIMIC: locating and understanding bugs by analyzing mimicked executions


Workspace updates of visual models

Meta-Model validation and verification with MetaBest

A web based UML modeling tool with touch screens

SeSAME: modeling and analyzing high-quality service compositions

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

Firecrow: a tool for web application analysis and reus

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

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

8Cage: lightweight fault-based test generation for simulink

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

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

DupFinder: integrated tool support for duplicate bug report detection

SESSION: Doctoral symposium

Model-driven development of content management systems based on Joomla

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

Utilizing feature location techniques for feature addition and feature enhancement

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

A requirements monitoring infrastructure for systems of systems

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

Issues of automated software composition in AI planning

A proposal for revisiting coverage testing metrics

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

Improvement of applications' stability through robust APIs