Skip to main content

Program Analysis for Safe and Secure Software Evolution


Fuzzing: Challenges and Reflections

Author(s): Marcel Boehme, Cristian Cadar, Abhik ROYCHOUDHURY
Published in: IEEE Software, Issue 38/3, 2021, Page(s) 79-86, ISSN 0740-7459
DOI: 10.1109/ms.2020.3016773

Running symbolic execution forever

Author(s): Frank Busse, Martin Nowack, Cristian Cadar
Published in: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Page(s) 63-74
DOI: 10.1145/3395363.3397360

Past-sensitive pointer analysis for symbolic execution

Author(s): David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
Published in: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Page(s) 197-208
DOI: 10.1145/3368089.3409698

Pending constraints in symbolic execution for better exploration and seeding

Author(s): Timotej Kapus, Frank Busse, Cristian Cadar
Published in: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Page(s) 115-126
DOI: 10.1145/3324884.3416589


Artefact for the ISSTA 2020 Paper: Running Symbolic Execution Forever

Author(s): Busse, Frank; Nowack, Martin; Cadar, Cristian
DOI: 10.5281/zenodo.3895271; 10.5281/zenodo.3895270
Publisher: Zenodo