Marcel Böhme
Marcel Böhme
ARC DECRA Fellow and Senior Lecturer at Monash University
Email verificata su monash.edu - Home page
Titolo
Citata da
Citata da
Anno
Coverage-based greybox fuzzing as markov chain
M Böhme, VT Pham, A Roychoudhury
IEEE Transactions on Software Engineering 45 (5), 489-506, 2017
3502017
Directed greybox fuzzing
M Böhme, VT Pham, MD Nguyen, A Roychoudhury
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
2142017
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
662016
Corebench: Studying complexity of regression errors
M Böhme, A Roychoudhury
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
652014
Partition-Based Regression Verification
M Böhme, BCS Oliveira, A Roychoudhury
ACM/IEEE International Conference on Software Engineering, 302-311, 2013
532013
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
422017
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
422015
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
412013
Smart greybox fuzzing
VT Pham, M Böhme, AE Santosa, AR Caciulescu, A Roychoudhury
IEEE Transactions on Software Engineering, 2019
342019
On the efficiency of automated testing
M Böhme, S Paul
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
232014
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
202018
The Fuzzing Book
A Zeller, R Gopinath, M Böhme, G Fraser, C Holler
CISPA+ Saarland University, 2019
162019
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
152017
STADS: Software Testing as Species Discovery
M Böhme
ACM Transactions on Software Engineering and Methodology 27 (2), 7:1--7:52, 2018
112018
Assurance in software testing: A roadmap
M Böhme
2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019
82019
AFLNET: A Greybox Fuzzer for Network Protocols
VT Pham, M Böhme, A Roychoudhury
Proc. IEEE International Conference on Software Testing, Verification and …, 2020
62020
Software Regression as Change of Input Partitioning
M Böhme
International Conference on Software Engineering, 1495-1498, 2012
62012
HyDiff: Hybrid Differential Software Analysis
Y Noller, CS Păsăreanu, M Böhme, Y Sun, HL Nguyen, L Grunske
Proceedings of the International Conference on Software Engineering, 2020
42020
Regression testing of evolving programs
M Böhme, A Roychoudhury, BCDS Oliveira
Advances in Computers 89, 53-88, 2013
42013
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty
YRS Llerena, M Böhme, M Brünink, G Su, DS Rosenblum
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
32018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20