Assertion Ranking Using RTL Source Code Analysis.

Debjit Pal Spencer Offenberger Shobha Vasudevan

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)

Keyphrases

source code
static analysis
impact analysis
open source
software maintenance
open source software
software systems
high level
manual inspection
visual basic
change impact analysis
code reuse
real world
mining software repositories
linux kernel
object oriented systems
software evolution
information retrieval