• Recent & Upcoming Talks
    • Example Talk
  • Publications
    • AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
    • OCEAN: Open-World Contrastive Authorship Identification
    • SOVEREIGN-towards a holistic approach to critical infrastructure protection
    • SWAT: Modular dynamic symbolic execution for java applications using dynamic instrumentation (competition contribution)
    • Madvex: Instrumentation-Based Adversarial Attacks on Machine Learning Malware Detection
  • Projects
  • Projects
    • Pandas
    • PyTorch
    • scikit-learn
  • Experience
  • Teaching
    • Learn JavaScript
    • Learn Python
  • Blog
    • 🏆 Nils Loose graduated with the best Master's degree in computer science
    • 🎉 SWAT achieved 4th place in the 13th Competition on Software Verification (SV-COMP 2024) at its debut year!

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, 2024 →

© 2025 Nils Loose. This work is licensed under CC BY NC ND 4.0

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