Skip to content

Gastd/ga-hls

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Diagnosis

Overview

This repository complements the paper Search-based Trace Diagnostic. The content of this repository is divided as follows:

  • experiments_results: Results of the experiments presented on the paper. Includes the output files, decision tree models and a png picture of the tool result. Experiments are separated by folder.
  • results_analysis: Python scripts used to measure precision and recall for each experiment. Scripts for plotting the boxplot also included.
  • tool: Tool implementation as used in the paper. The inside readme shows how to run each experiment. Also, it includes the HLS specification for each requirement shown in the paper.
  • Appendix.pdf: Paper Appendix with the result comparison between Tool and Prediction. Also available in here.

License

The source code is released under a MIT license.

Authors: Gabriel F P Araujo and Ricardo Diniz and Federico Formica
Affiliation: LES-UNB
Maintainers: Gabriel F P Araujo

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages