Investigating of the Structural Testing Effectiveness in Context of Concurrent Programs

• Grant number: 09/04517-2
• Support Opportunities: Scholarships in Brazil - Master
• Effective date (Start): August 01, 2009
• Effective date (End): July 31, 2011
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computer Systems
• Principal Investigator: Adenilso da Silva Simão
• Grantee: Maria Adelina Silva Brito
• Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , 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)

SOUZA, S. R. S.; SOUZA, P. S. L.; BRITO, M. A. S.; SIMAO, A. S.; ZALUSKA, E. J.. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 25, n. 3, SI, p. 310-332, MAY 2015. (10/02839-0, 13/01818-7, 09/04517-2)