LISSA: Lazy Initialization with Specialized Solver Aid-Reference-Cited by-同舟云学术

LISSA: Lazy Initialization with Specialized Solver Aid

Published:2022-10-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Copia Juan Manuel¹^ORCID,Ponzio Pablo²^ORCID,Aguirre Nazareno²,Gorla Alessandra³,Frias Marcelo⁴

Affiliation:

1. IMDEA Software Institute, Spain and Universidad Politécnica de Madrid, Spain

2. Universidad Nacional de Río Cuarto, Argentina and CONICET, Argentina

3. IMDEA Software Institute, Spain

4. Instituto Tecnológico de Buenos Aires, Argentina and CONICET, Argentina

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3551349.3556965

Reference31 articles.

1. Korat

2. Combining symbolic execution and search-based testing for programs with complex heap inputs

3. Symbolic execution of programs with heap inputs

4. JBSE: a symbolic executor for Java programs with complex heap inputs

5. Cristian Cadar , Daniel Dunbar , and Dawson R. Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA , Proceedings, Richard Draves and Robbert van Renesse (Eds.). USENIX Association , 209–224. http://www.usenix.org/events/osdi08/tech/full_papers/cadar/cadar.pdf Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings, Richard Draves and Robbert van Renesse (Eds.). USENIX Association, 209–224. http://www.usenix.org/events/osdi08/tech/full_papers/cadar/cadar.pdf

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Precise Lazy Initialization for Programs with Complex Heap Inputs;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09