Applying Scrum and Organizational Patterns to Multi Site Software Development
TXM: an Agile HW/SW Development Methodology for Building Medical Devices
Model Checking Embedded C Software Using k-Induction and Invariants
Map2Check Using LLVM and KLEE
Memory Management Test-Case Generation of C Programs using Bounded Model Checking
Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution)
Raimundo da Silva Barreto
H. O. ROCHA
V. FILHO LUCENA
Paulo Romero Martins Maciel
F. T. Cruz
Meuse Nogueira de Oliveira Junior