Skip to content

Eclipse workspace of the Software Testing and Verification academic course

Notifications You must be signed in to change notification settings

isaacmaffeis/workspace-testing2023

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

Watchers

Forks

Releases

No releases published

Packages

No packages published