|Sat 6 - Thu 11 April 2019 Prague, Czech Republic|
InterAVT 2019 with ETAPS 2019
Modern verification and testing techniques are highly relevant for industrial software- intensive systems. Recent technological trends (e.g., the new dominating role of software in traditional domains like automotive and aerospace, the arrival of autonomous and “smart” systems in everyday life) only increase the need for industrial-scale robust approaches. Nevertheless, there are still many barriers that hinder ...