Terkko Navigator / ACM transactions on software engineering and methodology

ACM Transactions on Software Engineering and Methodology (TOSEM) Volume 30 Issue 2, December 2020 (Issue-in-Progress)

Enabledness-based Testing of Object Protocols

Test Selection for Deep Learning Systems

History-based Model Repair Recommendations

Adversarial Specification Mining

Test Data Generation for Path Coverage of MPI Programs Using SAEO

Killing Stubborn Mutants with Symbolic Execution

ACM Transactions on Software Engineering and Methodology (TOSEM) Volume 30 Issue 1, December 2020 (Issue-in-Progress)

Mastering Variation in Human Studies: The Role of Aggregation

Uncertainty-wise Requirements Prioritization with Search

Automated Patch Transplantation

RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces

An Empirical Study of Developer Discussions in the Gitter Platform

A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions

SEADS: Scalable and Cost-effective Dynamic Dependence Analysis of Distributed Systems via Reinforcement Learning

Technical Q8A Site Answer Recommendation via Question Boosting