Learning to Find Software Bugs

Project Information

LearnBugs

Grant agreement ID: 851895

DOI 10.3030/851895

EC signature date 18 September 2019

Start date 1 March 2020

End date 31 August 2025

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost € 1 458 375,00

EU contribution € 1 458 375,00

Coordinated by

UNIVERSITY OF STUTTGART
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Open Research Data Pilot (1)

Data Management Plan

Research data produced during the project

Publications

Conference proceedings (32)

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

Author(s): Jibesh Patra, Michael Pradel
Published in: ICSE '22: Proceedings of the 44th International Conference on Software Engineering, 2022
Publisher: Association for Computing Machinery
DOI: 10.1145/3510003.3510144

Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly

Author(s): Alan Romano, Daniel Lehmann, Michael Pradel, Weihang Wang
Published in: 2022 IEEE Symposium on Security and Privacy (SP), 2022
Publisher: IEEE
DOI: 10.1109/sp46214.2022.9833626

Resource Usage and Optimization Opportunities in Workflows of GitHub Actions

Author(s): Islem Bouzenia, Michael Pradel
Published in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Page(s) 1-12
Publisher: ACM
DOI: 10.1145/3597503.3623303

Finding data compatibility bugs with JSON subschema checking

Author(s): Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
Published in: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021, Page(s) 620-632, ISBN 9781450384599
Publisher: ACM
DOI: 10.1145/3460319.3464796

Everything Old is New Again: Binary Security of WebAssembly

Author(s): Daniel Lehmann, Johannes Kinder, Michael Pradel
Published in: 2020
Publisher: USENIX Security Symposium 2020

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

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

PyTy: Repairing Static Type Errors in Python

Author(s): Yiu Wai Chow, Luca Di Grazia, Michael Pradel
Published in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Page(s) 1-13
Publisher: ACM
DOI: 10.1145/3597503.3639184

Fuzz4All: Universal Fuzzing with Large Language Models

Author(s): Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang
Published in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, Page(s) 1-13
Publisher: ACM
DOI: 10.1145/3597503.3639121

TypeWriter: neural type prediction with search-based validation

Author(s): Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
Published in: 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
Publisher: ACM
DOI: 10.1145/3368089.3409715

Scaffle: bug localization on millions of files

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

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

Author(s): Aaron Hilbig, Daniel Lehmann, Michael Pradel
Published in: Proceedings of the Web Conference 2021, 2021, Page(s) 2696-2708, ISBN 9781450383127
Publisher: ACM
DOI: 10.1145/3442381.3450138

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

Author(s): Nikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis, Konstantinos Kallas, Ben Karel, Andre DeHon, Michael Pradel
Published in: CCS '21: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021
Publisher: Association for Computing Machinery
DOI: 10.1145/3460120

Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks

Author(s): Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip
Published in: ICSE '22: Proceedings of the 44th International Conference on Software Engineering, 2022
Publisher: Association for Computing Machinery
DOI: 10.1145/3510003.3510106

ConfProf: White-Box Performance Profiling of Configuration Options

Author(s): Xue Han, Tingting Yu, Michael Pradel
Published in: Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2021, Page(s) 1-8, ISBN 9781450381949
Publisher: ACM
DOI: 10.1145/3427921.3450255

Continuous test suite failure prediction

Author(s): Cong Pan, Michael Pradel
Published in: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021, Page(s) 553-565, ISBN 9781450384599
Publisher: ACM
DOI: 10.1145/3460319.3464840

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

Author(s): Aryaz Eghbali, Michael Pradel
Published in: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Page(s) 956-967, ISBN 9781450367684
Publisher: ACM
DOI: 10.1145/3324884.3416576

The Evolution of Type Annotations in Python: An Empirical Study

Author(s): Luca Di Grazia, Michael Pradel
Published in: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Publisher: Association for Computing Machinery
DOI: 10.5281/zenodo.7082252

Beware of the Unexpected: Bimodal Taint Analysis

Author(s): Yiu Wai Chow, Max Schäfer, Michael Pradel
Published in: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023, Page(s) 211-222
Publisher: ACM
DOI: 10.1145/3597926.3598050

Generating Realistic Vulnerabilities via Neural Code Editing: An Empirical Study

