Publications Conference proceedings (6) SnapFuzz: High-Throughput Fuzzing of Network Applications Author(s): Anastasios Andronidis, Cristian Cadar Published in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022 Publisher: Association for Computing Machinery DOI: 10.1145/3533767.3534376 Combining static analysis error traces with dynamic symbolic execution (experience paper) Author(s): Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson Published in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022 Publisher: ACM DOI: 10.1145/3533767.3534384 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, ISBN 9781450380089 Publisher: ACM DOI: 10.1145/3395363.3397360 A Deterministic Memory Allocator for Dynamic Symbolic Execution Author(s): Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar Published in: 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 Publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik DOI: 10.4230/lipics.ecoop.2022.9 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, ISBN 9781450370431 Publisher: ACM 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, ISBN 9781450367684 Publisher: ACM DOI: 10.1145/3324884.3416589 Peer reviewed articles (3) 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 Publisher: Institute of Electrical and Electronics Engineers DOI: 10.1109/ms.2020.3016773 CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively Author(s): Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson Published in: Empirical Software Engineering, Issue 15737616, 2022, ISSN 1573-7616 Publisher: Springer DOI: 10.1007/s10664-022-10146-1 SaBRe: load-time selective binary rewriting Author(s): Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar Published in: International Journal on Software Tools for Technology Transfer, 2022, ISSN 1433-2787 Publisher: Springer DOI: 10.1007/s10009-021-00644-w Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available
