Skip to content

About

Eclipse workspace of the Software Testing and Verification academic course

Topics

Resources

Stars

0 stars

Watchers

1 watching

Forks

Repository files navigation

workspace-testing2023

Eclipse workspace of the Software Testing and Verification academic course

  • exe1: program-based testing, Codecover
  • exe2: program-based verification, JML
  • ASMETA (Abstract State Machine Metamodel): Model-verification

About

Eclipse workspace of the Software Testing and Verification academic course

Topics

Resources

Stars

0 stars

Watchers

1 watching

Forks

Releases

Packages

Contributors

Languages