1
Assuntos:
“...Search based software testing...”
Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs
Tese
2
Assuntos:
“...Path loss model...”
Site Survey-free Indoor Positioning System based on RSSI Diversity and Sequential Least Squares Programming
Tese
3
Assuntos:
“...Property-based testing...”
Strategies for testing and formalizing properties of modern programming languages
Tese
4
Assuntos:
“...Parallel programming...”
Modelo e critérios de teste estrutural para programas CUDA
Tese
5
Assuntos:
“...Programming education...”
A framework for experimental studies on the integration of software testing into programming education
Tese
6
7
Assuntos:
“...Concurrent programming...”
Teste de mutação aplicado a programas concorrentes em MPI
Dissertação
8
Assuntos:
“...Aspect-oriented programming...”
Teste estrutural de integração contextual de programas orientados a objetos e a aspectos
Dissertação
9
10
Assuntos:
“...Software Engineering. Technology Transfer. Diffusion of Innovations. Programming Languages Adoption...”
The epidemics of programming language adoption
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:
“...Multiobjective programming...”
Programação multiobjetivo aplicada ao desenvolvimento de materiais avançados
Dissertação
13
Assuntos:
“...SMartyTesting...”
SMartyTesting : uma abordagem de teste baseado em modelos SMarty para linhas de produto de software
Dissertação
14
Assuntos:
“...Model-driven engineering...”
MODELOG : model-oriented development with executable logical object generation
Tese
15
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
16
Assuntos:
“...Model-based testing...”
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML
Tese
17
Assuntos:
“...Integer linear programming...”
Inversão de forma de onda total baseada em otimização topológica por variável inteira.
Tese
18
Assuntos:
“...Fundamentals of Programming...”
"Ensino integrado de fundamentos de programação e teste de software"
Dissertação
19
Assuntos:
“...Domain-specific programming language...”
OpenMLPerf - graphical domain-specific modeling language for performance testing in web systems
Dissertação
20
Assuntos:
“...Concurrent programming...”
Um framework para avaliação sistemática de técnicas de teste no contexto de programação concorrente
Tese