Marcel Böhme
Marcel Böhme
ARC DECRA Fellow and Senior Lecturer at Monash University
Verifierad e-postadress på monash.edu - Startsida
Titel
Citeras av
Citeras av
År
Coverage-based greybox fuzzing as markov chain
M Böhme, VT Pham, A Roychoudhury
IEEE Transactions on Software Engineering 45 (5), 489-506, 2017
4092017
Directed greybox fuzzing
M Böhme, VT Pham, MD Nguyen, A Roychoudhury
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
2572017
Corebench: Studying complexity of regression errors
M Böhme, A Roychoudhury
Proceedings of the 2014 international symposium on software testing and …, 2014
702014
Model-based whitebox fuzzing for program binaries
VT Pham, M Böhme, A Roychoudhury
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
682016
Partition-Based Regression Verification
M Böhme, BCS Oliveira, A Roychoudhury
ACM/IEEE International Conference on Software Engineering, 302-311, 2013
572013
Where Is the Bug and How Is It Fixed? An Experiment with Practitioners
M Böhme, EO Soremekun, S Chattopadhyay, E Ugherughe, A Zeller
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
542017
Smart greybox fuzzing
VT Pham, M Böhme, AE Santosa, AR Caciulescu, A Roychoudhury
IEEE Transactions on Software Engineering, 2019
522019
A probabilistic analysis of the efficiency of automated software testing
M Böhme, S Paul
IEEE Transactions on Software Engineering 42 (4), 345-360, 2015
492015
Regression tests to expose change interaction errors
M Böhme, BCS Oliveira, A Roychoudhury
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
432013
On the efficiency of automated testing
M Böhme, S Paul
Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations …, 2014
242014
A Correlation Study Between Automated Program Repair and Test-Suite Metrics
J Yi, SH Tan, S Mechtaev, M Böhme, A Roychoudhury
Empirical Software Engineering 23 (5), 2948--2979, 2018
232018
The Fuzzing Book
A Zeller, R Gopinath, M Böhme, G Fraser, C Holler
CISPA+ Saarland University, 2019
222019
Detecting information flow by mutating input data
B Mathis, V Avdiienko, EO Soremekun, M Böhme, A Zeller
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
182017
STADS: Software Testing as Species Discovery
M Böhme
ACM Transactions on Software Engineering and Methodology 27 (2), 7:1--7:52, 2018
162018
AFLNet: a greybox fuzzer for network protocols
VT Pham, M Böhme, A Roychoudhury
2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020
112020
Assurance in software testing: A roadmap
M Böhme
2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019
82019
Software Regression as Change of Input Partitioning
M Böhme
International Conference on Software Engineering, 1495-1498, 2012
72012
Time-travel Testing of Android Apps
Z Dong, M Böhme, L Cojocaru, A Roychoudhury
2020 ACM/IEEE 42nd International Conference on Software Engineering, 12, 2020
62020
Fuzzing: On the Exponential Cost of Vulnerability Discovery
M Böhme, B Falk
ESEC/FSE, 747-758, 2020
52020
Boosting fuzzer efficiency: An information theoretic perspective
M Böhme, VJM Manès, SK Cha
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
42020
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20