Skip to main content

Learning to Find Software Bugs

Deliverables

Data Management Plan

Research data produced during the project

Searching for OpenAIRE data...

Publications

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

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

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

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

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

Neural Software Analysis

Author(s): Satish Chandra, Michael Pradel
Published in: 2020
Publisher: https://arxiv.org/abs/2011.07986