Found 61 results
H. Mantel und Probst, C. W., On the Meaning and Purpose of Attack Trees, IEEE Computer Security Foundations Symposium. 2019.
N. Wasser, Tabar, A. Heydari, und Hähnle, R., Modeling Non-deterministic C Code with Active Objects, in International Conference on Fundamentals of Software Engineering, 2019.
P. Weisenburger und Salvaneschi, G., Multitier Modules, in European Conference on Object-Oriented Programming, 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.
R. Bubel, Hähnle, R., und Tabar, A. Heydari, A Program Logic for Dependence Analysis, in International Conference on Integrated Formal Methods, 2019.
L. Luthmann, Gerecht, T., und Lochau, M., Sampling Strategies for Product Lines with Unbounded Parametric Real-time Constraints, International Journal on Software Tools for Technology Transfer, Bd. 21, Nr. 6, 2019.
D. Reuling, Kelter, U., Ruland, S., und Lochau, M., SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software, in IEEE/ACM International Conference on Automated 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.
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.
S. Krüger, Späth, J., Ali, K., Bodden, E., und Mezini, M., CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs, in European Conference on Object-Oriented Programming, 2018.
M. Pradel und Sen, K., DeepBugs: A Learning Approach to Name-based Bug Detection, in Object-Oriented Programming, Systems, Languages & Applications, 2018.
A. Shah, Müller, M. S., und Wolf, F., Estimating the Impact of External Interference on Application Performance, in International European Conference on Parallel and Distributed Computing, 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.
E. Çergani, Proksch, S., Nadi, S., und Mezini, M., Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study, in International Conference on Software Technologies, 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.
D. Steinhöfel und Hähnle, R., Modular, Correct Compilation with Automatic Soundness Proofs, in International Symposium on Leveraging Applications of Formal Methods, 2018.
P. Graubner, Thelen, C., Körber, M., Sterz, A., Salvaneschi, G., Mezini, M., Seeger, B., und Freisleben, B., Multimodal Complex Event Processing on Mobile Devices, in ACM International Conference on Distributed and Event-based Systems, 2018.