├── .gitattributes ├── .github └── workflows │ └── prevent_standalone_merge.yml ├── .gitignore ├── .pylintrc ├── LICENSE ├── README.md ├── RELEASING.md ├── bin ├── jqf-bedivfuzz └── jqf-repro ├── core ├── pom.xml └── src │ ├── main │ └── java │ │ └── de │ │ └── hub │ │ └── se │ │ └── bedivfuzz │ │ ├── BeDivFuzz.java │ │ ├── guidance │ │ ├── BeDivFuzzDriver.java │ │ ├── BeDivFuzzGuidance.java │ │ └── SplitGeneratorGuidance.java │ │ └── junit │ │ └── quickcheck │ │ ├── BeDivFuzzStatement.java │ │ ├── SplitGenerator.java │ │ ├── SplitRandom.java │ │ ├── SplitSourceOfRandomness.java │ │ └── tracing │ │ ├── Choice.java │ │ ├── ChoiceTracingState.java │ │ ├── SplitTracingSourceOfRandomness.java │ │ └── TracingSourceOfRandomness.java │ └── test │ └── java │ └── de │ └── hub │ └── se │ └── bedivfuzz │ └── junit │ └── quickcheck │ ├── RandomInput.java │ ├── SplitRandomTest.java │ ├── SplitTracingSourceOfRandomnessTest.java │ ├── TracingSourceOfRandomnessTest.java │ └── generator │ ├── Node.java │ └── SplitBinaryTreeGenerator.java ├── examples ├── pom.xml └── src │ ├── main │ ├── java │ │ └── de │ │ │ └── hub │ │ │ └── se │ │ │ └── bedivfuzz │ │ │ └── examples │ │ │ ├── bcel │ │ │ ├── SplitFieldGenerator.java │ │ │ ├── SplitJavaClassGenerator.java │ │ │ ├── SplitJavaClassNameGenerator.java │ │ │ ├── SplitJavaIdentifierGenerator.java │ │ │ ├── SplitMethodGenerator.java │ │ │ └── SplitTypeGenerator.java │ │ │ ├── chocopy │ │ │ └── SplitChocoPySemanticGenerator.java │ │ │ ├── js │ │ │ └── SplitJavaScriptCodeGenerator.java │ │ │ └── xml │ │ │ └── SplitXmlDocumentGenerator.java │ └── resources │ │ └── META-INF │ │ └── services │ │ └── com.pholser.junit.quickcheck.generator.Generator │ └── test │ ├── java │ └── de │ │ └── hub │ │ └── se │ │ └── bedivfuzz │ │ └── examples │ │ ├── ant │ │ └── ProjectBuilderTest.java │ │ ├── bcel │ │ └── ParserTest.java │ │ ├── chocopy │ │ └── SemanticAnalysisTest.java │ │ ├── closure │ │ └── CompilerTest.java │ │ ├── maven │ │ └── ModelReaderTest.java │ │ ├── nashorn │ │ └── CompilerTest.java │ │ ├── rhino │ │ └── CompilerTest.java │ │ └── tomcat │ │ └── WebXmlTest.java │ └── resources │ ├── META-INF │ └── services │ │ └── com.pholser.junit.quickcheck.generator.Generator │ └── dictionaries │ ├── ant-project-afl.dict │ ├── ant-project.dict │ ├── fen.dict │ ├── javaclass.dict │ ├── javascript.dict │ ├── maven-model-afl.dict │ ├── maven-model.dict │ ├── tomcat-webxml-afl.dict │ ├── tomcat-webxml.dict │ └── xml.dict ├── maven-plugin ├── pom.xml └── src │ └── main │ └── java │ └── de │ └── hub │ └── se │ └── bedivfuzz │ └── plugin │ └── FuzzGoal.java ├── pom.xml └── scripts ├── __pycache__ └── load_data.cpython-38.pyc ├── classpath.sh ├── examples_classpath.sh ├── janala.conf ├── jqf-driver.sh └── slurm ├── .lintr ├── generate-csv.ipynb ├── generate-plots.ipynb ├── generate-tex-tables.ipynb ├── plot_results.ipynb └── repro-failures.py /.gitattributes: -------------------------------------------------------------------------------- 1 | *.ipynb linguist-detectable=false 2 | -------------------------------------------------------------------------------- /.github/workflows/prevent_standalone_merge.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/.github/workflows/prevent_standalone_merge.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/.gitignore -------------------------------------------------------------------------------- /.pylintrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/.pylintrc -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/README.md -------------------------------------------------------------------------------- /RELEASING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/RELEASING.md -------------------------------------------------------------------------------- /bin/jqf-bedivfuzz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/bin/jqf-bedivfuzz -------------------------------------------------------------------------------- /bin/jqf-repro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/bin/jqf-repro -------------------------------------------------------------------------------- /core/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/pom.xml -------------------------------------------------------------------------------- /core/src/main/java/de/hub/se/bedivfuzz/BeDivFuzz.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/main/java/de/hub/se/bedivfuzz/BeDivFuzz.java -------------------------------------------------------------------------------- /core/src/main/java/de/hub/se/bedivfuzz/guidance/BeDivFuzzDriver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/main/java/de/hub/se/bedivfuzz/guidance/BeDivFuzzDriver.java -------------------------------------------------------------------------------- /core/src/main/java/de/hub/se/bedivfuzz/guidance/BeDivFuzzGuidance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/main/java/de/hub/se/bedivfuzz/guidance/BeDivFuzzGuidance.java -------------------------------------------------------------------------------- /core/src/main/java/de/hub/se/bedivfuzz/guidance/SplitGeneratorGuidance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/main/java/de/hub/se/bedivfuzz/guidance/SplitGeneratorGuidance.java -------------------------------------------------------------------------------- /core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/BeDivFuzzStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/BeDivFuzzStatement.java -------------------------------------------------------------------------------- /core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/SplitGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/SplitGenerator.java -------------------------------------------------------------------------------- /core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/SplitRandom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/SplitRandom.java -------------------------------------------------------------------------------- /core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/SplitSourceOfRandomness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/SplitSourceOfRandomness.java -------------------------------------------------------------------------------- /core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/tracing/Choice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/tracing/Choice.java -------------------------------------------------------------------------------- /core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/tracing/ChoiceTracingState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/tracing/ChoiceTracingState.java -------------------------------------------------------------------------------- /core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/tracing/SplitTracingSourceOfRandomness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/tracing/SplitTracingSourceOfRandomness.java -------------------------------------------------------------------------------- /core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/tracing/TracingSourceOfRandomness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/main/java/de/hub/se/bedivfuzz/junit/quickcheck/tracing/TracingSourceOfRandomness.java -------------------------------------------------------------------------------- /core/src/test/java/de/hub/se/bedivfuzz/junit/quickcheck/RandomInput.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/test/java/de/hub/se/bedivfuzz/junit/quickcheck/RandomInput.java -------------------------------------------------------------------------------- /core/src/test/java/de/hub/se/bedivfuzz/junit/quickcheck/SplitRandomTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/test/java/de/hub/se/bedivfuzz/junit/quickcheck/SplitRandomTest.java -------------------------------------------------------------------------------- /core/src/test/java/de/hub/se/bedivfuzz/junit/quickcheck/SplitTracingSourceOfRandomnessTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/test/java/de/hub/se/bedivfuzz/junit/quickcheck/SplitTracingSourceOfRandomnessTest.java -------------------------------------------------------------------------------- /core/src/test/java/de/hub/se/bedivfuzz/junit/quickcheck/TracingSourceOfRandomnessTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/test/java/de/hub/se/bedivfuzz/junit/quickcheck/TracingSourceOfRandomnessTest.java -------------------------------------------------------------------------------- /core/src/test/java/de/hub/se/bedivfuzz/junit/quickcheck/generator/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/test/java/de/hub/se/bedivfuzz/junit/quickcheck/generator/Node.java -------------------------------------------------------------------------------- /core/src/test/java/de/hub/se/bedivfuzz/junit/quickcheck/generator/SplitBinaryTreeGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/core/src/test/java/de/hub/se/bedivfuzz/junit/quickcheck/generator/SplitBinaryTreeGenerator.java -------------------------------------------------------------------------------- /examples/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/pom.xml -------------------------------------------------------------------------------- /examples/src/main/java/de/hub/se/bedivfuzz/examples/bcel/SplitFieldGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/main/java/de/hub/se/bedivfuzz/examples/bcel/SplitFieldGenerator.java -------------------------------------------------------------------------------- /examples/src/main/java/de/hub/se/bedivfuzz/examples/bcel/SplitJavaClassGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/main/java/de/hub/se/bedivfuzz/examples/bcel/SplitJavaClassGenerator.java -------------------------------------------------------------------------------- /examples/src/main/java/de/hub/se/bedivfuzz/examples/bcel/SplitJavaClassNameGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/main/java/de/hub/se/bedivfuzz/examples/bcel/SplitJavaClassNameGenerator.java -------------------------------------------------------------------------------- /examples/src/main/java/de/hub/se/bedivfuzz/examples/bcel/SplitJavaIdentifierGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/main/java/de/hub/se/bedivfuzz/examples/bcel/SplitJavaIdentifierGenerator.java -------------------------------------------------------------------------------- /examples/src/main/java/de/hub/se/bedivfuzz/examples/bcel/SplitMethodGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/main/java/de/hub/se/bedivfuzz/examples/bcel/SplitMethodGenerator.java -------------------------------------------------------------------------------- /examples/src/main/java/de/hub/se/bedivfuzz/examples/bcel/SplitTypeGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/main/java/de/hub/se/bedivfuzz/examples/bcel/SplitTypeGenerator.java -------------------------------------------------------------------------------- /examples/src/main/java/de/hub/se/bedivfuzz/examples/chocopy/SplitChocoPySemanticGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/main/java/de/hub/se/bedivfuzz/examples/chocopy/SplitChocoPySemanticGenerator.java -------------------------------------------------------------------------------- /examples/src/main/java/de/hub/se/bedivfuzz/examples/js/SplitJavaScriptCodeGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/main/java/de/hub/se/bedivfuzz/examples/js/SplitJavaScriptCodeGenerator.java -------------------------------------------------------------------------------- /examples/src/main/java/de/hub/se/bedivfuzz/examples/xml/SplitXmlDocumentGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/main/java/de/hub/se/bedivfuzz/examples/xml/SplitXmlDocumentGenerator.java -------------------------------------------------------------------------------- /examples/src/main/resources/META-INF/services/com.pholser.junit.quickcheck.generator.Generator: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/main/resources/META-INF/services/com.pholser.junit.quickcheck.generator.Generator -------------------------------------------------------------------------------- /examples/src/test/java/de/hub/se/bedivfuzz/examples/ant/ProjectBuilderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/java/de/hub/se/bedivfuzz/examples/ant/ProjectBuilderTest.java -------------------------------------------------------------------------------- /examples/src/test/java/de/hub/se/bedivfuzz/examples/bcel/ParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/java/de/hub/se/bedivfuzz/examples/bcel/ParserTest.java -------------------------------------------------------------------------------- /examples/src/test/java/de/hub/se/bedivfuzz/examples/chocopy/SemanticAnalysisTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/java/de/hub/se/bedivfuzz/examples/chocopy/SemanticAnalysisTest.java -------------------------------------------------------------------------------- /examples/src/test/java/de/hub/se/bedivfuzz/examples/closure/CompilerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/java/de/hub/se/bedivfuzz/examples/closure/CompilerTest.java -------------------------------------------------------------------------------- /examples/src/test/java/de/hub/se/bedivfuzz/examples/maven/ModelReaderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/java/de/hub/se/bedivfuzz/examples/maven/ModelReaderTest.java -------------------------------------------------------------------------------- /examples/src/test/java/de/hub/se/bedivfuzz/examples/nashorn/CompilerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/java/de/hub/se/bedivfuzz/examples/nashorn/CompilerTest.java -------------------------------------------------------------------------------- /examples/src/test/java/de/hub/se/bedivfuzz/examples/rhino/CompilerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/java/de/hub/se/bedivfuzz/examples/rhino/CompilerTest.java -------------------------------------------------------------------------------- /examples/src/test/java/de/hub/se/bedivfuzz/examples/tomcat/WebXmlTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/java/de/hub/se/bedivfuzz/examples/tomcat/WebXmlTest.java -------------------------------------------------------------------------------- /examples/src/test/resources/META-INF/services/com.pholser.junit.quickcheck.generator.Generator: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/resources/META-INF/services/com.pholser.junit.quickcheck.generator.Generator -------------------------------------------------------------------------------- /examples/src/test/resources/dictionaries/ant-project-afl.dict: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/resources/dictionaries/ant-project-afl.dict -------------------------------------------------------------------------------- /examples/src/test/resources/dictionaries/ant-project.dict: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/resources/dictionaries/ant-project.dict -------------------------------------------------------------------------------- /examples/src/test/resources/dictionaries/fen.dict: -------------------------------------------------------------------------------- 1 | token="KQkq" 2 | -------------------------------------------------------------------------------- /examples/src/test/resources/dictionaries/javaclass.dict: -------------------------------------------------------------------------------- 1 | header="\xca\xfe\xba\xbe" 2 | -------------------------------------------------------------------------------- /examples/src/test/resources/dictionaries/javascript.dict: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/resources/dictionaries/javascript.dict -------------------------------------------------------------------------------- /examples/src/test/resources/dictionaries/maven-model-afl.dict: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/resources/dictionaries/maven-model-afl.dict -------------------------------------------------------------------------------- /examples/src/test/resources/dictionaries/maven-model.dict: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/resources/dictionaries/maven-model.dict -------------------------------------------------------------------------------- /examples/src/test/resources/dictionaries/tomcat-webxml-afl.dict: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/resources/dictionaries/tomcat-webxml-afl.dict -------------------------------------------------------------------------------- /examples/src/test/resources/dictionaries/tomcat-webxml.dict: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/resources/dictionaries/tomcat-webxml.dict -------------------------------------------------------------------------------- /examples/src/test/resources/dictionaries/xml.dict: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/examples/src/test/resources/dictionaries/xml.dict -------------------------------------------------------------------------------- /maven-plugin/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/maven-plugin/pom.xml -------------------------------------------------------------------------------- /maven-plugin/src/main/java/de/hub/se/bedivfuzz/plugin/FuzzGoal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/maven-plugin/src/main/java/de/hub/se/bedivfuzz/plugin/FuzzGoal.java -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/pom.xml -------------------------------------------------------------------------------- /scripts/__pycache__/load_data.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/scripts/__pycache__/load_data.cpython-38.pyc -------------------------------------------------------------------------------- /scripts/classpath.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/scripts/classpath.sh -------------------------------------------------------------------------------- /scripts/examples_classpath.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/scripts/examples_classpath.sh -------------------------------------------------------------------------------- /scripts/janala.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/scripts/janala.conf -------------------------------------------------------------------------------- /scripts/jqf-driver.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/scripts/jqf-driver.sh -------------------------------------------------------------------------------- /scripts/slurm/.lintr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/scripts/slurm/.lintr -------------------------------------------------------------------------------- /scripts/slurm/generate-csv.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/scripts/slurm/generate-csv.ipynb -------------------------------------------------------------------------------- /scripts/slurm/generate-plots.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/scripts/slurm/generate-plots.ipynb -------------------------------------------------------------------------------- /scripts/slurm/generate-tex-tables.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/scripts/slurm/generate-tex-tables.ipynb -------------------------------------------------------------------------------- /scripts/slurm/plot_results.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/scripts/slurm/plot_results.ipynb -------------------------------------------------------------------------------- /scripts/slurm/repro-failures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hub-se/BeDivFuzz/HEAD/scripts/slurm/repro-failures.py --------------------------------------------------------------------------------