xdevroey/vibes

Issues

• Fix flaky tests

  #15 opened 6 years ago by xdevroey
  0

• Migrate to latest version of Java

  #14 opened 6 years ago by xdevroey
  0

• Add atomic propositions labels to saved TS files

  #12 opened 6 years ago by xdevroey
  0

• Add test cases for DSL elements in vibes-dsl

  #11 opened 6 years ago by xdevroey
  0

• add tests for test case SML readers and printers

  #10 opened 6 years ago by xdevroey
  0

• Refactor test case selection

  #5 opened 6 years ago by xdevroey
  0

• Add tests for FtsTestCaseDissimilarityComputor

  #7 opened 6 years ago by xdevroey
  0

• Add tests for DissimilarTestCaseGenerator

  #8 opened 6 years ago by xdevroey
  1

• Support FTSs for random test case selection

  #9 opened 6 years ago by xdevroey
  1

• Refactor test case execution

  #4 opened 6 years ago by xdevroey
  1

• Refactor mutation engine

  #6 opened 6 years ago by xdevroey
  0

• Add negative test cases for DefaultTransitionSystem, DefaultFeaturedTransitionSystem, and DefaultUsageModel

  #3 opened 6 years ago by xdevroey
  0

• Provide proper example in vibes-example

  #1 opened 7 years ago by xdevroey
  0