Login / Signup
TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts.
Hui Gao
Hongyu Kuang
Wesley K. G. Assunção
Christoph Mayr-Dorn
Guoping Rong
He Zhang
Xiaoxing Ma
Alexander Egyed
Published in:
ICSE (2024)
Keyphrases
</>
software artifacts
high quality
fully automated
semi automated
inference rules
automated theorem provers
recovery algorithm
automated analysis
link analysis
life cycle
computer aided
case study
computer assisted
theorem proving
software engineering
transitive closure
machine learning
databases
database