enter search term and/or author name
Saba Alimadadi, Sheldon Sequeira, Ali Mesbah, Karthik Pattabiraman
Article No.: 12
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
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
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...
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
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
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...
Haipeng Cai, Raul Santelices, Douglas Thain
Article No.: 18
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
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...