Symbolic Execution

23 maio 2016, 17:00 • João Carlos Serrenho Dias Pereira

Presentation of:

• EXE: Automatically Generating Inputs of Death
  
• Klee: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  

Symbolic Execution

23 maio 2016, 15:30 • João Carlos Serrenho Dias Pereira

Presentation of:

• EXE: Automatically Generating Inputs of Death
  
• Klee: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  

Symbolic Execution

23 maio 2016, 14:00 • João Carlos Serrenho Dias Pereira

Presentation of:

• EXE: Automatically Generating Inputs of Death
  
• Klee: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  

Static Analisys and Random Testing

19 maio 2016, 17:00 • João Carlos Serrenho Dias Pereira

Presentation of:

• Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
  
• Adaptive Random Testing
  

Fuzzing Testing

19 maio 2016, 09:30 • João Carlos Serrenho Dias Pereira

Presentation of:

• Automated Whitebox Fuzz Testing
  
• Billions and billions of constraints: whitebox fuzz testing in production