no code implementations • 8 Feb 2024 • Seongmin Lee, Marcel Böhme
In our experiments, our genetic algorithm discovers estimators that have a substantially smaller MSE than the state-of-the-art Good-Turing estimator.
1 code implementation • 28 Jun 2023 • Niklas Risse, Marcel Böhme
To study this question, researchers proposed to amplify the testing set by injecting semantic preserving changes and found that the model's accuracy significantly drops.
1 code implementation • 16 Dec 2019 • Marcel Böhme, Charaka Geethal, Van-Thuan Pham
Our key challenge is to maximize the oracle's accuracy in predicting which tests are bug-exposing given a small budget of queries.
no code implementations • 12 Nov 2019 • Marcel Böhme
The parameters $\delta>0$ and $\epsilon>0$ can be chosen arbitrarily close to zero (0) such that the program analysis outcome is said to be probably-approximately correct (PAC).
no code implementations • 23 Nov 2018 • Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Răzvan Căciulescu, Abhik Roychoudhury
In this work, we introduce smart greybox fuzzing (SGF) which leverages a high-level structural representation of the seed file to generate new files.
Cryptography and Security