Unit and integration testing strategies for C programs using mutation - Vincenzi, Auri Marcelo Rizzo; Maldonado, José Carlos; Barbosa, Ellen Francine; Delamaro, Márcio Eduardo (Software testing, verification and reliability, 2001)