Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/isaacmaffeis/workspace-testing2023
Eclipse workspace of the Software Testing and Verification academic course
https://github.com/isaacmaffeis/workspace-testing2023
asmeta codecoverage java openjml testing
Last synced: 9 days ago
JSON representation
Eclipse workspace of the Software Testing and Verification academic course
- Host: GitHub
- URL: https://github.com/isaacmaffeis/workspace-testing2023
- Owner: isaacmaffeis
- Created: 2023-03-13T22:01:17.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2023-10-12T16:01:47.000Z (over 1 year ago)
- Last Synced: 2024-11-12T23:17:15.945Z (2 months ago)
- Topics: asmeta, codecoverage, java, openjml, testing
- Language: Java
- Homepage:
- Size: 15 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# 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