Author:
Chimdyalwar Bharti,Kumar Shrawan
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Classification and Ranking of Delta Static Analysis Alarms;2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM);2022-10
2. Survey of Approaches for Postprocessing of Static Analysis Alarms;ACM Computing Surveys;2022-02-03
3. Scaling Bounded Model Checking by Transforming Programs with Arrays;Logic-Based Program Synthesis and Transformation;2017
4. Sequentialization Using Timestamps;Lecture Notes in Computer Science;2017
5. Value Slice: A New Slicing Concept for Scalable Property Checking;Tools and Algorithms for the Construction and Analysis of Systems;2015