Deductive verifiers require intensive user interaction in the form of writing precise
specifications, thereby limiting their use in practice. While many solutions have been …

With the increasing release of powerful language models trained on large code corpus (eg
CodeBERT was trained on 6.4 million programs), a new family of mutation testing tools has …

Software Testing is a quality control activity that, in addition to finding flaws or bugs, provides
confidence in the software's correctness. The quality of the developed software depends on …

Developers are often faced with the challenge of writing high-quality code while meeting
strong time constraints. Recent literature exploits Deep Learning (DL) models to support …