18 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.SE2023
Finding Bug-Inducing Program Environments
Zahra Mirzamomen, Marcel Böhme
Some bugs cannot be exposed by program inputs, but only by certain program environments. During execution, most programs access various resources, like databases, files, or devices…
cs.CR2022★ 18 cited
Stateful Greybox Fuzzing
Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen +1
Many protocol implementations are reactive systems, where the protocol process is in continuous interaction with other processes and the environment. If a bug can be exposed only i…