Author:
Bilardi Gianfranco,Pingali Keshav
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fast Change-Based Alarm Reporting for Evolving Software Systems;2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE);2021-10
2. Selective path-sensitive interval analysis (WIP paper);Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2021-06-22
3. Fast Computation of Strong Control Dependencies;Computer Aided Verification;2021
4. Statically relating program properties for efficient verification (short WIP paper);ACM SIGPLAN Notices;2018-12-07
5. Static Backward Slicing of Non-deterministic Programs and Systems;ACM Transactions on Programming Languages and Systems;2018-08-29