Publications

Found 13 results
Filters: Autor is Michael Pradel  [Clear All Filters]
2019
P. Sokolka, Staicu, C. - A., und Pradel, M., Anything to Hide? Studying Minified and Obfuscated Code in the Web, in The World Wide Web Conference, 2019.
S. Tolksdorf, Lehmann, D., und Pradel, M., Interactive Metamorphic Testing of Debuggers, in ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019.
C. - A. Staicu und Pradel, M., Leaky Images: Targeted Privacy Attacks in the Web, in {USENIX} Security Symposium, 2019.
R. Sohail Malik, Patra, J., und Pradel, M., NL2Type: Inferring JavaScript Function Types from Natural Language Information, in International Conference on Software Engineering, 2019.
D. Lehmann und Pradel, M., Wasabi: A Framework for Dynamically Analyzing WebAssembly, in International Conference on Architectural Support for Programming Languages and Operating Systems, 2019.
2018
D. Ramachandr Murthy und Pradel, M., Change-aware Dynamic Program Analysis for JavaScript, in International Conference on Software Maintenance and Evolution, 2018.
J. Patra, Dixit, P. N., und Pradel, M., ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries, in International Conference on Software Engineering, 2018.
M. Pradel und Sen, K., DeepBugs: A Learning Approach to Name-based Bug Detection, in Object-Oriented Programming, Systems, Languages & Applications, 2018.
D. Lehmann und Pradel, M., Feedback-Directed Differential Testing of Interactive Debuggers, in European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018.
C. - A. Staicu und Pradel, M., Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers, in USENIX Security, 2018.
A. Habib und Pradel, M., How Many of All Bugs Do We Find? A Study of Static Bug Detectors, in International Conference on Automated Software Engineering, 2018.
M. Selakovic, Pradel, M., Nawrin, R. Karim, und Tip, F., Test Generation for Higher-Order Functions in Dynamic Languages, in Object-Oriented Programming, Systems, Languages & Applications, 2018.
A. Habib und Pradel, M., Is This Class Thread-Safe? Inferring Documentation using Graph-based Learning, in International Conference on Automated Software Engineering, 2018.