Grant: Canada Research Chairs

Software-intensive systems pervade modern society and industry. These systems often play critical roles from an economic, safety or security standpoint, thus making their dependability a requirement. Automated Software Verification and Validation (V&V) is core to ensuring software dependability. The most prevalent V&V technique is testing. Increasingly, we are faced with systems that are untestable, meaning that traditional testing methods are highly expensive, time consuming or infeasible. This research program will address the multitude of research challenges that need to be overcome to test such systems in an automated and effective way.