Skip to content
@naustarg

Northern Arizona University Software Testing and Analysis Research Group

NAU software testing/static analysis group

Pinned Loading

  1. coverage-gaps coverage-gaps Public

    Forked from agroce/coverage-gaps

    analysis of coverage gap data from ASE paper

    Python

  2. deepstate deepstate Public

    Forked from trailofbits/deepstate

    A unit test-like interface for fuzzing and symbolic execution

    C

  3. hddRASS hddRASS Public

    Forked from amchristi/hddRASS

    Java

  4. testfs testfs Public

    Forked from agroce/testfs

    DeepState testing for TestFS, a user level toy file system that is similar to ext3

    C

  5. tstl tstl Public

    Forked from agroce/tstl

    Template Scripting Testing Language tool: automated test generation for Python

    Python

  6. universalmutator universalmutator Public

    Forked from agroce/universalmutator

    Regexp based tool for mutating generic source code across numerous languages

    Python

Repositories

Showing 8 of 8 repositories
  • testfs Public Forked from agroce/testfs

    DeepState testing for TestFS, a user level toy file system that is similar to ext3

    naustarg/testfs’s past year of commit activity
    C 0 2 0 0 Updated Oct 1, 2018
  • deepstate Public Forked from trailofbits/deepstate

    A unit test-like interface for fuzzing and symbolic execution

    naustarg/deepstate’s past year of commit activity
    C 0 Apache-2.0 103 0 0 Updated Sep 30, 2018
  • coverage-gaps Public Forked from agroce/coverage-gaps

    analysis of coverage gap data from ASE paper

    naustarg/coverage-gaps’s past year of commit activity
    Python 0 1 0 0 Updated Sep 13, 2018
  • tstl Public Forked from agroce/tstl

    Template Scripting Testing Language tool: automated test generation for Python

    naustarg/tstl’s past year of commit activity
    Python 0 25 0 0 Updated Aug 22, 2018
  • universalmutator Public Forked from agroce/universalmutator

    Regexp based tool for mutating generic source code across numerous languages

    naustarg/universalmutator’s past year of commit activity
    Python 0 29 0 0 Updated Jul 16, 2018
  • cbmcmutate Public Forked from agroce/cbmcmutate

    mutation testing meets model checking

    naustarg/cbmcmutate’s past year of commit activity
    Python 0 3 0 0 Updated May 21, 2018
  • hddRASS Public Forked from amchristi/hddRASS
    naustarg/hddRASS’s past year of commit activity
    Java 0 1 0 0 Updated Jan 28, 2018
  • swarmed_tools Public Forked from agroce/swarmed_tools

    Swarmed versions of random testing tools

    naustarg/swarmed_tools’s past year of commit activity
    JavaScript 0 2 0 0 Updated Mar 29, 2015

Top languages

Loading…

Most used topics

Loading…