Packages

  • package root
  • package IVF

    This project is built over the following components

    This project is built over the following components

    • IVF.Model : contains abstract syntax trees and control flow graphs, enables to execute code
    • IVF.Criterion : defines criterion and coverage, useful to test a given program on predefined states set with a criterion
    • IVF.TestGenerator : enables to generate automatically tests from criteria
  • Main
p

root package

package root

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Value Members

  1. object Main extends App

Ungrouped