2023/01/22 by Tong Wu, Edoardo Manino, Wu, Tong +7
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
paper · pdf · doi:10.48550/arxiv.2301.09142
openalex publication_date 2023/01/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We describe and evaluate LF-checker, a metaverifier tool based on machine learning. It extracts multiple features of the program under test and predicts the optimal configuration (flags) of a bounded model checker with a decision tree. Our current work is specialised in concurrency verification and employs ESBMC as a back-end verification engine. In the paper, we demonstrate that LF-checker achieves better results than the default configuration of the underlying verification engine.