Learning to Find Software Bugs

Informations projet

LearnBugs

N° de convention de subvention: 851895

DOI

10.3030/851895

Projet clôturé

Date de signature de la CE 18 Septembre 2019

Date de début 1 Mars 2020

Date de fin 31 Août 2025

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 458 375,00

Contribution de l’UE

€ 1 458 375,00

Coordonné par

UNIVERSITY OF STUTTGART
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Open Research Data Pilot (1)

Data Management Plan

Research data produced during the project

Publications

Conference proceedings (36)

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

Auteurs: Jibesh Patra, Michael Pradel
Publié dans: ICSE '22: Proceedings of the 44th International Conference on Software Engineering, 2022
Éditeur: Association for Computing Machinery
DOI: 10.1145/3510003.3510144

Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly

Auteurs: Alan Romano, Daniel Lehmann, Michael Pradel, Weihang Wang
Publié dans: 2022 IEEE Symposium on Security and Privacy (SP), 2022
Éditeur: IEEE
DOI: 10.1109/sp46214.2022.9833626

Resource Usage and Optimization Opportunities in Workflows of GitHub Actions

Auteurs: Islem Bouzenia, Michael Pradel
Publié dans: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Page(s) 1-12
Éditeur: ACM
DOI: 10.1145/3597503.3623303

Finding data compatibility bugs with JSON subschema checking

Auteurs: Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
Publié dans: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021, Page(s) 620-632, ISBN 9781450384599
Éditeur: ACM
DOI: 10.1145/3460319.3464796

Everything Old is New Again: Binary Security of WebAssembly

Auteurs: Daniel Lehmann, Johannes Kinder, Michael Pradel
Publié dans: 2020
Éditeur: USENIX Security Symposium 2020

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

Auteurs: Masudul Hasan Masud Bhuiyan, Adithya Srinivas Parthasarathy, Nikos Vasilakis, Michael Pradel, Cristian-Alexandru Staicu
Publié dans: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023
Éditeur: IEEE
DOI: 10.1109/icse48619.2023.00096

PyTy: Repairing Static Type Errors in Python

Auteurs: Yiu Wai Chow, Luca Di Grazia, Michael Pradel
Publié dans: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Page(s) 1-13
Éditeur: ACM
DOI: 10.1145/3597503.3639184

Fuzz4All: Universal Fuzzing with Large Language Models

Auteurs: Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang
Publié dans: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Page(s) 1-13
Éditeur: ACM
DOI: 10.1145/3597503.3639121

TypeWriter: neural type prediction with search-based validation

Auteurs: Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
Publié dans: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Page(s) 209-220, ISBN 9781450370431
Éditeur: ACM
DOI: 10.1145/3368089.3409715

Scaffle: bug localization on millions of files

Auteurs: Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra
Publié dans: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Page(s) 225-236, ISBN 9781450380089
Éditeur: ACM
DOI: 10.1145/3395363.3397356

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

Auteurs: Aaron Hilbig, Daniel Lehmann, Michael Pradel
Publié dans: Proceedings of the Web Conference 2021, 2021, Page(s) 2696-2708, ISBN 9781450383127
Éditeur: ACM
DOI: 10.1145/3442381.3450138

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

Auteurs: Nikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis, Konstantinos Kallas, Ben Karel, Andre DeHon, Michael Pradel
Publié dans: CCS '21: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021
Éditeur: Association for Computing Machinery
DOI: 10.1145/3460120

Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks

Auteurs: Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip
Publié dans: ICSE '22: Proceedings of the 44th International Conference on Software Engineering, 2022
Éditeur: Association for Computing Machinery
DOI: 10.1145/3510003.3510106

ConfProf: White-Box Performance Profiling of Configuration Options

Auteurs: Xue Han, Tingting Yu, Michael Pradel
Publié dans: Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2021, Page(s) 1-8, ISBN 9781450381949
Éditeur: ACM
DOI: 10.1145/3427921.3450255

Continuous test suite failure prediction

Auteurs: Cong Pan, Michael Pradel
Publié dans: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021, Page(s) 553-565, ISBN 9781450384599
Éditeur: ACM
DOI: 10.1145/3460319.3464840

Treefix: Enabling Execution with a Tree of Prefixes

Auteurs: Beatriz Souza, Michael Pradel
Publié dans: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, Page(s) 2676-2688
Éditeur: IEEE
DOI: 10.1109/icse55347.2025.00215

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

Auteurs: Aryaz Eghbali, Michael Pradel
Publié dans: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Page(s) 956-967, ISBN 9781450367684
Éditeur: ACM
DOI: 10.1145/3324884.3416576

The Evolution of Type Annotations in Python: An Empirical Study

Auteurs: Luca Di Grazia, Michael Pradel
Publié dans: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Éditeur: Association for Computing Machinery
DOI: 10.5281/zenodo.7082252

Beware of the Unexpected: Bimodal Taint Analysis

Auteurs: Yiu Wai Chow, Max Schäfer, Michael Pradel
Publié dans: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023, Page(s) 211-222
Éditeur: ACM
DOI: 10.1145/3597926.3598050

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

Auteurs: Islem Bouzenia, Premkumar Devanbu, Michael Pradel
Publié dans: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, Page(s) 2188-2200
Éditeur: IEEE
DOI: 10.1109/icse55347.2025.00157

Generating Realistic Vulnerabilities via Neural Code Editing: An Empirical Study

Auteurs: Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
Publié dans: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Éditeur: Association for Computing Machinery
DOI: 10.5281/zenodo.7048525

MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform

Auteurs: Matteo Paltenghi, Michael Pradel
Publié dans: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2024, Page(s) 2413-2424
Éditeur: IEEE
DOI: 10.1109/icse48619.2023.00202

LExecutor: Learning-Guided Execution

Auteurs: Beatriz Souza, Michael Pradel
Publié dans: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2024, Page(s) 1522-1534
Éditeur: ACM
DOI: 10.1145/3611643.3616254

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

Auteurs: Jibesh Patra, Michael Pradel
Publié dans: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021, Page(s) 906-918, ISBN 9781450385626
Éditeur: ACM
DOI: 10.1145/3468264.3468623

IdBench: Evaluating Semantic Representations of Identifier Names in Source Code

Auteurs: Yaza Wainakh, Moiz Rauf, Michael Pradel
Publié dans: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, Page(s) 562-573, ISBN 978-1-6654-0296-5
Éditeur: IEEE
DOI: 10.1109/icse43902.2021.00059

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

Auteurs: Matteo Paltenghi, Michael Pradel
Publié dans: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021
Éditeur: IEEE
DOI: 10.1109/ase51524.2021.9678712

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

Auteurs: Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel
Publié dans: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Éditeur: ACM
DOI: 10.1145/3597926.3598104

Calibration and Correctness of Language Models for Code

Auteurs: Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed
Publié dans: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, Page(s) 540-552
Éditeur: IEEE
DOI: 10.1109/icse55347.2025.00040

VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning

Auteurs: Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
Publié dans: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, Page(s) 2527-2539
Éditeur: IEEE
DOI: 10.1109/icse48619.2023.00211

CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code

Auteurs: Aryaz Eghbali, Michael Pradel
Publié dans: ICSE '22: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, 2022
Éditeur: Association for Computing Machinery
DOI: 10.1145/3510454.3528648

Learning to make compiler optimizations more effective

Auteurs: Rahim Mammadli; Marija Selakovic; Felix Wolf; Michael Pradel
Publié dans: MAPS@PLDI, Numéro 1, 2021
Éditeur: ACM
DOI: 10.1145/3460945.3464952

Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries

Auteurs: Daniel Lehmann, Michael Pradel
Publié dans: PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022
Éditeur: Association for Computing Machinery
DOI: 10.1145/3519939.3523449

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

Auteurs: Islem Bouzenia, Michael Pradel
Publié dans: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, Page(s) 868-880
Éditeur: IEEE
DOI: 10.1109/icse48619.2023.00081

DynaPyt: A Dynamic Analysis Framework for Python

Auteurs: Aryaz Eghbali, Michael Pradel
Publié dans: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Éditeur: Association for Computing Machinery
DOI: 10.5281/zenodo.7037946

Can LLMs Replace Manual Annotation of Software Engineering Artifacts?

Auteurs: Toufique Ahmed, Premkumar Devanbu, Christoph Treude, Michael Pradel
Publié dans: 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories (MSR), 2025, Page(s) 526-538
Éditeur: IEEE
DOI: 10.1109/msr66628.2025.00086

Extracting taint specifications for JavaScript libraries

Auteurs: Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel
Publié dans: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, 2020, Page(s) 198-209, ISBN 9781450371216
Éditeur: ACM
DOI: 10.1145/3377811.3380390

Peer reviewed articles (10)

DyPyBench: A Benchmark of Executable Python Software

Auteurs: Islem Bouzenia, Bajaj Piyush Krishan, Michael Pradel
Publié dans: Proceedings of the ACM on Software Engineering, Numéro 1, 2024, Page(s) 338-358, ISSN 2994-970X
Éditeur: FSE
DOI: 10.1145/3643742

ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution

Auteurs: Lars Gröninger, Beatriz Souza, Michael Pradel
Publié dans: Proceedings of the ACM on Software Engineering, Numéro 2, 2025, Page(s) 936-956, ISSN 2994-970X
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3715760

An Empirical Study of Suppressed Static Analysis Warnings

Auteurs: Huimin Hu, Yingying Wang, Julia Rubin, Michael Pradel
Publié dans: Proceedings of the ACM on Software Engineering, Numéro 2, 2025, Page(s) 290-311, ISSN 2994-970X
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3715729

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

Auteurs: Matteo Paltenghi, Michael Pradel
Publié dans: Proceedings of the ACM on Software Engineering, Numéro 1, 2024, Page(s) 2144-2166, ISSN 2994-970X
Éditeur: FSE
DOI: 10.1145/3660802

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

Auteurs: Islem Bouzenia, Michael Pradel
Publié dans: Proceedings of the ACM on Software Engineering, Numéro 2, 2025, Page(s) 1054-1076, ISSN 2994-970X
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3728922

Code Search: A Survey of Techniques for Finding Code

Auteurs: Luca Di Grazia, Michael Pradel
Publié dans: ACM Computing Surveys Volume 55, Numéro 11, 2022, ISSN 0360-0300
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3565971

DiffSearch: A Scalable and Precise Search Engine for Code Changes

Auteurs: Luca Di Grazia, Paul Bredl, Michael Pradel
Publié dans: IEEE Transactions on Software Engineering, Numéro 49, 2024, Page(s) 2366-2380, ISSN 0098-5589
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2022.3218859

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

Auteurs: Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2025, Page(s) 2156-2182, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3689787

DyLin: A Dynamic Linter for Python

Auteurs: Aryaz Eghbali, Felix Burk, Michael Pradel
Publié dans: Proceedings of the ACM on Software Engineering, Numéro 2, 2025, Page(s) 2828-2849, ISSN 2994-970X
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3729395

Bugs in Quantum Computing Platforms: An Empirical Study

Auteurs: Matteo Paltenghi, Michael Pradel
Publié dans: Proceedings of the ACM on Programming Languages Volume 6, Numéro OOPSLA1, 2022, ISSN 2475-1421
Éditeur: Association for Computing Machinery
DOI: 10.5281/zenodo.5834281

Other (1)

Neural Software Analysis

Auteurs: Satish Chandra, Michael Pradel
Publié dans: Communications of the ACM, 2020
Éditeur: ACM
DOI: 10.1145/3460348