Volume 31, Issue 3July 2022Current IssueIssue-in-Progress
L2S: A Framework for Synthesizing the Most Probable Program under a Specification
July 2022, Article No.: 34, pp 1–45https://doi.org/10.1145/3487570

In many scenarios, we need to find the most likely program that meets a specification under a local context, where the local context can be an incomplete program, a partial specification, natural language description, and so on. We call such a problem ...

Open Access
Context- and Fairness-Aware In-Process Crowdworker Recommendation
July 2022, Article No.: 35, pp 1–31https://doi.org/10.1145/3487571

Identifying and optimizing open participation is essential to the success of open software development. Existing studies highlighted the importance of worker recommendation for crowdtesting tasks in order to improve bug detection efficiency, i.e., detect ...

ReCDroid+: Automated End-to-End Crash Reproduction from Bug Reports for Android Apps
July 2022, Article No.: 36, pp 1–33https://doi.org/10.1145/3488244

The large demand of mobile devices creates significant concerns about the quality of mobile applications (apps). Developers heavily rely on bug reports in issue tracking systems to reproduce failures (e.g., crashes). However, the process of crash ...

Verification of Distributed Systems via Sequential Emulation
July 2022, Article No.: 37, pp 1–41https://doi.org/10.1145/3490387

Sequential emulation is a semantics-based technique to automatically reduce property checking of distributed systems to the analysis of sequential programs. An automated procedure takes as input a formal specification of a distributed system, a property ...

Opinion Mining for Software Development: A Systematic Literature Review
July 2022, Article No.: 38, pp 1–41https://doi.org/10.1145/3490388

Opinion mining, sometimes referred to as sentiment analysis, has gained increasing attention in software engineering (SE) studies. SE researchers have applied opinion mining techniques in various contexts, such as identifying developers’ emotions ...

Open Access
Stateful Serverless Computing with Crucial
July 2022, Article No.: 39, pp 1–38https://doi.org/10.1145/3490386

Serverless computing greatly simplifies the use of cloud resources. In particular, Function-as-a-Service (FaaS) platforms enable programmers to develop applications as individual functions that can run and scale independently. Unfortunately, applications ...

Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
July 2022, Article No.: 40, pp 1–38https://doi.org/10.1145/3490953

Statistical analysis is the tool of choice to turn data into information and then information into empirical knowledge. However, the process that goes from data to knowledge is long, uncertain, and riddled with pitfalls. To be valid, it should be ...

On the Faults Found in REST APIs by Automated Test Generation
July 2022, Article No.: 41, pp 1–43https://doi.org/10.1145/3491038

RESTful web services are often used for building a wide variety of enterprise applications. The diversity and increased number of applications using RESTful APIs means that increasing amounts of resources are spent developing and testing these systems. ...

All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions
July 2022, Article No.: 43, pp 1–44https://doi.org/10.1145/3494517

Distributed read atomic transactions are important building blocks of modern cloud databases that magnificently bridge the gap between data availability and strong data consistency. The performance of their transactional reads is particularly critical to ...

Open Access
Industry–Academia Research Collaboration and Knowledge Co-creation: Patterns and Anti-patterns
July 2022, Article No.: 45, pp 1–52https://doi.org/10.1145/3494519

Increasing the impact of software engineering research in the software industry and the society at large has long been a concern of high priority for the software engineering community. The problem of two cultures, research conducted in a vacuum (...

Continuous and Proactive Software Architecture Evaluation: An IoT Case
July 2022, Article No.: 46, pp 1–54https://doi.org/10.1145/3492762

Design-time evaluation is essential to build the initial software architecture to be deployed. However, experts’ assumptions made at design-time are unlikely to remain true indefinitely in systems that are characterized by scale, hyperconnectivity, ...


Currently Not Available icon

Currently Not Available


About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!