Author:
Le Quang Loc,Sun Jun,Chin Wei-Ngan
Publisher
Springer International Publishing
Reference45 articles.
1. Lecture Notes in Computer Science;A Haran,2015
2. Lecture Notes in Computer Science;M Barnett,2006
3. Lecture Notes in Computer Science;C Barrett,2011
4. Beckman, N.E., Nori, A.V., Rajamani, S.K., Simmons, R.J.: Proofs from tests. In: ISSTA, pp. 3–14. ACM, New York (2008)
5. Lecture Notes in Computer Science;J Berdine,2004
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
2. Compositional Satisfiability Solving in Separation Logic;Lecture Notes in Computer Science;2021
3. Shape Analysis;Foundations and Trends® in Programming Languages;2020
4. Bi-Abductive Inference for Shape and Ordering Properties;2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS);2019-11
5. A Decidable Logic for Tree Data-Structures with Measurements;Lecture Notes in Computer Science;2019