Skip to content
@atom-sw

ATOM software

Automation in Software and Verification Technology Research Group at USI

Popular repositories

  1. fauxpy fauxpy Public

    An automated fault localization tool for Python programs.

    Python 16 1

  2. byteback byteback Public

    Java 4

  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 8 of 8 repositories
  • byteback Public
    Java 4 GPL-3.0 0 0 0 Updated Apr 26, 2024
  • mrracket Public

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

    Shell 1 GPL-3.0 0 0 0 Updated Sep 6, 2023
  • fauxpy Public

    An automated fault localization tool for Python programs.

    Python 16 MIT 1 0 0 Updated Jul 28, 2023
  • annotest-subjects Public

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

    Python 1 GPL-3.0 0 0 0 Updated Jul 21, 2023
  • fauxpy-experiments Public

    The replication package of paper "An Empirical Study of Fault Localization in Python Programs" by Mohammad Rezaalipour and Carlo A. Furia.

    Shell 1 GPL-3.0 0 0 0 Updated Jul 17, 2023
  • annotest Public

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

    Python 2 GPL-3.0 0 0 0 Updated Jul 17, 2023
  • fauxpy-examples Public

    Running FauxPy on some simple examples.

    Python 0 GPL-3.0 0 0 0 Updated Jul 9, 2023
  • r-arr Public

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

    R 1 0 0 0 Updated Jun 13, 2023

Top languages

Loading…

Most used topics

Loading…