ga-hls/CITATION.cff at main · Gastd/ga-hls · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
cff-version: 1.2.0
message: "If you use ga-hls in your research, please cite the accompanying paper (preferred) and/or this software."
type: software
title: "ga-hls"
abstract: "Research tool for diagnosing falsified requirements in HLS/ThEodorE-based workflows using search-based mutation and decision-tree learning."
url: "https://github.com/Gastd/ga-hls"
license: "MIT"
repository-code: "https://github.com/Gastd/ga-hls"
keywords:
  - requirements diagnosis
  - search-based software engineering
  - genetic algorithms
  - decision trees
  - Z3
  - Weka
authors:
  - family-names: "Caldas"
    given-names: "Ricardo"
  - family-names: "Araujo"
    given-names: "Gabriel"
  - family-names: "Formica"
    given-names: "Federico"
  - family-names: "Rodrigues"
    given-names: "Genaína"
  - family-names: "Pelliccione"
    given-names: "Patrizio"
  - family-names: "Menghi"
    given-names: "Claudio"

# Suggested: set this to the git tag corresponding to the artifact/release.
# version: "vX.Y.Z"
# date-released: "YYYY-MM-DD"

preferred-citation:
  type: article
  title: "Search-based Trace Diagnostic"
  authors:
    - family-names: "Caldas"
      given-names: "Ricardo"
    - family-names: "Araujo"
      given-names: "Gabriel"
    - family-names: "Formica"
      given-names: "Federico"
    - family-names: "Rodrigues"
      given-names: "Genaína"
    - family-names: "Pelliccione"
      given-names: "Patrizio"
    - family-names: "Menghi"
      given-names: "Claudio"
  year: 2026
  doi: "TBD"
  url: "TBD"