Academic Bibliography

 Search 200 years of publications by Ghent University researchers.
Advanced search
Add to list
  1. Search results
  2. Inference of Error Specifications and...

Inference of Error Specifications and Bug Detection Using Structural Similarities Artifact Evaluation

Niels Dossche (UGent) and Bart Coppens (UGent)
(2024)
Author
Organization
Project
Abstract
This contains the tool's source code in ESSS.zip, and also the virtual disk image. To uncompress the virtual disk image you should use the Zstandard tool from Facebook: https://github.com/facebook/zstd
License
LicenseNotListed
Other license
A Combination of licenses: Our ESSS tool is based on the Crix tool from the University of Minnesota. In particular, we reuse the MLTA component of Crix. ESSS is distributed under the same license. The (compressed) Virtual Box image is based on an Ubuntu VM, and contains software licensed under a variety of different licenses.
Access
open access

Citation

Please use this url to cite or link to this publication: 

@misc{01J67754NWV58M9S1ESRBQMM7B,
  abstract     = {{This contains the tool's source code in ESSS.zip, and also the virtual disk image.

To uncompress the virtual disk image you should use the Zstandard tool from Facebook: https://github.com/facebook/zstd}},
  author       = {{Dossche, Niels and Coppens, Bart}},
  publisher    = {{Zenodo}},
  title        = {{Inference of Error Specifications and Bug Detection Using Structural Similarities Artifact Evaluation}},
  url          = {{http://doi.org/10.5281/ZENODO.10843435}},
  year         = {{2024}},
}
Altmetric
View in Altmetric