Skip to main content

Learning to Find Software Bugs

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
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

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
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
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
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
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
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
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
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
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
DOI: 10.1145/3377811.3380390

Neural Software Analysis

Author(s): Satish Chandra, Michael Pradel
Published in: 2020