Metadata-Version: 2.1
Name: avicenna
Version: 0.0.1
Summary: Semantic Debugging: Avicenna
Home-page: https://github.com/martineberlein/semantic-debugging
Author: Martin Eberlein
Author-email: martin.eberlein@informatik.hu-berlin.de
License: MIT License
Project-URL: Bug Tracker, https://github.com/martineberlein/semantic-debugging/issues
Platform: UNKNOWN
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3.10
Classifier: Operating System :: OS Independent
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Software Development :: Testing
Description-Content-Type: text/markdown
Provides-Extra: dev

# Semantic Debugging (ICSE'23 Artifact)

This repository provides the tool **AVICENNA** for our ICSE'23 Submission _Semantic Debugging_.

This repository includes: 
* the source code of **AVICENNA** ([src](./src)),
* the scripts to rerun all experiments ([evaluation](./evaluation)),
* and the automatically generated evaluation data sets to measure the performance of both **AVICENNA** and _ALHAZEN_ ([data_sets](resources/evaluation_data_sets)).

