Characterization sets independent methods for test case generation

• Grant number: 08/07969-9
• Support Opportunities: Scholarships in Brazil - Master
• Start date: March 01, 2009
• End date: July 31, 2010
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Theory of Computation
• Principal Investigator: Arnaldo Vieira Moura
• Grantee: Lehilton Lelis Chaves Pedrosa
• Host Institution: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

CHAVES PEDROSA, LEHILTON LELIS; MOURA, ARNALDO VIEIRA. Incremental testing of finite state machines. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 23, n. 8, p. 585-612, DEC 2013. (08/07969-9)

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

PEDROSA, Lehilton Lelis Chaves. Automatic test case generation for finite state machines. 2010. Master's Dissertation - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.