Skip to main content

Semantic Debugging: Avicenna

Project description

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),
  • the scripts to rerun all experiments (evaluation),
  • and the automatically generated evaluation data sets to measure the performance of both AVICENNA and ALHAZEN (data_sets).

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

avicenna-0.0.1.tar.gz (28.6 kB view details)

Uploaded Source

Built Distribution

avicenna-0.0.1-py3-none-any.whl (30.3 kB view details)

Uploaded Python 3

File details

Details for the file avicenna-0.0.1.tar.gz.

File metadata

  • Download URL: avicenna-0.0.1.tar.gz
  • Upload date:
  • Size: 28.6 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.10.6

File hashes

Hashes for avicenna-0.0.1.tar.gz
Algorithm Hash digest
SHA256 c277514d84dd282ca0ace15af0e5cbd10202d06a2705bf9eee9ecf24106bd51a
MD5 65113edcbd3548412010ae664646676f
BLAKE2b-256 0eb31aa122dc4319e8400e9fe640e4fb242cc28e231077dfda0b4df0fd639744

See more details on using hashes here.

Provenance

File details

Details for the file avicenna-0.0.1-py3-none-any.whl.

File metadata

  • Download URL: avicenna-0.0.1-py3-none-any.whl
  • Upload date:
  • Size: 30.3 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.10.6

File hashes

Hashes for avicenna-0.0.1-py3-none-any.whl
Algorithm Hash digest
SHA256 8a51267fdafc2a251781fd171ec46900af0bece90dd10c037282c40e6eb43642
MD5 7941f29b255c4f9731420314d1cfb0d1
BLAKE2b-256 f2297aacc73a3e428af40d079fb92489047f5889c0896632b23a24c66f31fef4

See more details on using hashes here.

Provenance

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page