Skip to content
View muteria's full-sized avatar
2 followers · 0 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor
Block or Report

Block or report muteria

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
muteria/README.md

MUTERIA (MUlti-Tools and criTERIA framework for automated software testing)

https://github.com/muteria/muteria

Muteria is a Software Analysis/Testing framework that integrate multiple tools. Muteria support tools from various programming languages which are supported by implementing a driver.

Report Sample.

sample

Muteria can be used through:

  • Its API

  • Commnad Line Interface (CLI)

Go to:

For further information and documentation, see the webpage.

Please, find the scientific paper that describes this framework in the following reference

[1] Thierry Titcheu Chekam, Mike Papadakis, and Yves Le Traon. 2020. Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework. In Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test (AST '20). Association for Computing Machinery, New York, NY, USA, 97–100. https://doi.org/10.1145/3387903.3389316

Popular repositories Loading

  1. muteria muteria Public

    Forked from thierry-tct/muteria

    Python 7

  2. example_c example_c Public

    An example of C program to get started with Muteria

    Python

  3. example_python example_python Public

    An example of= Python program to get started with Muteria

    Python

  4. mart mart Public

    Forked from thierry-tct/mart

    LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM

    C++