VIBeS University of Namur

Last Published: 2016-10-24  | Version: 1.1.6-SNAPSHOT
FTS | TVL | PReCISE | UNamur

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
PReCISE

Copyright © 2014–2016 PReCISE, University of Namur. All rights reserved.