• Recent & Upcoming Talks
    • Example Talk
  • Publications
    • AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
    • OCEAN: Open-World Contrastive Authorship Identification
    • SWAT: Modular dynamic symbolic execution for java applications using dynamic instrumentation (competition contribution)
    • Madvex: Instrumentation-Based Adversarial Attacks on Machine Learning Malware Detection
  • Projects
  • Blog
    • 🎉 Easily create your own simple yet highly customizable blog
    • 🧠 Sharpen your thinking with a second brain
    • 📈 Communicate your results effectively with the best data visualizations
    • 👩🏼‍🏫 Teach academic courses
    • ✅ Manage your projects
  • Projects
    • Pandas
    • PyTorch
    • scikit-learn
  • Experience
  • Teaching
    • Learn JavaScript
    • Learn Python

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution

Jan 1, 2025·
Felix Mächtle
,
Nils Loose
,
Jan-Niclas Serr
,
Jonas Sander
,
Thomas Eisenbarth
· 0 min read
Cite
Type
Journal article
Publication
To be published at SBFT 2025
Last updated on Jan 1, 2025
OCEAN: Open-World Contrastive Authorship Identification Jan 1, 2025 →

© 2025 Me.

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.