PURLTL: Mining LTL Specification from Imperfect Traces in Testing.
Bo PengPingjia LiangTingchen HanWeilin LuoJianfeng DuHai WanRongzhen YeYuhang ZhengPublished in: ASE (2023)
Keyphrases
- formal verification
- linear temporal logic
- model checking
- bounded model checking
- formal specification
- transition systems
- temporal logic
- knowledge discovery
- test case generation
- data mining techniques
- test cases
- data mining
- mining algorithm
- specification language
- high level
- sequential pattern mining
- association rule mining
- text mining
- search algorithm
- formal methods
- web mining
- frequent patterns
- linear time temporal logic