https://github.com/danglotb/ex2amplifier

EXhaustive EXploration (EX^2) of the test amplification space.
https://github.com/danglotb/ex2amplifier

amplification testing

Last synced: 3 months ago
JSON representation

EXhaustive EXploration (EX^2) of the test amplification space.

• Host: GitHub
• URL: https://github.com/danglotb/ex2amplifier
• Owner: danglotb
• License: lgpl-3.0
• Created: 2017-11-09T15:16:25.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-06-06T14:34:02.000Z (almost 7 years ago)
• Last Synced: 2024-12-25T11:26:29.383Z (5 months ago)
• Topics: amplification, testing
• Language: Java
• Homepage:
• Size: 86.4 MB
• Stars: 2
• Watchers: 6
• Forks: 0
• Open Issues: 3
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Ex2Amplifier [![Build Status](https://travis-ci.org/STAMP-project/Ex2Amplifier.svg?branch=master)](https://travis-ci.org/STAMP-project/Ex2Amplifier)[![Coverage Status](https://coveralls.io/repos/github/STAMP-project/Ex2Amplifier/badge.svg?branch=master)](https://coveralls.io/github/STAMP-project/Ex2Amplifier?branch=master)

=====================================================================================================================

![STAMP - European Commission - H2020](docs/logo_readme_md.png)

**Ex2Amplifier** stands for Exhaustive-Explorer-Amplifier.

This tool is an amplifier, that means that it mutated existing test to explore the behavior space.

**Ex2Amplifier** is based on **CATG**, which is a symbolic execution tool. ([more info](https://github.com/ksen007/janala2))