Filters








2 Hits in 1.9 sec

STADS: Software Testing as Species Discovery [article]

Marcel Böhme
2018 arXiv   pre-print
far, (ii) to estimate the additional time required to cover 10% more branches, or (iii) to assess the residual risk that a vulnerability exists when no vulnerability has been discovered.  ...  in ecology.  ...  In this article, the Shannon-entropy quantifies a program's difficulty to being automatically tested by a fuzzer.  ... 
arXiv:1803.02130v2 fatcat:bzx4rd2s5jbtxhkb3dou7e7p5m

MCPA: Program Analysis as Machine Learning [article]

Marcel Böhme
2019 arXiv   pre-print
In this paper, we propose an approach to scale-oblivious greybox program analysis with bounded error which applies efficient approximation schemes (FPRAS) from the foundations of machine learning: PAC  ...  However, the analytical approach is ill-equiped to handle implementations of complex, large-scale, heterogeneous software systems we see in the real world.  ...  RQ4 (Residual Risk). For a given allowable residual risk ϵ, how efficient is Alg. 1 in providing the probabilistic guarantee that no bug exists when none has been observed?  ... 
arXiv:1911.04687v1 fatcat:67lob2qahfdxbhmrq5m7prydra