Publisher
Springer International Publishing
Reference16 articles.
1. Artzi, S., Kiezun, A., Glasser, D., Ernst, M.: Combined static and dynamic mutability analysis. In: Proceedings of ASE 2007. ACM (2007)
2. Binkley, D., Gallagher, K.B.: Program slicing. In: Advances in Computers, vol. 43 (1996)
3. Blackburn, S.M., et al.: The DaCapo benchmarks: Java benchmarking development and analysis. In: Proceedings of OOPSLA 2006. ACM (2006)
4. Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of OSDI 2008. USENIX (2008)
5. Ceccarello, M., Tkachuk, O.: Automated generation of model classes for Java PathFinder. In: Proceedings of Java Pathfinder Workshop 2013, ACM SIGSOFT Software Engineering Notes, vol. 39, no. 1 (2014)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners;Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice;2024-04-14