ATOM software
Automation in Software and Verification Technology Research Group at USI
- 2 followers
- Switzerland
- https://bugcounting.net
Popular repositories Loading
-
annotest-subjects
annotest-subjects PublicAn annotated collection of reproducible bugs in Python DNN projects, for experiments in automated test-case generation.
Python 1
Repositories
Showing 10 of 12 repositories
- sludges Public
A Racket teachpack that extends the student languages with additional typed signature features.
- mrracket Public
A script to easily run Racket files created with DrRacket using the command-line Racket REPL.
- byteback Public
- annotest Public
A tool to automatically generating bug-finding inputs for neural network program testing.
- annotest-subjects Public
An annotated collection of reproducible bugs in Python DNN projects, for experiments in automated test-case generation.
Top languages
Loading…
Most used topics
Loading…