Learning to Find Software Bugs

Información del proyecto

LearnBugs

Identificador del acuerdo de subvención: 851895

DOI

10.3030/851895

Proyecto cerrado

Fecha de la firma de la CE 18 Septiembre 2019

Fecha de inicio 1 Marzo 2020

Fecha de finalización 31 Agosto 2025

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 458 375,00

Aportación de la UE

€ 1 458 375,00

Coordinado por

UNIVERSITY OF STUTTGART
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Open Research Data Pilot (1)

Data Management Plan

Research data produced during the project

Publicaciones

Conference proceedings (36)

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

Autores: Jibesh Patra, Michael Pradel
Publicado en: ICSE '22: Proceedings of the 44th International Conference on Software Engineering, 2022
Editor: Association for Computing Machinery
DOI: 10.1145/3510003.3510144

Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly

Autores: Alan Romano, Daniel Lehmann, Michael Pradel, Weihang Wang
Publicado en: 2022 IEEE Symposium on Security and Privacy (SP), 2022
Editor: IEEE
DOI: 10.1109/sp46214.2022.9833626

Resource Usage and Optimization Opportunities in Workflows of GitHub Actions

Autores: Islem Bouzenia, Michael Pradel
Publicado en: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Página(s) 1-12
Editor: ACM
DOI: 10.1145/3597503.3623303

Finding data compatibility bugs with JSON subschema checking

Autores: Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
Publicado en: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021, Página(s) 620-632, ISBN 9781450384599
Editor: ACM
DOI: 10.1145/3460319.3464796

Everything Old is New Again: Binary Security of WebAssembly

Autores: Daniel Lehmann, Johannes Kinder, Michael Pradel
Publicado en: 2020
Editor: USENIX Security Symposium 2020

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

Autores: Masudul Hasan Masud Bhuiyan, Adithya Srinivas Parthasarathy, Nikos Vasilakis, Michael Pradel, Cristian-Alexandru Staicu
Publicado en: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023
Editor: IEEE
DOI: 10.1109/icse48619.2023.00096

PyTy: Repairing Static Type Errors in Python

Autores: Yiu Wai Chow, Luca Di Grazia, Michael Pradel
Publicado en: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Página(s) 1-13
Editor: ACM
DOI: 10.1145/3597503.3639184

Fuzz4All: Universal Fuzzing with Large Language Models

Autores: Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang
Publicado en: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Página(s) 1-13
Editor: ACM
DOI: 10.1145/3597503.3639121

TypeWriter: neural type prediction with search-based validation

Autores: Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
Publicado en: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Página(s) 209-220, ISBN 9781450370431
Editor: ACM
DOI: 10.1145/3368089.3409715

Scaffle: bug localization on millions of files

Autores: Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra
Publicado en: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Página(s) 225-236, ISBN 9781450380089
Editor: ACM
DOI: 10.1145/3395363.3397356

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

Autores: Aaron Hilbig, Daniel Lehmann, Michael Pradel
Publicado en: Proceedings of the Web Conference 2021, 2021, Página(s) 2696-2708, ISBN 9781450383127
Editor: ACM
DOI: 10.1145/3442381.3450138

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

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

Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks

Autores: Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip
Publicado en: ICSE '22: Proceedings of the 44th International Conference on Software Engineering, 2022
Editor: Association for Computing Machinery
DOI: 10.1145/3510003.3510106

ConfProf: White-Box Performance Profiling of Configuration Options

Autores: Xue Han, Tingting Yu, Michael Pradel
Publicado en: Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2021, Página(s) 1-8, ISBN 9781450381949
Editor: ACM
DOI: 10.1145/3427921.3450255

Continuous test suite failure prediction

Autores: Cong Pan, Michael Pradel
Publicado en: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021, Página(s) 553-565, ISBN 9781450384599
Editor: ACM
DOI: 10.1145/3460319.3464840

Treefix: Enabling Execution with a Tree of Prefixes

Autores: Beatriz Souza, Michael Pradel
Publicado en: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, Página(s) 2676-2688
Editor: IEEE
DOI: 10.1109/icse55347.2025.00215

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

Autores: Aryaz Eghbali, Michael Pradel
Publicado en: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Página(s) 956-967, ISBN 9781450367684
Editor: ACM
DOI: 10.1145/3324884.3416576

The Evolution of Type Annotations in Python: An Empirical Study

Autores: Luca Di Grazia, Michael Pradel
Publicado en: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Editor: Association for Computing Machinery
DOI: 10.5281/zenodo.7082252

Beware of the Unexpected: Bimodal Taint Analysis

Autores: Yiu Wai Chow, Max Schäfer, Michael Pradel
Publicado en: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023, Página(s) 211-222
Editor: ACM
DOI: 10.1145/3597926.3598050

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

Autores: Islem Bouzenia, Premkumar Devanbu, Michael Pradel
Publicado en: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, Página(s) 2188-2200
Editor: IEEE
DOI: 10.1109/icse55347.2025.00157

Generating Realistic Vulnerabilities via Neural Code Editing: An Empirical Study

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

MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform

Autores: Matteo Paltenghi, Michael Pradel
Publicado en: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2024, Página(s) 2413-2424
Editor: IEEE
DOI: 10.1109/icse48619.2023.00202

LExecutor: Learning-Guided Execution

Autores: Beatriz Souza, Michael Pradel
Publicado en: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2024, Página(s) 1522-1534
Editor: ACM
DOI: 10.1145/3611643.3616254

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

