Skip to content
@atom-sw

ATOM software

Automation in Software and Verification Technology Research Group at USI

Popular repositories Loading

  1. fauxpy fauxpy Public

    An automated fault localization tool for Python programs.

    Python 25 2

  2. byteback byteback Public

    Java 6

  3. annotest annotest Public

    A tool to automatically generating bug-finding inputs for neural network program testing.

    Python 2

  4. mrracket mrracket Public

    A script to easily run Racket files created with DrRacket using the command-line Racket REPL.

    Shell 1

  5. annotest-subjects annotest-subjects Public

    An annotated collection of reproducible bugs in Python DNN projects, for experiments in automated test-case generation.

    Python 1

  6. r-arr r-arr Public

    R scripts to generate replication packages of statistical analyses done in R.

    R 1

Repositories

Showing 9 of 9 repositories

Top languages

Loading…

Most used topics

Loading…