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
  • About
  • Plugin Management
  • Distribution Management
  • Dependency Information
  • Dependency Convergence
  • Source Repository
  • Mailing Lists
  • Issue Tracking
  • Continuous Integration
  • Project Plugins
  • Project License
  • Project Modules
  • Project Team
  • Project Summary
  • Dependencies
• Project Reports