Welcome to the website of the article: "Efficient Bounded Exhaustive Input Generation from Program APIs"
Bounded Exhaustive API- Replication Package
Bounded Exhaustive API- Replication Package
In this page, you can find the instructions to reproduce the experiments performed to assess BEAPI: a technique that bounded exhaustively generates inputs using only the routines in the API of the software under test, without the need for a specification
Requirements:
Requirements:
Java 1.8
Apache ant installed
Infer
Instructions:
Instructions:
The following instructions were tested on a Ubuntu 17.04. 64 bits.
Click here (rep-package-fase2023.tar.gz ) to download the replication package
Decompress file rep-package-fase2023.tar.gz
README.txt file contains the steps to reproduce the test generation experiments