Learning to Find Software Bugs

Informacje na temat projektu

LearnBugs

Identyfikator umowy o grant: 851895

DOI

10.3030/851895

Projekt został zamknięty

Data podpisania przez KE 18 Września 2019

Data rozpoczęcia 1 Marca 2020

Data zakończenia 31 Sierpnia 2025

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 458 375,00

Wkład UE

€ 1 458 375,00

Koordynowany przez

UNIVERSITY OF STUTTGART
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Open Research Data Pilot (1)

Data Management Plan

Research data produced during the project

Publikacje

Conference proceedings (36)

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

Autorzy: Jibesh Patra, Michael Pradel
Opublikowane w: ICSE '22: Proceedings of the 44th International Conference on Software Engineering, 2022
Wydawca: Association for Computing Machinery
DOI: 10.1145/3510003.3510144

Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly

Autorzy: Alan Romano, Daniel Lehmann, Michael Pradel, Weihang Wang
Opublikowane w: 2022 IEEE Symposium on Security and Privacy (SP), 2022
Wydawca: IEEE
DOI: 10.1109/sp46214.2022.9833626

Resource Usage and Optimization Opportunities in Workflows of GitHub Actions

Autorzy: Islem Bouzenia, Michael Pradel
Opublikowane w: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Strona(/y) 1-12
Wydawca: ACM
DOI: 10.1145/3597503.3623303

Finding data compatibility bugs with JSON subschema checking

Autorzy: Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
Opublikowane w: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021, Strona(/y) 620-632, ISBN 9781450384599
Wydawca: ACM
DOI: 10.1145/3460319.3464796

Everything Old is New Again: Binary Security of WebAssembly

Autorzy: Daniel Lehmann, Johannes Kinder, Michael Pradel
Opublikowane w: 2020
Wydawca: USENIX Security Symposium 2020

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

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

PyTy: Repairing Static Type Errors in Python

Autorzy: Yiu Wai Chow, Luca Di Grazia, Michael Pradel
Opublikowane w: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Strona(/y) 1-13
Wydawca: ACM
DOI: 10.1145/3597503.3639184

Fuzz4All: Universal Fuzzing with Large Language Models

Autorzy: Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang
Opublikowane w: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Strona(/y) 1-13
Wydawca: ACM
DOI: 10.1145/3597503.3639121

TypeWriter: neural type prediction with search-based validation

Autorzy: Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
Opublikowane w: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Strona(/y) 209-220, ISBN 9781450370431
Wydawca: ACM
DOI: 10.1145/3368089.3409715

Scaffle: bug localization on millions of files

Autorzy: Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra
Opublikowane w: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Strona(/y) 225-236, ISBN 9781450380089
Wydawca: ACM
DOI: 10.1145/3395363.3397356

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

Autorzy: Aaron Hilbig, Daniel Lehmann, Michael Pradel
Opublikowane w: Proceedings of the Web Conference 2021, 2021, Strona(/y) 2696-2708, ISBN 9781450383127
Wydawca: ACM
DOI: 10.1145/3442381.3450138

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

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

Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks

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

ConfProf: White-Box Performance Profiling of Configuration Options

Autorzy: Xue Han, Tingting Yu, Michael Pradel
Opublikowane w: Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2021, Strona(/y) 1-8, ISBN 9781450381949
Wydawca: ACM
DOI: 10.1145/3427921.3450255

Continuous test suite failure prediction

Autorzy: Cong Pan, Michael Pradel
Opublikowane w: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021, Strona(/y) 553-565, ISBN 9781450384599
Wydawca: ACM
DOI: 10.1145/3460319.3464840

Treefix: Enabling Execution with a Tree of Prefixes

Autorzy: Beatriz Souza, Michael Pradel
Opublikowane w: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, Strona(/y) 2676-2688
Wydawca: IEEE
DOI: 10.1109/icse55347.2025.00215

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

Autorzy: Aryaz Eghbali, Michael Pradel
Opublikowane w: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Strona(/y) 956-967, ISBN 9781450367684
Wydawca: ACM
DOI: 10.1145/3324884.3416576

The Evolution of Type Annotations in Python: An Empirical Study

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

Beware of the Unexpected: Bimodal Taint Analysis

Autorzy: Yiu Wai Chow, Max Schäfer, Michael Pradel
Opublikowane w: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023, Strona(/y) 211-222
Wydawca: ACM
DOI: 10.1145/3597926.3598050

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

Autorzy: Islem Bouzenia, Premkumar Devanbu, Michael Pradel
Opublikowane w: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, Strona(/y) 2188-2200
Wydawca: IEEE
DOI: 10.1109/icse55347.2025.00157

Generating Realistic Vulnerabilities via Neural Code Editing: An Empirical Study

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

MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform

Autorzy: Matteo Paltenghi, Michael Pradel
Opublikowane w: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2024, Strona(/y) 2413-2424
Wydawca: IEEE
DOI: 10.1109/icse48619.2023.00202

LExecutor: Learning-Guided Execution

Autorzy: Beatriz Souza, Michael Pradel
Opublikowane w: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2024, Strona(/y) 1522-1534
Wydawca: ACM
DOI: 10.1145/3611643.3616254

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

Autorzy: Jibesh Patra, Michael Pradel
Opublikowane w: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021, Strona(/y) 906-918, ISBN 9781450385626
Wydawca: ACM
DOI: 10.1145/3468264.3468623

IdBench: Evaluating Semantic Representations of Identifier Names in Source Code

