Structural testing for semaphore-based multithread programs.

• Processo: 08/01319-2
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Exterior
• Data de Início da vigência: 23 de junho de 2008
• Data de Término da vigência: 25 de junho de 2008
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Simone Do Rocio Senger de Souza
• Beneficiário: Simone Do Rocio Senger de Souza
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Assunto(s): Computação paralela Computação distribuída
• Palavra(s)-Chave do Pesquisador: Computacao Distribuida | Memoria Compartilhada | Modelo De Teste | Teste De Programas Paralelos | computação paralela