VIBeS

• Introduction
• Project description
• Usage
  • Model def.
  • Test case selection
  • Mutation
• Publications
  • Stat. Prioritization
  • Cov. SPL Behav. with Sampled Config.
  • SB Sim.-driven Selection
  • Feat. Mutants Model
  • ALE vs. Sim for Mut. Equiv.
• Contact

Case studies

• Aero UC5
• Claroline
• Card payment terminal
• Minepump
• Soda vending machine
• Wordpress

Project Documentation

• Project Information
• Project Reports