Publications

Found 18 results
2018
D. Ramachandr Murthy und Pradel, M., Change-aware Dynamic Program Analysis for JavaScript, in International Conference on Software Maintenance and Evolution, 2018.
A. Hück, Lehr, J. - P., Kreutzer, S., Protze, J., Terboven, C., Bischof, C., und Müller, M. S., Compiler-aided type tracking for correctness checking of MPI applications, in International Workshop on Software Correctness for HPC Applications, 2018.
J. Patra, Dixit, P. N., und Pradel, M., ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries, in International Conference on Software Engineering, 2018.
S. Ruland, Kulcsár, G., Leblebici, E., Peldszus, S., und Lochau, M., Controlling the Attack Surface of Object-Oriented Refactorings, in International Conference on Fundamental Approaches to Software Engineering, 2018.
M. Selakovic, Barnett, M., Musuvathi, M., und Mytkowicz, T., Cross-Language Optimizations in Big Data Systems: A Case Study of SCOPE, in International Conference on Software Engineering: Software Engineering in Practice, 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. Eichberg, Kübler, F., Reif, M., Salvaneschi, G., und Mezini, M., Lattice Based Modularization of Static Analyses, in International Workshop on the State Of the Art in Program Analysis, 2018.
M. Weckesser, Lochau, M., Ries, M., und Schürr, A., Mathematical Programming for Anomaly Analysis of Clafer Models, in International Conference on Model Driven Engineering Languages and Systems, 2018.
S. Ruland, Luthmann, L., Bürdek, J., Lity, S., Thüm, T., Lochau, M., und Ribeiro, M., Measuring Effectiveness of Sample-Based Product-Line Testing, in International Conference on Generative Programming: Concepts & Experiences, 2018.
R. Hähnle und Steinhöfel, D., Modular, Correct Compilation with Automatic Soundness Proofs, in International Symposium on Leveraging Applications of Formal Methods, 2018.
J. - P. Lehr, Hück, A., und Bischof, C., PIRA: Performance Instrumentation Refinement Automation, in Artificial Intelligence and Empirical Methods for Software Engineer- ing and Parallel Computing Systems, 2018.
M. Reif, Kübler, F., Eichberg, M., und Mezini, M., Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java, in International Workshop on the State Of the Art in Program Analysis, 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.
D. Helm, Kübler, F., Eichberg, M., Reif, M., und Mezini, M., A Unified Lattice Model and Framework for Purity Analyses, in International Conference on Automated Software Engineering, 2018.