ABBT

This repository contains an implementation for the paper "Accelerating Black Box Testing with Light-Weight Learning".

Running the script

The main class for MRPNI model checking is located in mrpni_model_checking.py. To run the script, simply execute the following command:

python mrpni_model_checking.py

Examples of automata can be found in Examples.py.

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
aalpy		aalpy
results_Divisibility/good		results_Divisibility/good
results_EqualStub/good		results_EqualStub/good
results_ModelCheckingRandomBigSpecBBDivisibility_200_41/good		results_ModelCheckingRandomBigSpecBBDivisibility_200_41/good
results_ModelCheckingRandomBigSpecBBDivisibility_400_41/good		results_ModelCheckingRandomBigSpecBBDivisibility_400_41/good
results_ModelCheckingRandomBigSpecBBDivisibility_40_41/good/1ed790d9-2637-4e66-9b27-1d0a4faee58a		results_ModelCheckingRandomBigSpecBBDivisibility_40_41/good/1ed790d9-2637-4e66-9b27-1d0a4faee58a
results_ModelCheckingRandomEqualSpecBBParenthesis_100_242/good		results_ModelCheckingRandomEqualSpecBBParenthesis_100_242/good
results_Parenthesis/good		results_Parenthesis/good
results_Substrings/good		results_Substrings/good
results_SuffixOne/good		results_SuffixOne/good
results_ZeroOneTwo		results_ZeroOneTwo
Examples.py		Examples.py
README.md		README.md
mrpni_model_checking.py		mrpni_model_checking.py
requirements.txt		requirements.txt
test.py		test.py