Structural testing for semaphore-based multithread programs.

• Grant number: 08/01319-2
• Support Opportunities: Research Grants - Meeting - Abroad
• Duration: June 23, 2008 - June 25, 2008
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computer Systems
• Principal Investigator: Simone Do Rocio Senger de Souza
• Grantee: Simone Do Rocio Senger de Souza
• Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil