Study and Implementation of the Mechanisms for determination of the infeasible elements in context of Structural Testing of the Concurrent Programs.

• Grant number: 10/05237-0
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: July 01, 2010
• End date: June 30, 2011
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Adenilso da Silva Simão
• Grantee: Laércio da Cruz Asano Júnior
• Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil