Learning to Find Software Bugs

Projektinformationen

LearnBugs

ID Finanzhilfevereinbarung: 851895

DOI

10.3030/851895

Projekt abgeschlossen

EK-Unterschriftsdatum 18 September 2019

Startdatum 1 März 2020

Enddatum 31 August 2025

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 458 375,00

EU-Beitrag

€ 1 458 375,00

Koordiniert durch

UNIVERSITY OF STUTTGART
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Open Research Data Pilot (1)

Data Management Plan

Research data produced during the project

Veröffentlichungen

Conference proceedings (36)

Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks

Autoren: Jibesh Patra, Michael Pradel
Veröffentlicht in: ICSE '22: Proceedings of the 44th International Conference on Software Engineering, 2022
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3510003.3510144

Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly

Autoren: Alan Romano, Daniel Lehmann, Michael Pradel, Weihang Wang
Veröffentlicht in: 2022 IEEE Symposium on Security and Privacy (SP), 2022
Herausgeber: IEEE
DOI: 10.1109/sp46214.2022.9833626

Resource Usage and Optimization Opportunities in Workflows of GitHub Actions

Autoren: Islem Bouzenia, Michael Pradel
Veröffentlicht in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Seite(n) 1-12
Herausgeber: ACM
DOI: 10.1145/3597503.3623303

Finding data compatibility bugs with JSON subschema checking

Autoren: Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
Veröffentlicht in: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021, Seite(n) 620-632, ISBN 9781450384599
Herausgeber: ACM
DOI: 10.1145/3460319.3464796

Everything Old is New Again: Binary Security of WebAssembly

Autoren: Daniel Lehmann, Johannes Kinder, Michael Pradel
Veröffentlicht in: 2020
Herausgeber: USENIX Security Symposium 2020

SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript

Autoren: Masudul Hasan Masud Bhuiyan, Adithya Srinivas Parthasarathy, Nikos Vasilakis, Michael Pradel, Cristian-Alexandru Staicu
Veröffentlicht in: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023
Herausgeber: IEEE
DOI: 10.1109/icse48619.2023.00096

PyTy: Repairing Static Type Errors in Python

Autoren: Yiu Wai Chow, Luca Di Grazia, Michael Pradel
Veröffentlicht in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Seite(n) 1-13
Herausgeber: ACM
DOI: 10.1145/3597503.3639184

Fuzz4All: Universal Fuzzing with Large Language Models

Autoren: Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang
Veröffentlicht in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Seite(n) 1-13
Herausgeber: ACM
DOI: 10.1145/3597503.3639121

TypeWriter: neural type prediction with search-based validation

Autoren: Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
Veröffentlicht in: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Seite(n) 209-220, ISBN 9781450370431
Herausgeber: ACM
DOI: 10.1145/3368089.3409715

Scaffle: bug localization on millions of files

Autoren: Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra
Veröffentlicht in: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Seite(n) 225-236, ISBN 9781450380089
Herausgeber: ACM
DOI: 10.1145/3395363.3397356

An Empirical Study of Real-World WebAssembly Binaries - Security, Languages, Use Cases

Autoren: Aaron Hilbig, Daniel Lehmann, Michael Pradel
Veröffentlicht in: Proceedings of the Web Conference 2021, 2021, Seite(n) 2696-2708, ISBN 9781450383127
Herausgeber: ACM
DOI: 10.1145/3442381.3450138

Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction

Autoren: Nikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis, Konstantinos Kallas, Ben Karel, Andre DeHon, Michael Pradel
Veröffentlicht in: CCS '21: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3460120

Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks

Autoren: Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip
Veröffentlicht in: ICSE '22: Proceedings of the 44th International Conference on Software Engineering, 2022
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3510003.3510106

ConfProf: White-Box Performance Profiling of Configuration Options

Autoren: Xue Han, Tingting Yu, Michael Pradel
Veröffentlicht in: Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2021, Seite(n) 1-8, ISBN 9781450381949
Herausgeber: ACM
DOI: 10.1145/3427921.3450255

Continuous test suite failure prediction

Autoren: Cong Pan, Michael Pradel
Veröffentlicht in: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021, Seite(n) 553-565, ISBN 9781450384599
Herausgeber: ACM
DOI: 10.1145/3460319.3464840

Treefix: Enabling Execution with a Tree of Prefixes

Autoren: Beatriz Souza, Michael Pradel
Veröffentlicht in: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, Seite(n) 2676-2688
Herausgeber: IEEE
DOI: 10.1109/icse55347.2025.00215

No strings attached - an empirical study of string-related software bugs

Autoren: Aryaz Eghbali, Michael Pradel
Veröffentlicht in: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Seite(n) 956-967, ISBN 9781450367684
Herausgeber: ACM
DOI: 10.1145/3324884.3416576

The Evolution of Type Annotations in Python: An Empirical Study

Autoren: Luca Di Grazia, Michael Pradel
Veröffentlicht in: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Herausgeber: Association for Computing Machinery
DOI: 10.5281/zenodo.7082252

Beware of the Unexpected: Bimodal Taint Analysis

Autoren: Yiu Wai Chow, Max Schäfer, Michael Pradel
Veröffentlicht in: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023, Seite(n) 211-222
Herausgeber: ACM
DOI: 10.1145/3597926.3598050

RepairAgent: An Autonomous, LLM-Based Agent for Program Repair

Autoren: Islem Bouzenia, Premkumar Devanbu, Michael Pradel
Veröffentlicht in: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, Seite(n) 2188-2200
Herausgeber: IEEE
DOI: 10.1109/icse55347.2025.00157

Generating Realistic Vulnerabilities via Neural Code Editing: An Empirical Study

Autoren: Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
Veröffentlicht in: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Herausgeber: Association for Computing Machinery
DOI: 10.5281/zenodo.7048525

MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform

Autoren: Matteo Paltenghi, Michael Pradel
Veröffentlicht in: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2024, Seite(n) 2413-2424
Herausgeber: IEEE
DOI: 10.1109/icse48619.2023.00202

LExecutor: Learning-Guided Execution

Autoren: Beatriz Souza, Michael Pradel
Veröffentlicht in: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2024, Seite(n) 1522-1534
Herausgeber: ACM
DOI: 10.1145/3611643.3616254

Semantic bug seeding: a learning-based approach for creating realistic bugs

Autoren: Jibesh Patra, Michael Pradel
Veröffentlicht in: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021, Seite(n) 906-918, ISBN 9781450385626
Herausgeber: ACM
DOI: 10.1145/3468264.3468623

IdBench: Evaluating Semantic Representations of Identifier Names in Source Code

Autoren: Yaza Wainakh, Moiz Rauf, Michael Pradel
Veröffentlicht in: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, Seite(n) 562-573, ISBN 978-1-6654-0296-5
Herausgeber: IEEE
DOI: 10.1109/icse43902.2021.00059

Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code

Autoren: Matteo Paltenghi, Michael Pradel
Veröffentlicht in: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021
Herausgeber: IEEE
DOI: 10.1109/ase51524.2021.9678712

That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly

Autoren: Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel
Veröffentlicht in: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Herausgeber: ACM
DOI: 10.1145/3597926.3598104

Calibration and Correctness of Language Models for Code

Autoren: Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed
Veröffentlicht in: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, Seite(n) 540-552
Herausgeber: IEEE
DOI: 10.1109/icse55347.2025.00040

VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning

Autoren: Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
Veröffentlicht in: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, Seite(n) 2527-2539
Herausgeber: IEEE
DOI: 10.1109/icse48619.2023.00211

CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code

Autoren: Aryaz Eghbali, Michael Pradel
Veröffentlicht in: ICSE '22: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, 2022
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3510454.3528648

Learning to make compiler optimizations more effective

Autoren: Rahim Mammadli; Marija Selakovic; Felix Wolf; Michael Pradel
Veröffentlicht in: MAPS@PLDI, Ausgabe 1, 2021
Herausgeber: ACM
DOI: 10.1145/3460945.3464952

Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries

Autoren: Daniel Lehmann, Michael Pradel
Veröffentlicht in: PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3519939.3523449

When to Say What: Learning to Find Condition-Message Inconsistencies

Autoren: Islem Bouzenia, Michael Pradel
Veröffentlicht in: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, Seite(n) 868-880
Herausgeber: IEEE
DOI: 10.1109/icse48619.2023.00081

DynaPyt: A Dynamic Analysis Framework for Python

Autoren: Aryaz Eghbali, Michael Pradel
Veröffentlicht in: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Herausgeber: Association for Computing Machinery
DOI: 10.5281/zenodo.7037946

Can LLMs Replace Manual Annotation of Software Engineering Artifacts?

Autoren: Toufique Ahmed, Premkumar Devanbu, Christoph Treude, Michael Pradel
Veröffentlicht in: 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories (MSR), 2025, Seite(n) 526-538
Herausgeber: IEEE
DOI: 10.1109/msr66628.2025.00086

Extracting taint specifications for JavaScript libraries

Autoren: Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel
Veröffentlicht in: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, 2020, Seite(n) 198-209, ISBN 9781450371216
Herausgeber: ACM
DOI: 10.1145/3377811.3380390

Peer reviewed articles (10)

DyPyBench: A Benchmark of Executable Python Software

Autoren: Islem Bouzenia, Bajaj Piyush Krishan, Michael Pradel
Veröffentlicht in: Proceedings of the ACM on Software Engineering, Ausgabe 1, 2024, Seite(n) 338-358, ISSN 2994-970X
Herausgeber: FSE
DOI: 10.1145/3643742

ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution

Autoren: Lars Gröninger, Beatriz Souza, Michael Pradel
Veröffentlicht in: Proceedings of the ACM on Software Engineering, Ausgabe 2, 2025, Seite(n) 936-956, ISSN 2994-970X
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3715760

An Empirical Study of Suppressed Static Analysis Warnings

Autoren: Huimin Hu, Yingying Wang, Julia Rubin, Michael Pradel
Veröffentlicht in: Proceedings of the ACM on Software Engineering, Ausgabe 2, 2025, Seite(n) 290-311, ISSN 2994-970X
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3715729

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit

Autoren: Matteo Paltenghi, Michael Pradel
Veröffentlicht in: Proceedings of the ACM on Software Engineering, Ausgabe 1, 2024, Seite(n) 2144-2166, ISSN 2994-970X
Herausgeber: FSE
DOI: 10.1145/3660802

You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects

Autoren: Islem Bouzenia, Michael Pradel
Veröffentlicht in: Proceedings of the ACM on Software Engineering, Ausgabe 2, 2025, Seite(n) 1054-1076, ISSN 2994-970X
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3728922

Code Search: A Survey of Techniques for Finding Code

Autoren: Luca Di Grazia, Michael Pradel
Veröffentlicht in: ACM Computing Surveys Volume 55, Ausgabe 11, 2022, ISSN 0360-0300
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3565971

DiffSearch: A Scalable and Precise Search Engine for Code Changes

Autoren: Luca Di Grazia, Paul Bredl, Michael Pradel
Veröffentlicht in: IEEE Transactions on Software Engineering, Ausgabe 49, 2024, Seite(n) 2366-2380, ISSN 0098-5589
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2022.3218859

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks

Autoren: Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2025, Seite(n) 2156-2182, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3689787

DyLin: A Dynamic Linter for Python

Autoren: Aryaz Eghbali, Felix Burk, Michael Pradel
Veröffentlicht in: Proceedings of the ACM on Software Engineering, Ausgabe 2, 2025, Seite(n) 2828-2849, ISSN 2994-970X
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3729395

Bugs in Quantum Computing Platforms: An Empirical Study

Autoren: Matteo Paltenghi, Michael Pradel
Veröffentlicht in: Proceedings of the ACM on Programming Languages Volume 6, Ausgabe OOPSLA1, 2022, ISSN 2475-1421
Herausgeber: Association for Computing Machinery
DOI: 10.5281/zenodo.5834281

Other (1)

Neural Software Analysis

Autoren: Satish Chandra, Michael Pradel
Veröffentlicht in: Communications of the ACM, 2020
Herausgeber: ACM
DOI: 10.1145/3460348