researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage
DBLP
ACM
LinkedIn

Profile Name

marcelboehme

Statistics

Publications: 1
Edited: 0
Credit: 11

Aliases

Marcel Böhme
M. Bohme
Böhme, M.
BÃ¶hme
Bohme, M.
Marcel Boehme
Marcel Bohme
Boehme, Marcel
Bohme
M. Boehme
Böhme
Boehme
M. Böhme
Boehme, M.
Böhme, Marcel
Bohme, Marcel

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Marcel Böhme's Profile

Publications

Unidentified Publications

Publications with a 'Marcel Böhme' as author, editor, or advisor:

Verifying the long-run behavior of probabilistic system models in the presence of uncertaintyYamilet R. Serrano Llerena, Marcel Böhme, Marc Brünink, Guoxin Su, David S. Rosenblum. FSE 2018: 587-597 [doi]
Defect Prediction Guided Search-Based Software TestingAnjana Perera, Aldeida Aleti, Marcel Böhme, Burak Turhan. ASE 2020: 448-460 [doi]
Statistical Reasoning About ProgramsMarcel Böhme. ICSE 2022: 76-80 [doi]
Software regression as change of input partitioningMarcel Böhme. ICSE 2012: 1523-1526 [doi]
Human-In-The-Loop Automatic Program RepairMarcel Böhme, Charaka Geethal, Van-Thuan Pham. icst 2020: 274-285 [doi]
Detecting information flow by mutating input dataBjörn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, Andreas Zeller. ASE 2017: 263-273 [doi]
Regression Testing of Evolving ProgramsMarcel Böhme, Abhik Roychoudhury, Bruno C. D. S. Oliveira. ac, 89:53-88, 2013. [doi]
Detecting Information Flow by Mutating Input DataBjörn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, Andreas Zeller. se 2018: 61-62 [doi]
Time-travel testing of Android appsZhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury. ICSE 2020: 481-492 [doi]
Evaluating the Impact of Experimental Assumptions in Automated Fault LocalizationEzekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Mike Papadakis. ICSE 2023: 159-171 [doi]
Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability PredictionStephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme, Sebastian Banescu. ISSTA 2023: 127-139 [doi]
A correlation study between automated program repair and test-suite metricsJooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury. ICSE 2018: 24 [doi]
Coverage-based Greybox Fuzzing as Markov ChainMarcel Böhme, Van-Thuan Pham, Abhik Roychoudhury. ccs 2016: 1032-1043 [doi]
Statistical Reachability AnalysisSeongmin Lee 0009, Marcel Böhme. FSE 2023: 326-337 [doi]
Human-in-the-Loop Automatic Program RepairCharaka Geethal, Marcel Böhme, Van-Thuan Pham. TSE, 49(10):4526-4549, October 2023. [doi]
Partition-based regression verificationMarcel Böhme, Bruno C. D. S. Oliveira, Abhik Roychoudhury. ICSE 2013: 302-311 [doi]
Fuzzing: Challenges and ReflectionsMarcel Böhme, Cristian Cadar, Abhik Roychoudhury. IEEE Software, 38(3):79-86, 2021. [doi]
AFLNET: A Greybox Fuzzer for Network ProtocolsVan-Thuan Pham, Marcel Böhme, Abhik Roychoudhury. icst 2020: 460-465 [doi]
Boosting Fuzzer Efficiency: An Information Theoretic PerspectiveMarcel Böhme, Valentin J. M. Manès, Sang Kil Cha. CACM, 66(11):89-97, November 2023. [doi]
Coverage-Based Greybox Fuzzing as Markov ChainMarcel Böhme, Van-Thuan Pham, Abhik Roychoudhury. TSE, 45(5):489-506, 2019. [doi]
Regression Greybox FuzzingXiaogang Zhu, Marcel Böhme. ccs 2021: 2169-2182 [doi]
Smart Greybox FuzzingVan-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury. TSE, 47(9):1980-1997, 2021. [doi]
An Experimental Assessment of Using Theoretical Defect Predictors to Guide Search-Based Software TestingAnjana Perera, Aldeida Aleti, Burak Turhan, Marcel Böhme. TSE, 49(1):131-146, 2023. [doi]
Estimating residual risk in greybox fuzzingMarcel Böhme, Danushka Liyanage, Valentin Wüstholz. FSE 2021: 230-241 [doi]
STADS: Software Testing as Species DiscoveryMarcel Böhme. TOSEM, 27(2), 2018. [doi]
Boosting fuzzer efficiency: an information theoretic perspectiveMarcel Böhme, Valentin J. M. Manès, Sang Kil Cha. FSE 2020: 678-689 [doi]
On the efficiency of automated testingMarcel Böhme, Soumya Paul. FSE 2014: 632-642 [doi]
Directed Greybox FuzzingMarcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury. ccs 2017: 2329-2344 [doi]
Locating faults with program slicing: an empirical analysisEzekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Andreas Zeller. ese, 26(3):51, 2021. [doi]
Stateful Greybox FuzzingJinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury. uss 2022: 3255-3272 [doi]
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131)Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser. dagstuhl-reports, 13(3):92-105, March 2023. [doi]
A Probabilistic Analysis of the Efficiency of Automated Software TestingMarcel Böhme, Soumya Paul. TSE, 42(4):345-360, 2016. [doi]
HyDiff: hybrid differential software analysisYannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske. ICSE 2020: 1273-1285 [doi]
On the Reliability of Coverage-Based Fuzzer BenchmarkingMarcel Böhme, László Szekeres, Jonathan Metzman. ICSE 2022: 1621-1633 [doi]
Wo ist der Fehler und wie wird er behoben? Ein Experiment mit SoftwareentwicklernMarcel Böhme, Ezekiel Olamide Soremekun, Sudipta Chattopadhyay 0001, Emamurho Ugherughe, Andreas Zeller. se 2018: 101-102 [doi]
Reachable Coverage: Estimating Saturation in FuzzingDanushka Liyanage, Marcel Böhme, Chakkrit Tantithamthavorn, Stephan Lipp. ICSE 2023: 371-383 [doi]
Where is the bug and how is it fixed? an experiment with practitionersMarcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay 0001, Emamurho Ugherughe, Andreas Zeller. FSE 2017: 117-128 [doi]
Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160)Marcel Böhme, Cristian Cadar, Abhik Roychoudhury. shonan-reports, 2019, 2019. [doi]
How developers debug software the DbgBench dataset: posterMarcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay 0001, Emamurho Ugherughe, Andreas Zeller. ICSE 2017: 244-246 [doi]
Regression tests to expose change interaction errorsMarcel Böhme, Bruno C. D. S. Oliveira, Abhik Roychoudhury. FSE 2013: 334-344 [doi]
Fuzzing: on the exponential cost of vulnerability discoveryMarcel Böhme, Brandon Falk. FSE 2020: 713-724 [doi]
A correlation study between automated program repair and test-suite metricsJooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury. ese, 23(5):2948-2979, 2018. [doi]
SBFT Tool Competition 2023 - Fuzzing TrackDongge Liu, Jonathan Metzman, Marcel Böhme, Oliver Chang, Abhishek Arya. ICSE 2023: 51-54 [doi]
Assurance in software testing: a roadmapMarcel Böhme. ICSE 2019: 5-8 [doi]
Model-based whitebox fuzzing for program binariesVan-Thuan Pham, Marcel Böhme, Abhik Roychoudhury. ASE 2016: 543-553 [doi]
Über die Effizienz des Automatischen TestensMarcel Böhme, Soumya Paul. se 2015: 136-137
Proceedings of the 2nd International Fuzzing Workshop, FUZZING 2023, Seattle, WA, USA, 17 July 2023Marcel Böhme, Yannic Noller, Baishakhi Ray, László Szekeres, editors, ACM, 2023. [doi]
CoREBench: studying complexity of regression errorsMarcel Böhme, Abhik Roychoudhury. ISSTA 2014: 105-115 [doi]
Human-in-the-loop oracle learning for semantic bugs in string processing programsCharaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, Marcel Böhme. ISSTA 2022: 215-226 [doi]
Continuous Fuzzing: A Study of the Effectiveness and Scalability of Fuzzing in CI/CD PipelinesThijs Klooster, Fatih Turkmen, Gerben Broenink, Ruben ten Hove, Marcel Böhme. ICSE 2023: 25-32 [doi]
Precise Data-Driven Approximation for Program Analysis via FuzzingNikhil Parasaram, Earl T. Barr, Sergey Mechtaev, Marcel Böhme. ASE 2023: 611-623 [doi]
FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage AnalyzerStephan Lipp, Daniel Elsner, Thomas Hutzelmann, Sebastian Banescu, Alexander Pretschner, Marcel Böhme. ICSE 2022: 75-79 [doi]
Erratum to "a robust transcortical profile scanner for generating 2-d traverses in histological sections of richly curved cortical courses": [NeuroImage 16 (2002) 1103-1119]☆, ☆☆O. Schmitt, M. Böhme. neuroimage, 18(3):811, 2003. [doi]
A Robust Transcortical Profile Scanner for Generating 2-D Traverses in Histological Sections of Richly Curved Cortical CoursesO. Schmitt, M. Böhme. neuroimage, 16(4):1103-1119, 2002. [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL