Interpretation Based Program Testing

In many respects, hypothesis testing in the minimalist program is not very different from what it is for anything that aspires to be a scientific theory of an observable natural phenomenon. The normal practices of science should inevitably apply. Nevertheless, it is true that different sorts of natural phenomena present somewhat different opportunities and challenges, and this may cause good sc...

The effectiveness of black-box system testing can be increased by automatic program verification techniques. For example, the redundancy of a test case can be detected by static analysis; the analysis must be applied to a program in the ‘whitebox’ layer of the system under test (e.g., in the setting of GUI testing, to the program which defines the event handlers). We will investigate the questi...