Deep Learning (DL) has gained wide attention in recent years. Meanwhile, bugs in DL
systems can lead to serious consequences, and may even threaten human lives. As a result …

Software testing depends on effective oracles. Implicit oracles, such as checks for program
crashes, are widely applicable but narrow in scope. Oracles based on formal specifications …

Using machine learning techniques for constructing automated test oracles have been
successful in recent years. However, existing machine learning based oracles have …

Software systems have become pervasive in everyday life and are the core component of
many crucial activities. An inadequate level of reliability may determine the commercial …

Software systems play a more and more important role in our everyday life. Many relevant
human activities nowadays involve the execution of a piece of software. Software has to be …

Software redundancy is an essential mechanism in engineering. Different forms of
redundant design are the core technology of well-established reliability and fault-tolerant …

In object-oriented evolutionary testing, metaheuristics are employed to select or generate
test data for object-oriented software. Techniques that analyse program structures are …

This PhD thesis proposes a framework to automatically derive test oracles from natural
language specifications. We studied and developed cost-effective techniques to derive …