Skip to content
View martineberlein's full-sized avatar
🏔️
🏔️
18 followers · 15 following

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Highlights

  • Pro

Block or report martineberlein

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
martineberlein/README.md

Hi, I'm Martin 👋

🚀 Researcher & PhD Candidate @ Humboldt-Universität zu Berlin
🪴 Building Debugging Tools to enhance software reliability and development efficiency
🔭 Currently Working On:

  • FandangoLearn – A invariant learner mining input specifications that distinguish between accepted and rejected inputs.

Other cool tools:

  • Avicenna – A tool for explaining input circumstances that trigger pathological program behavior, i.e., bugs.
  • EvoGFuzz – An evolutionary grammar-based fuzzer for generating effective test inputs.

👨🏽‍💻 Publications

Check out my latest research on Google Scholar or DBLP.

📫 Get in Touch

💡 Always open to discussions, collaborations, and ideas in software engineering and debugging tools!

Pinned Loading

  1. fandango-learn fandango-learn Public

    FandangoLearn is a constraint miner to identify input invariants.

    Python 1

  2. avicenna avicenna Public

    Debugging Prototype Avicenna

    Python 9 5

  3. evogfuzz evogfuzz Public

    Evolutionary Grammar-Based Fuzzing Framework to detect Failures

    Python 7 9

  4. alhazen-py alhazen-py Public

    Extended python version of the debugging tool Alhazen

    Python 3 3