Test Adequacy Criteria Based on Inductive Inference of the Specification

Jorge Triñanes, Diego Vallespir. Test Adequacy Criteria Based on Inductive Inference of the Specification. In Beatriz Marín, Isabel Sofia Brito, Miguel Katrib Mora, Andreia Malucelli, Estefanía Serral, Giovanni Giachetti, João Araújo 0001, Miguel Goulão, Claudia P. Ayala, Marcela Genero, Vitor Silva Souza, editors, Proceedings of the XXII Iberoamerican Conference on Software Engineering, CIbSE 2019, La Habana, Cuba, April 22-26, 2019. pages 155-168, Curran Associates, 2019.

Abstract

Abstract is missing.