Autores: Jibesh Patra, Michael Pradel
Publicado en: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021, Página(s) 906-918, ISBN 9781450385626
Editor: ACM
DOI: 10.1145/3468264.3468623

IdBench: Evaluating Semantic Representations of Identifier Names in Source Code

Autores: Yaza Wainakh, Moiz Rauf, Michael Pradel
Publicado en: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, Página(s) 562-573, ISBN 978-1-6654-0296-5
Editor: IEEE
DOI: 10.1109/icse43902.2021.00059

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

Autores: Matteo Paltenghi, Michael Pradel
Publicado en: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021
Editor: IEEE
DOI: 10.1109/ase51524.2021.9678712

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

Autores: Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel
Publicado en: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Editor: ACM
DOI: 10.1145/3597926.3598104

Calibration and Correctness of Language Models for Code

Autores: Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed
Publicado en: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, Página(s) 540-552
Editor: IEEE
DOI: 10.1109/icse55347.2025.00040

VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning

Autores: Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
Publicado en: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, Página(s) 2527-2539
Editor: IEEE
DOI: 10.1109/icse48619.2023.00211

CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code

Autores: Aryaz Eghbali, Michael Pradel
Publicado en: ICSE '22: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, 2022
Editor: Association for Computing Machinery
DOI: 10.1145/3510454.3528648

Learning to make compiler optimizations more effective

Autores: Rahim Mammadli; Marija Selakovic; Felix Wolf; Michael Pradel
Publicado en: MAPS@PLDI, Edición 1, 2021
Editor: ACM
DOI: 10.1145/3460945.3464952

Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries

Autores: Daniel Lehmann, Michael Pradel
Publicado en: PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022
Editor: Association for Computing Machinery
DOI: 10.1145/3519939.3523449

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

Autores: Islem Bouzenia, Michael Pradel
Publicado en: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, Página(s) 868-880
Editor: IEEE
DOI: 10.1109/icse48619.2023.00081

DynaPyt: A Dynamic Analysis Framework for Python

Autores: Aryaz Eghbali, Michael Pradel
Publicado en: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Editor: Association for Computing Machinery
DOI: 10.5281/zenodo.7037946

Can LLMs Replace Manual Annotation of Software Engineering Artifacts?

Autores: Toufique Ahmed, Premkumar Devanbu, Christoph Treude, Michael Pradel
Publicado en: 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories (MSR), 2025, Página(s) 526-538
Editor: IEEE
DOI: 10.1109/msr66628.2025.00086

Extracting taint specifications for JavaScript libraries

Autores: Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel
Publicado en: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, 2020, Página(s) 198-209, ISBN 9781450371216
Editor: ACM
DOI: 10.1145/3377811.3380390

Peer reviewed articles (10)

DyPyBench: A Benchmark of Executable Python Software

Autores: Islem Bouzenia, Bajaj Piyush Krishan, Michael Pradel
Publicado en: Proceedings of the ACM on Software Engineering, Edición 1, 2024, Página(s) 338-358, ISSN 2994-970X
Editor: FSE
DOI: 10.1145/3643742

ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution

Autores: Lars Gröninger, Beatriz Souza, Michael Pradel
Publicado en: Proceedings of the ACM on Software Engineering, Edición 2, 2025, Página(s) 936-956, ISSN 2994-970X
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3715760

An Empirical Study of Suppressed Static Analysis Warnings

Autores: Huimin Hu, Yingying Wang, Julia Rubin, Michael Pradel
Publicado en: Proceedings of the ACM on Software Engineering, Edición 2, 2025, Página(s) 290-311, ISSN 2994-970X
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3715729

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

Autores: Matteo Paltenghi, Michael Pradel
Publicado en: Proceedings of the ACM on Software Engineering, Edición 1, 2024, Página(s) 2144-2166, ISSN 2994-970X
Editor: FSE
DOI: 10.1145/3660802

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

Autores: Islem Bouzenia, Michael Pradel
Publicado en: Proceedings of the ACM on Software Engineering, Edición 2, 2025, Página(s) 1054-1076, ISSN 2994-970X
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3728922

Code Search: A Survey of Techniques for Finding Code

Autores: Luca Di Grazia, Michael Pradel
Publicado en: ACM Computing Surveys Volume 55, Edición 11, 2022, ISSN 0360-0300
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3565971

DiffSearch: A Scalable and Precise Search Engine for Code Changes

Autores: Luca Di Grazia, Paul Bredl, Michael Pradel
Publicado en: IEEE Transactions on Software Engineering, Edición 49, 2024, Página(s) 2366-2380, ISSN 0098-5589
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2022.3218859

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

Autores: Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
Publicado en: Proceedings of the ACM on Programming Languages, Edición 8, 2025, Página(s) 2156-2182, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3689787

DyLin: A Dynamic Linter for Python

Autores: Aryaz Eghbali, Felix Burk, Michael Pradel
Publicado en: Proceedings of the ACM on Software Engineering, Edición 2, 2025, Página(s) 2828-2849, ISSN 2994-970X
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3729395

Bugs in Quantum Computing Platforms: An Empirical Study

Autores: Matteo Paltenghi, Michael Pradel
Publicado en: Proceedings of the ACM on Programming Languages Volume 6, Edición OOPSLA1, 2022, ISSN 2475-1421
Editor: Association for Computing Machinery
DOI: 10.5281/zenodo.5834281

Other (1)

Neural Software Analysis

Autores: Satish Chandra, Michael Pradel
Publicado en: Communications of the ACM, 2020
Editor: ACM
DOI: 10.1145/3460348