Extensive research and development has produce mutation tools for languages such as Fortran, Ada, C, and IDL; empirical evaluations comparing mutation with othe

This volume contains the proceedings of the 16th IFIP TC6/WG6.1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2004). This conference was

Software engineering requires specialized knowledge of a broad spectrum of topics, including the construction of software and the platforms, applications, and e

This volume is a collection of articles on reliability and safety engineering presented during INCRS 2018. The articles cover a variety of topics such as big da

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on For