ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 25 Issue 2, May 2016

Editorial
David S. Rosenblum
Article No.: 11
DOI: 10.1145/2904898

Understanding JavaScript Event-Based Interactions with Clematis
Saba Alimadadi, Sheldon Sequeira, Ali Mesbah, Karthik Pattabiraman
Article No.: 12
DOI: 10.1145/2876441

Web applications have become one of the fastest-growing types of software systems today. Despite their popularity, understanding the behavior of modern web applications is still a challenging endeavor for developers during development and...

Inflow and Retention in OSS Communities with Commercial Involvement: A Case Study of Three Hybrid Projects
Minghui Zhou, Audris Mockus, Xiujuan Ma, Lu Zhang, Hong Mei
Article No.: 13
DOI: 10.1145/2876443

Motivation: Open-source projects are often supported by companies, but such involvement often affects the robust contributor inflow needed to sustain the project and sometimes prompts key contributors to leave. To capture user innovation...

Concurrency Debugging with Differential Schedule Projections
Nuno Machado, Daniel Quinta, Brandon Lucia, Luís Rodrigues
Article No.: 14
DOI: 10.1145/2885495

We present Symbiosis: a concurrency debugging technique based on novel differential schedule projections (DSPs). A DSP shows the small set of memory operations and dataflows responsible for a failure, as well as a reordering of those...

Control Explicit--Data Symbolic Model Checking
Petr Bauch, Vojtěch Havel, Jiří Barnat
Article No.: 15
DOI: 10.1145/2888393

Automatic verification of programs and computer systems with data nondeterminism (e.g., reading from user input) represents a significant and well-motivated challenge. The case of parallel programs is especially difficult, because then also the...

Less is More: Estimating Probabilistic Rewards over Partial System Explorations
Esteban Pavese, Víctor Braberman, Sebastian Uchitel
Article No.: 16
DOI: 10.1145/2890494

Model-based reliability estimation of systems can provide useful insights early in the development process. However, computational complexity of estimating metrics such as mean time to first failure (MTTFF), turnaround time (TAT), or other...

SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization
Robert M. Hierons, Miqing Li, Xiaohui Liu, Sergio Segura, Wei Zheng
Article No.: 17
DOI: 10.1145/2897760

A feature model specifies the sets of features that define valid products in a software product line. Recent work has considered the problem of choosing optimal products from a feature model based on a set of user preferences, with this being...

DiaPro: Unifying Dynamic Impact Analyses for Improved and Variable Cost-Effectiveness
Haipeng Cai, Raul Santelices, Douglas Thain
Article No.: 18
DOI: 10.1145/2894751

Impact analysis not only assists developers with change planning and management, but also facilitates a range of other client analyses, such as testing and debugging. In particular, for developers working in the context of specific program...

A Stack Memory Abstraction and Symbolic Analysis Framework for Executables
Kapil Anand, Khaled Elwazeer, Aparna Kotha, Matthew Smithson, Rajeev Barua, Angelos Keromytis
Article No.: 19
DOI: 10.1145/2897511

This article makes three contributions regarding reverse-engineering of executables. First, techniques are presented for recovering a precise and correct stack-memory model in executables while addressing executable-specific challenges such as...