1
Assuntos:
“...Concurrent programming...”
Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs
Tese
2
Assuntos:
“...Property-based testing...”
Strategies for testing and formalizing properties of modern programming languages
Tese
3
Assuntos:
“...Concurrent programs...”
Structural testing criteria for concurrent programs considering loop execution
Dissertação
4
Assuntos:
“...Concurrent programming...”
Teste de mutação aplicado a programas concorrentes em MPI
Dissertação
5
Assuntos:
“...Aspect-oriented programming...”
Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização
Dissertação
6
Assuntos:
“...Aspect-oriented programming...”
Teste de integração contextual de programas orientados a objetos e a aspectos: critérios e automação
Dissertação
7
Assuntos:
“...Concurrent programming...”
Um framework para avaliação sistemática de técnicas de teste no contexto de programação concorrente
Tese
8
Assuntos:
“...Concurrent programming...”
Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhada
Dissertação
9
Assuntos:
“...Aspect-oriented programming...”
Teste estrutural de integração contextual de programas orientados a objetos e a aspectos
Dissertação
10
Assuntos:
“...Aspect-oriented programming...”
Teste estrutural de integração de programas orientados a aspectos: uma abordagem baseada em conjuntos de junção para AspectJ
Tese
11
Assuntos:
“...Aspect-oriented programming...”
Uma contribuição para a minimização do número de stubs no teste de integração de programas orientados a aspectos
Tese
12
Assuntos:
“...Object-oriented programming...”
Avaliação de conjuntos de testes funcionais no contexto de programas orientados a objetos e programas orientados a aspectos
Dissertação
13
Assuntos:
“...Oriented programming objects/aspects...”
Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação
Dissertação
14
Assuntos:
“...Object-oriented logic programming...”
MODELOG : model-oriented development with executable logical object generation
Tese
15
Assuntos:
“...Concurrent programming...”
Evidências sobre o uso de técnicas de geração automática de dados de teste em programas concorrentes
Dissertação
16
Assuntos:
“...Concurrent programs...”
Teste estrutural de programas concorrentes como uma composição de serviços na Web
Dissertação
17
Assuntos:
“...Concurrent programs...”
Geração automática de dados de teste para programas concorrrentes com meta-heurística
Dissertação
18
Assuntos:
“...Software testing. Problem-oriented programming. Teaching methodology...”
POPT: uma abordagem de ensino de programação orientada a problema e testes
Dissertação
19
Assuntos:
“...Programming paradigm...”
Teste de mutação nos paradigmas procedimental e oo: uma avaliação no contexto de estrutura de dados
Dissertação
20
Assuntos:
“...Problem Oriented Programming (POP)...”
Programação orientada ao problema: uma metodologia para entendimento de problemas e especificação no contexto de ensino de programação para iniciantes.
Tese