Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
2. Symbolic encoding of LL(1) parsing and its applications;Formal Methods in System Design;2023-06-22
3. A Theorem Proving Approach to Programming Language Semantics;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET);2023-05
4. Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing;Proceedings of the ACM on Programming Languages;2022-10-31
5. Almost correct invariants: synthesizing inductive invariants by fuzzing proofs;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18