Thesiss

Detecting computational states of a program, where safety requirements have been violated, is the main task of a software tester. We focus on three critical safety requirements. First, finding maximum stack usage in event-based systems, in order to avoid stack overflow. Second a…