Formal approaches to software testing and runtime verification

En savoir plus sur le livre

Software validation is a crucial yet costly aspect of modern software production. The FATES/RV 2006 workshop aimed to unite academics and industry professionals to explore formal methods for testing, analyzing programs, and monitoring their execution. These formal approaches encompass various techniques, including theorem proving, model checking, static program analysis, and more, enhancing traditional monitoring methods used in testing and debugging. From 31 submissions, 14 high-quality papers were selected, each undergoing rigorous anonymous reviews. Additionally, the proceedings feature two invited talks from Wolfgang Grieskamp (Microsoft Research) and Oege de Moor (Oxford University). This event marked the first collaboration between the FATES and RV workshops, demonstrating the benefits of integrating these two communities. Previous editions of FATES were held in locations such as Aalborg (2001), Brno (2002), Montreal (2003), and Vienna (2004), often in affiliation with other conferences. Since 2003, the proceedings of FATES have been published by Springer in the LNCS series, reflecting the ongoing commitment to advancing the field through collaborative efforts.