In program debugging, finding a failing run is only the first step; what about correcting the
fault? Can we automate the second task as well as the first? The AutoFix-E tool …

This paper proposes the first mutation-based technique for the repair of Alloy 6 first-order
temporal logic specifications. This technique was developed with the educational context in …

We extend proof automation in an interactive theorem prover to analyze changes in
specifications and proofs. Our approach leverages the history of changes to specifications …

Formal verification has become increasingly crucial in ensuring the accurate and secure
functioning of modern software systems. Given a specification of the desired behaviour, ie a …

Manual deadlock fixing is error-prone and time-consuming. Existing generic approach (GA)
simply inserts gate locks to fix deadlocks by serializing executions, which could introduce …

Testing and debugging have always been the most time-consuming parts of the software
development procedure and require large amounts of human resources. When a bug is …

Abstract Detecting Bug Inducing Commit (BIC) or Just in Time (JIT) defect prediction using
Machine Learning (ML) based models requires tabulated feature values extracted from the …

We present the integration of the AutoFix automated program repair technique into the
EiffelStudio Development Environment. AutoFix presents itself like a recommendation …

It is difficult to fix atomicity violations correctly. Existing gate lock algorithm (GLA) simply
inserts gate locks to serialize exe-cutions, which may introduce performance bugs and …

Concurrency bugs only occur under certain interleaving. Existing randomized techniques
are usually ineffective. PCT innovatively generates scheduling, before executing a program …