RTL bug localization through LTL specification mining (WIP).

Vighnesh Iyer Donggyu Kim Borivoje Nikolic Sanjit A. Seshia

Published in: MEMOCODE (2019)

Keyphrases

bug localization
linear temporal logic
transition systems
text mining
model checking
temporal logic
knowledge discovery
web mining
formal verification
data mining
website
similarity measure
least squares