Testing involves examining the behaviour of a system in order to discover potential faults.
Given an input for a system, the challenge of distinguishing the corresponding desired …

Software verification has emerged as a key concern for ensuring the continued progress of
information technology. Full verification generally requires, as a crucial step, equip** each …

Despite decades of work by researchers and practitioners on numerous software quality
assurance techniques, testing remains one of the most widely practiced and studied …

Testing involves examining the behaviour of a system in order to discover potential faults.
Determining the desired correct behaviour for a given input is called the “oracle problem” …

Application Programming Interface (API) documents are a typical way of describing legal
usage of reusable software libraries, thus facilitating software reuse. However, even with …

The effectiveness of a test suite in detecting faults highly depends on the quality of its test
oracles. Large Language Models (LLMs) have demonstrated remarkable proficiency in …

We describe techniques for synthesis and verification of recursive functional programs over
unbounded domains. Our techniques build on top of an algorithm for satisfiability modulo …

The Art and Science of Analyzing Software Data provides valuable information on analysis
techniques often used to derive insight from software data. This book shares best practices …

Many techniques on automated fault localization (AFL) have been introduced to assist
developers in debugging. Prior studies evaluate the localization technique from the …

Work on automated test generation has produced several tools capable of generating test
data which achieves high structural coverage over a program. In the absence of a …