├── .gitignore ├── INSTALL.md ├── LICENSE.md ├── README.md ├── REQUIREMENTS.md ├── STATUS.md ├── benchmark ├── result_summary.xlsx └── ~$result_summary.xlsx ├── ide_plugin ├── .eslintrc.json ├── .gitignore ├── .vscode │ ├── extensions.json │ ├── launch.json │ ├── settings.json │ └── tasks.json ├── .vscodeignore ├── README.md ├── demo │ ├── demo-video.gif │ ├── demo1.jpeg │ ├── demo2.jpeg │ ├── demo3.jpeg │ ├── demo4.jpeg │ ├── demo5.jpeg │ ├── demo6.jpeg │ └── settings.png ├── mlapitesting-0.0.1.vsix ├── package-lock.json ├── package.json ├── plugin_example │ ├── check_jacket.py │ └── jacket.png ├── resources │ ├── Leo.svg │ ├── Python-logo-notext.svg │ ├── bug.svg │ ├── class.svg │ ├── cube.svg │ ├── folder.svg │ ├── folders-svgrepo-com.svg │ ├── function-dark.svg │ ├── function-light.svg │ ├── function-svgrepo-com.svg │ ├── python.svg │ ├── refresh-green.svg │ └── refresh.svg ├── src │ ├── analyzer.py │ ├── anutils.py │ ├── api_namespace.py │ ├── extension.ts │ ├── function_trace.py │ ├── highlight.ts │ ├── inputFunction.ts │ ├── node.py │ ├── test │ │ ├── runTest.ts │ │ └── suite │ │ │ ├── extension.test.ts │ │ │ └── index.ts │ ├── treeView.ts │ ├── treeViewError.ts │ ├── type_output.py │ ├── userInput.ts │ ├── utils.ts │ ├── visgraph.py │ └── writers.py ├── tsconfig.json └── vsc-extension-quickstart.md ├── paper.pdf ├── testing_tool ├── README.md ├── fuzztool │ ├── .DS_Store │ ├── .gitignore │ ├── LICENSE │ ├── LICENSE.AGPL │ ├── LICENSE.APACHE2 │ ├── Makefile │ ├── README.md │ ├── examples │ │ ├── aifc │ │ │ └── fuzz.py │ │ ├── codeop │ │ │ └── fuzz.py │ │ ├── fuzzit │ │ │ └── fuzz.py │ │ ├── htmlparser │ │ │ └── fuzz.py │ │ ├── run_all_examples.py │ │ ├── xml │ │ │ └── fuzz.py │ │ ├── zipfile │ │ │ └── fuzz.py │ │ └── zlib │ │ │ └── fuzz.py │ ├── pythonfuzz │ │ ├── __init__.py │ │ ├── corpus.py │ │ ├── dictionary.py │ │ ├── fuzzer.py │ │ ├── main.py │ │ └── tracer.py │ ├── requirements-test.txt │ ├── requirements.txt │ ├── setup.py │ ├── solve.py │ └── tests │ │ ├── .DS_Store │ │ ├── __init__.py │ │ ├── test_crash.py │ │ ├── test_nocrash.py │ │ └── unittest_mutators.py └── my_tool │ ├── .gitignore │ ├── all_wrap_up.py │ ├── change_code.py │ ├── cmd_example │ ├── check_jacket.py │ ├── input.json │ └── jacket.png │ ├── code_extraction │ ├── extract.py │ └── pyan │ │ ├── README.md │ │ ├── __init__.py │ │ ├── analyzer.py │ │ ├── anutils.py │ │ ├── node.py │ │ └── trace_functions.py │ ├── global_vars.py │ ├── label_suggestion.py │ ├── reverse_API │ ├── language.py │ ├── language_src │ │ ├── category_list.txt │ │ ├── entity_type.csv │ │ ├── sentiment140.csv │ │ ├── sentiment140 │ │ │ └── readme.md │ │ ├── sentiment_data.csv │ │ └── syntax_type.csv │ ├── search_text.py │ ├── sentiment_helper.py │ ├── speech.py │ ├── speech_src │ │ └── empty_audio.wav │ ├── vision.py │ └── vision_src │ │ ├── 255px-White.png │ │ ├── Times_CE_Regular.ttf │ │ ├── bbox_labels_600_hierarchy.json.csv │ │ ├── black.jpg │ │ ├── class_descriptions.csv │ │ ├── fonts │ │ ├── AMAZONEN.TTF │ │ ├── AYearWithoutRain.ttf │ │ ├── DJ5CTRIAL.ttf │ │ ├── Faraco Hand.ttf │ │ ├── Hand_Of_Sean_Demo.ttf │ │ ├── JINKY.ttf │ │ ├── JOURNAL.TTF │ │ ├── JennaSue.ttf │ │ ├── Joy Like Sunshine Through My Windowpane.ttf │ │ ├── Meslo LG S Bold Italic for Powerline.ttf │ │ ├── Monofur Bold for Powerline.ttf │ │ ├── Monofur Italic for Powerline.ttf │ │ ├── Skinny-Regular.ttf │ │ ├── Sweetly Broken Bold.ttf │ │ ├── TalkingToTheMoon.ttf │ │ ├── TheGreatEscape.ttf │ │ ├── ThrowMyHandsUpintheAir.ttf │ │ ├── Times_CE_Regular.ttf │ │ ├── Yank.ttf │ │ ├── akbar.ttf │ │ ├── angelina.TTF │ │ ├── comesinhandy.ttf │ │ ├── declara.ttf │ │ ├── gnyrwn971.ttf │ │ └── voltergoldfish.ttf │ │ ├── mid2datawiki.csv │ │ ├── object_descriptions.csv │ │ └── readme.md │ ├── sentiment_suggestion.py │ ├── solve_multi.py │ ├── solve_precondition_full.py │ ├── symbolic │ ├── __init__.py │ ├── args.py │ ├── constraint.py │ ├── cvc_expr │ │ ├── __init__.py │ │ ├── exprbuilder.py │ │ ├── exprbuilder_bk.py │ │ ├── expression.py │ │ ├── floating.py │ │ ├── integer.py │ │ └── string.py │ ├── cvc_wrap.py │ ├── explore.py │ ├── invocation.py │ ├── loader.py │ ├── path_to_constraint.py │ ├── predicate.py │ ├── symbolic_types │ │ ├── __init__.py │ │ ├── symbolic_dict.py │ │ ├── symbolic_float.py │ │ ├── symbolic_int.py │ │ ├── symbolic_str.py │ │ └── symbolic_type.py │ ├── z3_expr │ │ ├── __init__.py │ │ ├── bitvector.py │ │ ├── expression.py │ │ └── integer.py │ └── z3_wrap.py │ └── utils.py ├── tool_demo.mp4 └── user_study ├── README.md ├── consent_form.pdf ├── parse_survey.py ├── survey_preview.pdf └── survey_result.xlsx /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/.gitignore -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/INSTALL.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/README.md -------------------------------------------------------------------------------- /REQUIREMENTS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/REQUIREMENTS.md -------------------------------------------------------------------------------- /STATUS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/STATUS.md -------------------------------------------------------------------------------- /benchmark/result_summary.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/benchmark/result_summary.xlsx -------------------------------------------------------------------------------- /benchmark/~$result_summary.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/benchmark/~$result_summary.xlsx -------------------------------------------------------------------------------- /ide_plugin/.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/.eslintrc.json -------------------------------------------------------------------------------- /ide_plugin/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/.gitignore -------------------------------------------------------------------------------- /ide_plugin/.vscode/extensions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/.vscode/extensions.json -------------------------------------------------------------------------------- /ide_plugin/.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/.vscode/launch.json -------------------------------------------------------------------------------- /ide_plugin/.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/.vscode/settings.json -------------------------------------------------------------------------------- /ide_plugin/.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/.vscode/tasks.json -------------------------------------------------------------------------------- /ide_plugin/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/.vscodeignore -------------------------------------------------------------------------------- /ide_plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/README.md -------------------------------------------------------------------------------- /ide_plugin/demo/demo-video.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/demo/demo-video.gif -------------------------------------------------------------------------------- /ide_plugin/demo/demo1.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/demo/demo1.jpeg -------------------------------------------------------------------------------- /ide_plugin/demo/demo2.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/demo/demo2.jpeg -------------------------------------------------------------------------------- /ide_plugin/demo/demo3.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/demo/demo3.jpeg -------------------------------------------------------------------------------- /ide_plugin/demo/demo4.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/demo/demo4.jpeg -------------------------------------------------------------------------------- /ide_plugin/demo/demo5.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/demo/demo5.jpeg -------------------------------------------------------------------------------- /ide_plugin/demo/demo6.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/demo/demo6.jpeg -------------------------------------------------------------------------------- /ide_plugin/demo/settings.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/demo/settings.png -------------------------------------------------------------------------------- /ide_plugin/mlapitesting-0.0.1.vsix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/mlapitesting-0.0.1.vsix -------------------------------------------------------------------------------- /ide_plugin/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/package-lock.json -------------------------------------------------------------------------------- /ide_plugin/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/package.json -------------------------------------------------------------------------------- /ide_plugin/plugin_example/check_jacket.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/plugin_example/check_jacket.py -------------------------------------------------------------------------------- /ide_plugin/plugin_example/jacket.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/plugin_example/jacket.png -------------------------------------------------------------------------------- /ide_plugin/resources/Leo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/Leo.svg -------------------------------------------------------------------------------- /ide_plugin/resources/Python-logo-notext.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/Python-logo-notext.svg -------------------------------------------------------------------------------- /ide_plugin/resources/bug.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/bug.svg -------------------------------------------------------------------------------- /ide_plugin/resources/class.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/class.svg -------------------------------------------------------------------------------- /ide_plugin/resources/cube.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/cube.svg -------------------------------------------------------------------------------- /ide_plugin/resources/folder.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/folder.svg -------------------------------------------------------------------------------- /ide_plugin/resources/folders-svgrepo-com.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/folders-svgrepo-com.svg -------------------------------------------------------------------------------- /ide_plugin/resources/function-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/function-dark.svg -------------------------------------------------------------------------------- /ide_plugin/resources/function-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/function-light.svg -------------------------------------------------------------------------------- /ide_plugin/resources/function-svgrepo-com.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/function-svgrepo-com.svg -------------------------------------------------------------------------------- /ide_plugin/resources/python.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/python.svg -------------------------------------------------------------------------------- /ide_plugin/resources/refresh-green.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/refresh-green.svg -------------------------------------------------------------------------------- /ide_plugin/resources/refresh.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/resources/refresh.svg -------------------------------------------------------------------------------- /ide_plugin/src/analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/analyzer.py -------------------------------------------------------------------------------- /ide_plugin/src/anutils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/anutils.py -------------------------------------------------------------------------------- /ide_plugin/src/api_namespace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/api_namespace.py -------------------------------------------------------------------------------- /ide_plugin/src/extension.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/extension.ts -------------------------------------------------------------------------------- /ide_plugin/src/function_trace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/function_trace.py -------------------------------------------------------------------------------- /ide_plugin/src/highlight.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/highlight.ts -------------------------------------------------------------------------------- /ide_plugin/src/inputFunction.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/inputFunction.ts -------------------------------------------------------------------------------- /ide_plugin/src/node.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/node.py -------------------------------------------------------------------------------- /ide_plugin/src/test/runTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/test/runTest.ts -------------------------------------------------------------------------------- /ide_plugin/src/test/suite/extension.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/test/suite/extension.test.ts -------------------------------------------------------------------------------- /ide_plugin/src/test/suite/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/test/suite/index.ts -------------------------------------------------------------------------------- /ide_plugin/src/treeView.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/treeView.ts -------------------------------------------------------------------------------- /ide_plugin/src/treeViewError.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/treeViewError.ts -------------------------------------------------------------------------------- /ide_plugin/src/type_output.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/type_output.py -------------------------------------------------------------------------------- /ide_plugin/src/userInput.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/userInput.ts -------------------------------------------------------------------------------- /ide_plugin/src/utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/utils.ts -------------------------------------------------------------------------------- /ide_plugin/src/visgraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/visgraph.py -------------------------------------------------------------------------------- /ide_plugin/src/writers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/src/writers.py -------------------------------------------------------------------------------- /ide_plugin/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/tsconfig.json -------------------------------------------------------------------------------- /ide_plugin/vsc-extension-quickstart.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/ide_plugin/vsc-extension-quickstart.md -------------------------------------------------------------------------------- /paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/paper.pdf -------------------------------------------------------------------------------- /testing_tool/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/README.md -------------------------------------------------------------------------------- /testing_tool/fuzztool/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/.DS_Store -------------------------------------------------------------------------------- /testing_tool/fuzztool/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/.gitignore -------------------------------------------------------------------------------- /testing_tool/fuzztool/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/LICENSE -------------------------------------------------------------------------------- /testing_tool/fuzztool/LICENSE.AGPL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/LICENSE.AGPL -------------------------------------------------------------------------------- /testing_tool/fuzztool/LICENSE.APACHE2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/LICENSE.APACHE2 -------------------------------------------------------------------------------- /testing_tool/fuzztool/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/Makefile -------------------------------------------------------------------------------- /testing_tool/fuzztool/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/README.md -------------------------------------------------------------------------------- /testing_tool/fuzztool/examples/aifc/fuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/examples/aifc/fuzz.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/examples/codeop/fuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/examples/codeop/fuzz.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/examples/fuzzit/fuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/examples/fuzzit/fuzz.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/examples/htmlparser/fuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/examples/htmlparser/fuzz.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/examples/run_all_examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/examples/run_all_examples.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/examples/xml/fuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/examples/xml/fuzz.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/examples/zipfile/fuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/examples/zipfile/fuzz.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/examples/zlib/fuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/examples/zlib/fuzz.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/pythonfuzz/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /testing_tool/fuzztool/pythonfuzz/corpus.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/pythonfuzz/corpus.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/pythonfuzz/dictionary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/pythonfuzz/dictionary.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/pythonfuzz/fuzzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/pythonfuzz/fuzzer.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/pythonfuzz/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/pythonfuzz/main.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/pythonfuzz/tracer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/pythonfuzz/tracer.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/requirements-test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/requirements-test.txt -------------------------------------------------------------------------------- /testing_tool/fuzztool/requirements.txt: -------------------------------------------------------------------------------- 1 | psutil==5.6.6 2 | functools32==3.2.3.post2; python_version < '3' 3 | -------------------------------------------------------------------------------- /testing_tool/fuzztool/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/setup.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/solve.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/solve.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/tests/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/tests/.DS_Store -------------------------------------------------------------------------------- /testing_tool/fuzztool/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /testing_tool/fuzztool/tests/test_crash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/tests/test_crash.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/tests/test_nocrash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/tests/test_nocrash.py -------------------------------------------------------------------------------- /testing_tool/fuzztool/tests/unittest_mutators.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/fuzztool/tests/unittest_mutators.py -------------------------------------------------------------------------------- /testing_tool/my_tool/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/.gitignore -------------------------------------------------------------------------------- /testing_tool/my_tool/all_wrap_up.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/all_wrap_up.py -------------------------------------------------------------------------------- /testing_tool/my_tool/change_code.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/change_code.py -------------------------------------------------------------------------------- /testing_tool/my_tool/cmd_example/check_jacket.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/cmd_example/check_jacket.py -------------------------------------------------------------------------------- /testing_tool/my_tool/cmd_example/input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/cmd_example/input.json -------------------------------------------------------------------------------- /testing_tool/my_tool/cmd_example/jacket.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/cmd_example/jacket.png -------------------------------------------------------------------------------- /testing_tool/my_tool/code_extraction/extract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/code_extraction/extract.py -------------------------------------------------------------------------------- /testing_tool/my_tool/code_extraction/pyan/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/code_extraction/pyan/README.md -------------------------------------------------------------------------------- /testing_tool/my_tool/code_extraction/pyan/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /testing_tool/my_tool/code_extraction/pyan/analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/code_extraction/pyan/analyzer.py -------------------------------------------------------------------------------- /testing_tool/my_tool/code_extraction/pyan/anutils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/code_extraction/pyan/anutils.py -------------------------------------------------------------------------------- /testing_tool/my_tool/code_extraction/pyan/node.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/code_extraction/pyan/node.py -------------------------------------------------------------------------------- /testing_tool/my_tool/code_extraction/pyan/trace_functions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/code_extraction/pyan/trace_functions.py -------------------------------------------------------------------------------- /testing_tool/my_tool/global_vars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/global_vars.py -------------------------------------------------------------------------------- /testing_tool/my_tool/label_suggestion.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/label_suggestion.py -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/language.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/language.py -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/language_src/category_list.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/language_src/category_list.txt -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/language_src/entity_type.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/language_src/entity_type.csv -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/language_src/sentiment140.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/language_src/sentiment140.csv -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/language_src/sentiment140/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/language_src/sentiment140/readme.md -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/language_src/sentiment_data.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/language_src/sentiment_data.csv -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/language_src/syntax_type.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/language_src/syntax_type.csv -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/search_text.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/search_text.py -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/sentiment_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/sentiment_helper.py -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/speech.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/speech.py -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/speech_src/empty_audio.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/speech_src/empty_audio.wav -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision.py -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/255px-White.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/255px-White.png -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/Times_CE_Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/Times_CE_Regular.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/bbox_labels_600_hierarchy.json.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/bbox_labels_600_hierarchy.json.csv -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/black.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/black.jpg -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/class_descriptions.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/class_descriptions.csv -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/AMAZONEN.TTF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/AMAZONEN.TTF -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/AYearWithoutRain.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/AYearWithoutRain.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/DJ5CTRIAL.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/DJ5CTRIAL.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/Faraco Hand.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/Faraco Hand.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/Hand_Of_Sean_Demo.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/Hand_Of_Sean_Demo.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/JINKY.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/JINKY.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/JOURNAL.TTF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/JOURNAL.TTF -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/JennaSue.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/JennaSue.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/Joy Like Sunshine Through My Windowpane.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/Joy Like Sunshine Through My Windowpane.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/Meslo LG S Bold Italic for Powerline.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/Meslo LG S Bold Italic for Powerline.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/Monofur Bold for Powerline.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/Monofur Bold for Powerline.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/Monofur Italic for Powerline.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/Monofur Italic for Powerline.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/Skinny-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/Skinny-Regular.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/Sweetly Broken Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/Sweetly Broken Bold.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/TalkingToTheMoon.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/TalkingToTheMoon.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/TheGreatEscape.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/TheGreatEscape.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/ThrowMyHandsUpintheAir.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/ThrowMyHandsUpintheAir.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/Times_CE_Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/Times_CE_Regular.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/Yank.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/Yank.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/akbar.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/akbar.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/angelina.TTF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/angelina.TTF -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/comesinhandy.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/comesinhandy.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/declara.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/declara.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/gnyrwn971.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/gnyrwn971.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/fonts/voltergoldfish.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/fonts/voltergoldfish.ttf -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/mid2datawiki.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/mid2datawiki.csv -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/object_descriptions.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/object_descriptions.csv -------------------------------------------------------------------------------- /testing_tool/my_tool/reverse_API/vision_src/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/reverse_API/vision_src/readme.md -------------------------------------------------------------------------------- /testing_tool/my_tool/sentiment_suggestion.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/sentiment_suggestion.py -------------------------------------------------------------------------------- /testing_tool/my_tool/solve_multi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/solve_multi.py -------------------------------------------------------------------------------- /testing_tool/my_tool/solve_precondition_full.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/solve_precondition_full.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/args.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/args.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/constraint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/constraint.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/cvc_expr/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/cvc_expr/exprbuilder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/cvc_expr/exprbuilder.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/cvc_expr/exprbuilder_bk.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/cvc_expr/exprbuilder_bk.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/cvc_expr/expression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/cvc_expr/expression.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/cvc_expr/floating.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/cvc_expr/floating.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/cvc_expr/integer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/cvc_expr/integer.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/cvc_expr/string.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/cvc_expr/string.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/cvc_wrap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/cvc_wrap.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/explore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/explore.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/invocation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/invocation.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/loader.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/path_to_constraint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/path_to_constraint.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/predicate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/predicate.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/symbolic_types/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/symbolic_types/__init__.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/symbolic_types/symbolic_dict.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/symbolic_types/symbolic_dict.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/symbolic_types/symbolic_float.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/symbolic_types/symbolic_float.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/symbolic_types/symbolic_int.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/symbolic_types/symbolic_int.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/symbolic_types/symbolic_str.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/symbolic_types/symbolic_str.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/symbolic_types/symbolic_type.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/symbolic_types/symbolic_type.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/z3_expr/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/z3_expr/bitvector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/z3_expr/bitvector.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/z3_expr/expression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/z3_expr/expression.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/z3_expr/integer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/z3_expr/integer.py -------------------------------------------------------------------------------- /testing_tool/my_tool/symbolic/z3_wrap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/symbolic/z3_wrap.py -------------------------------------------------------------------------------- /testing_tool/my_tool/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/testing_tool/my_tool/utils.py -------------------------------------------------------------------------------- /tool_demo.mp4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/tool_demo.mp4 -------------------------------------------------------------------------------- /user_study/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/user_study/README.md -------------------------------------------------------------------------------- /user_study/consent_form.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/user_study/consent_form.pdf -------------------------------------------------------------------------------- /user_study/parse_survey.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/user_study/parse_survey.py -------------------------------------------------------------------------------- /user_study/survey_preview.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/user_study/survey_preview.pdf -------------------------------------------------------------------------------- /user_study/survey_result.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlapistudy/ICSE2022_158/HEAD/user_study/survey_result.xlsx --------------------------------------------------------------------------------