Author(s): Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
Published in: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Publisher: Association for Computing Machinery
DOI: 10.5281/zenodo.7048525

MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform

Author(s): Matteo Paltenghi, Michael Pradel
Published in: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2024, Page(s) 2413-2424
Publisher: IEEE
DOI: 10.1109/icse48619.2023.00202

LExecutor: Learning-Guided Execution

Author(s): Beatriz Souza, Michael Pradel
Published in: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2024, Page(s) 1522-1534
Publisher: ACM
DOI: 10.1145/3611643.3616254

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

Author(s): Jibesh Patra, Michael Pradel
Published in: 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
Publisher: ACM
DOI: 10.1145/3468264.3468623

IdBench: Evaluating Semantic Representations of Identifier Names in Source Code

Author(s): Yaza Wainakh, Moiz Rauf, Michael Pradel
Published in: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, Page(s) 562-573, ISBN 978-1-6654-0296-5
Publisher: IEEE
DOI: 10.1109/icse43902.2021.00059

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

Author(s): Matteo Paltenghi, Michael Pradel
Published in: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021
Publisher: IEEE
DOI: 10.1109/ase51524.2021.9678712

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

Author(s): Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel
Published in: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Publisher: ACM
DOI: 10.1145/3597926.3598104

VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning

Author(s): Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
Published in: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, Page(s) 2527-2539
Publisher: IEEE
DOI: 10.1109/icse48619.2023.00211

CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code

Author(s): Aryaz Eghbali, Michael Pradel
Published in: ICSE '22: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, 2022
Publisher: Association for Computing Machinery
DOI: 10.1145/3510454.3528648

Learning to make compiler optimizations more effective

Author(s): Rahim Mammadli; Marija Selakovic; Felix Wolf; Michael Pradel
Published in: MAPS@PLDI, Issue 1, 2021
Publisher: ACM
DOI: 10.1145/3460945.3464952

Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries

Author(s): Daniel Lehmann, Michael Pradel
Published in: PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022
Publisher: Association for Computing Machinery
DOI: 10.1145/3519939.3523449

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

Author(s): Islem Bouzenia, Michael Pradel
Published in: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, Page(s) 868-880
Publisher: IEEE
DOI: 10.1109/icse48619.2023.00081

DynaPyt: A Dynamic Analysis Framework for Python

Author(s): Aryaz Eghbali, Michael Pradel
Published in: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Publisher: Association for Computing Machinery
DOI: 10.5281/zenodo.7037946

Extracting taint specifications for JavaScript libraries

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

Peer reviewed articles (5)

DyPyBench: A Benchmark of Executable Python Software

Author(s): Islem Bouzenia, Bajaj Piyush Krishan, Michael Pradel
Published in: Proceedings of the ACM on Software Engineering, Issue 1, 2024, Page(s) 338-358, ISSN 2994-970X
Publisher: FSE
DOI: 10.1145/3643742

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

Author(s): Matteo Paltenghi, Michael Pradel
Published in: Proceedings of the ACM on Software Engineering, Issue 1, 2024, Page(s) 2144-2166, ISSN 2994-970X
Publisher: FSE
DOI: 10.1145/3660802

Code Search: A Survey of Techniques for Finding Code

Author(s): Luca Di Grazia, Michael Pradel
Published in: ACM Computing Surveys Volume 55, Issue 11, 2022, ISSN 0360-0300
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3565971

DiffSearch: A Scalable and Precise Search Engine for Code Changes

Author(s): Luca Di Grazia, Paul Bredl, Michael Pradel
Published in: IEEE Transactions on Software Engineering, Issue 49, 2024, Page(s) 2366-2380, ISSN 0098-5589
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2022.3218859

Bugs in Quantum Computing Platforms: An Empirical Study

Author(s): Matteo Paltenghi, Michael Pradel
Published in: Proceedings of the ACM on Programming Languages Volume 6, Issue OOPSLA1, 2022, ISSN 2475-1421
Publisher: Association for Computing Machinery
DOI: 10.5281/zenodo.5834281

Other (1)

Neural Software Analysis

Author(s): Satish Chandra, Michael Pradel
Published in: Communications of the ACM, 2020
Publisher: ACM
DOI: 10.1145/3460348