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 …

Research in black-box testing has produced impressive results in the past 40 years,
addressing many aspects of the problem that span from integration with the development …

Considerable progress has been made towards automatic support for one of the principal
techniques available to enhance program reliability: equipping programs with extensive …

Automating the process of software testing is a very popular research topic and of real
interest to industry. Test automation can take part on different levels, eg, test execution, test …

With formal techniques becoming more and more powerful, the next big challenge is making
software verification practical and usable. The Eve verification environment contributes to …

Random testing (RT) has been identified as one of the most popular testing techniques, due
to its simplicity and ease of automation. Adaptive random testing (ART) has been proposed …

Random testing is a software testing technique through which programs are tested by
generating and executing random inputs. Because of its unstructured nature, it is difficult to …

Automatic program repair usually relies heavily on test cases for both bug identification and
fix validation. The issue is that writing test cases is tedious, running them takes much time …

A successful automated program proof is, in software verification, the ultimate triumph. In
practice, however, the road to such success is paved with many failed proof attempts. Unlike …

Automated random testing has shown to be an effective approach to finding faults but still
faces a major unsolved issue: how to generate test inputs diverse enough to find many faults …