Autorzy: Yaza Wainakh, Moiz Rauf, Michael Pradel
Opublikowane w: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, Strona(/y) 562-573, ISBN 978-1-6654-0296-5
Wydawca: IEEE
DOI: 10.1109/icse43902.2021.00059

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

Autorzy: Matteo Paltenghi, Michael Pradel
Opublikowane w: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021
Wydawca: IEEE
DOI: 10.1109/ase51524.2021.9678712

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

Autorzy: Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel
Opublikowane w: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Wydawca: ACM
DOI: 10.1145/3597926.3598104

Calibration and Correctness of Language Models for Code

Autorzy: Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed
Opublikowane w: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025, Strona(/y) 540-552
Wydawca: IEEE
DOI: 10.1109/icse55347.2025.00040

VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning

Autorzy: Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
Opublikowane w: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, Strona(/y) 2527-2539
Wydawca: IEEE
DOI: 10.1109/icse48619.2023.00211

CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code

Autorzy: Aryaz Eghbali, Michael Pradel
Opublikowane w: ICSE '22: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, 2022
Wydawca: Association for Computing Machinery
DOI: 10.1145/3510454.3528648

Learning to make compiler optimizations more effective

Autorzy: Rahim Mammadli; Marija Selakovic; Felix Wolf; Michael Pradel
Opublikowane w: MAPS@PLDI, Numer 1, 2021
Wydawca: ACM
DOI: 10.1145/3460945.3464952

Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries

Autorzy: Daniel Lehmann, Michael Pradel
Opublikowane w: PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022
Wydawca: Association for Computing Machinery
DOI: 10.1145/3519939.3523449

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

Autorzy: Islem Bouzenia, Michael Pradel
Opublikowane w: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, Strona(/y) 868-880
Wydawca: IEEE
DOI: 10.1109/icse48619.2023.00081

DynaPyt: A Dynamic Analysis Framework for Python

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

Can LLMs Replace Manual Annotation of Software Engineering Artifacts?

Autorzy: Toufique Ahmed, Premkumar Devanbu, Christoph Treude, Michael Pradel
Opublikowane w: 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories (MSR), 2025, Strona(/y) 526-538
Wydawca: IEEE
DOI: 10.1109/msr66628.2025.00086

Extracting taint specifications for JavaScript libraries

Autorzy: Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel
Opublikowane w: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, 2020, Strona(/y) 198-209, ISBN 9781450371216
Wydawca: ACM
DOI: 10.1145/3377811.3380390

Peer reviewed articles (10)

DyPyBench: A Benchmark of Executable Python Software

Autorzy: Islem Bouzenia, Bajaj Piyush Krishan, Michael Pradel
Opublikowane w: Proceedings of the ACM on Software Engineering, Numer 1, 2024, Strona(/y) 338-358, ISSN 2994-970X
Wydawca: FSE
DOI: 10.1145/3643742

ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution

Autorzy: Lars Gröninger, Beatriz Souza, Michael Pradel
Opublikowane w: Proceedings of the ACM on Software Engineering, Numer 2, 2025, Strona(/y) 936-956, ISSN 2994-970X
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3715760

An Empirical Study of Suppressed Static Analysis Warnings

Autorzy: Huimin Hu, Yingying Wang, Julia Rubin, Michael Pradel
Opublikowane w: Proceedings of the ACM on Software Engineering, Numer 2, 2025, Strona(/y) 290-311, ISSN 2994-970X
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3715729

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

Autorzy: Matteo Paltenghi, Michael Pradel
Opublikowane w: Proceedings of the ACM on Software Engineering, Numer 1, 2024, Strona(/y) 2144-2166, ISSN 2994-970X
Wydawca: FSE
DOI: 10.1145/3660802

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

Autorzy: Islem Bouzenia, Michael Pradel
Opublikowane w: Proceedings of the ACM on Software Engineering, Numer 2, 2025, Strona(/y) 1054-1076, ISSN 2994-970X
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3728922

Code Search: A Survey of Techniques for Finding Code

Autorzy: Luca Di Grazia, Michael Pradel
Opublikowane w: ACM Computing Surveys Volume 55, Numer 11, 2022, ISSN 0360-0300
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3565971

DiffSearch: A Scalable and Precise Search Engine for Code Changes

Autorzy: Luca Di Grazia, Paul Bredl, Michael Pradel
Opublikowane w: IEEE Transactions on Software Engineering, Numer 49, 2024, Strona(/y) 2366-2380, ISSN 0098-5589
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2022.3218859

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

Autorzy: Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 8, 2025, Strona(/y) 2156-2182, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3689787

DyLin: A Dynamic Linter for Python

Autorzy: Aryaz Eghbali, Felix Burk, Michael Pradel
Opublikowane w: Proceedings of the ACM on Software Engineering, Numer 2, 2025, Strona(/y) 2828-2849, ISSN 2994-970X
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3729395

Bugs in Quantum Computing Platforms: An Empirical Study

Autorzy: Matteo Paltenghi, Michael Pradel
Opublikowane w: Proceedings of the ACM on Programming Languages Volume 6, Numer OOPSLA1, 2022, ISSN 2475-1421
Wydawca: Association for Computing Machinery
DOI: 10.5281/zenodo.5834281

Other (1)

Neural Software Analysis

Autorzy: Satish Chandra, Michael Pradel
Opublikowane w: Communications of the ACM, 2020
Wydawca: ACM
DOI: 10.1145/3460348