Frank Busse

According to our database, Frank Busse authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay.

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact).

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar

Dagstuhl Artifacts Ser., 2022

Combining static analysis error traces with dynamic symbolic execution (experience paper).

Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

A Deterministic Memory Allocator for Dynamic Symbolic Execution.

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2020

Pending Constraints in Symbolic Execution for Better Exploration and Seeding.

Timotej Kapus, Frank Busse, Cristian Cadar

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Running symbolic execution forever.

Frank Busse, Martin Nowack, Cristian Cadar

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020