Author:
Conway Christopher L.,Namjoshi Kedar S.,Dams Dennis,Edwards Stephen A.
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Hallem, S., Chelf, B., Xie, Y., Engler, D.: A system and language for building system-specific, static analyses. In: PLDI, Berlin, Germany, pp. 69–82 (2002)
2. Holzmann, G.: Static source code checking for user-defined properties. In: Integrated Design and Process Technology (IDPT), Pasadena, CA (2002)
3. Lecture Notes in Computer Science;T. Ball,2001
4. Reps, T., Horwitz, S., Sagiv, S.: Precise interprocedural dataflow analysis via graph reachability. In: POPL, San Francisco, CA, pp. 49–61 (1995)
5. Lecture Notes in Computer Science;J. Esparza,2001
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Input splitting for cloud-based static application security testing platforms;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
2. SMT-based verification of program changes through summary repair;Formal Methods in System Design;2022-06
3. Faster Pushdown Reachability Analysis with Applications in Network Verification;Automated Technology for Verification and Analysis;2021
4. Termination analysis for evolving programs: an incremental approach by reusing certified modules;Proceedings of the ACM on Programming Languages;2020-11-13
5. Fixpoint reuse for incremental JavaScript analysis;Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019;2019