Produção Nacional
Revisado por pares
Fault Coverage-Driven Incremental Test Generation
2009; Oxford University Press; Volume: 53; Issue: 9 Linguagem: Inglês
10.1093/comjnl/bxp073
ISSN1460-2067
AutoresAdenilso Simão, Alexandre Petrenko,
Tópico(s)Formal Methods in Verification
ResumoJournal Article Fault Coverage-Driven Incremental Test Generation Get access Adenilso Simão, Adenilso Simão * 1Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, São Paulo, Brazil2Centre de recherche informatique de Montreal (CRIM), 550, rue Sherbrooke West, Suite 100, Montreal, Quebec, Canada, H3A 1B9 *Corresponding author: adenilso@icmc.usp.br Search for other works by this author on: Oxford Academic Google Scholar Alexandre Petrenko Alexandre Petrenko 2Centre de recherche informatique de Montreal (CRIM), 550, rue Sherbrooke West, Suite 100, Montreal, Quebec, Canada, H3A 1B9 Search for other works by this author on: Oxford Academic Google Scholar The Computer Journal, Volume 53, Issue 9, November 2010, Pages 1508–1522, https://doi.org/10.1093/comjnl/bxp073 Published: 12 August 2009 Article history Received: 03 February 2009 Revision received: 28 May 2009 Published: 12 August 2009
Referência(s)