| 2026 | ACL | CoQuIR: A Comprehensive Benchmark for Code Quality-Aware Information Retrieval. | Jiahui Geng, Fengyu Cai, Shaobo Cui, Qing Li, Liangwei Chen, Chenyang Lyu, Haonan Li, Derui Zhu, Alexander Pretschner, Heinz Koeppl, Fakhri Karray |
| 2025 | EASE | Analyzing the Usage of Donation Platforms for PyPI Libraries. | Alexandros Tsakpinis, Alexander Pretschner |
| 2025 | ICSE | GeMTest: A General Metamorphic Testing Framework. | Simon Speth, Alexander Pretschner |
| 2025 | ICST | A Taxonomy of Integration-Relevant Faults for Microservice Testing. | Lena Gregor, Anja Hentschel, Leon Kastner, Alexander Pretschner |
| 2025 | ICST | RustyRTS: Regression Test Selection for Rust. | Simon Hundsdorfer, Roland Wrsching, Alexander Pretschner |
| 2025 | ICST | Generating Latent Space-Aware Test Cases for Neural Networks using Gradient-Based Search. | Simon Speth, Christoph Jasper, Claudius Jordan, Alexander Pretschner |
| 2025 | MODELS | Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems. | Sebastian Bergemann, Andreas Bayha, Derui Zhu, Mohammad Sadeghi, Colin Atkinson, Alexander Pretschner |
| 2024 | EASE | Analyzing the Accessibility of GitHub Repositories for PyPI and NPM Libraries. | Alexandros Tsakpinis, Alexander Pretschner |
| 2024 | ICST | Cost of Flaky Tests in Continuous Integration: An Industrial Case Study. | Fabian Leinen, Daniel Elsner, Alexander Pretschner, Andreas Stahlbauer, Michael Sailer, Elmar Jrgens |
| 2024 | SAFECOMP | A Failure Model Library for Simulation-Based Validation of Functional Safety. | Tiziano Munaro, Irina Muntean, Alexander Pretschner |
| 2023 | AST | Better Safe Than Sorry! Automated Identification of Functionality-Breaking Security-Configuration Rules. | Patrick Stckle, Michael Sammereier, Bernd Grobauer, Alexander Pretschner |
| 2023 | ICST | BinaryRTS: Cross-language Regression Test Selection for C++ Binaries in CI. | Daniel Elsner, Severin Kacianka, Stephan Lipp, Alexander Pretschner, Axel Habermann, Maria Graber, Silke Reimer |
| 2023 | ICST | DIRTS: Dependency Injection Aware Regression Test Selection. | Simon Hundsdorfer, Daniel Elsner, Alexander Pretschner |
| 2023 | ICST | Severity-Aware Prioritization of System-Level Regression Tests in Automotive Software. | Roland Wuersching, Daniel Elsner, Fabian Leinen, Alexander Pretschner, Georg Grueneissl, Thomas Neumeyr, Tobias Vosseler |
| 2023 | ISSTA | Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. | Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Bhme, Sebastian Banescu |
| 2022 | AST | Challenges in Regression Test Selection for End-to-End Testing of Microservice-based Software Systems. | Daniel Elsner, Daniel Bertagnolli, Alexander Pretschner, Rudi Klaus |
| 2022 | AST | Probe-based Syscall Tracing for Efficient and Practical File-level Test Traces. | Daniel Elsner, Roland Wuersching, Markus Schnappinger, Alexander Pretschner |
| 2022 | ICSE | Build System Aware Multi-language Regression Test Selection in Continuous Integration. | Daniel Elsner, Roland Wuersching, Markus Schnappinger, Alexander Pretschner, Maria Graber, Ren Dammer, Silke Reimer |
| 2022 | ICSE | Unreliable Test Infrastructures in Automotive Testing Setups. | Claudius Jordan, Philipp Foth, Alexander Pretschner, Matthias Fruth |
| 2022 | ICSE | FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer. | Stephan Lipp, Daniel Elsner, Thomas Hutzelmann, Sebastian Banescu, Alexander Pretschner, Marcel Bhme |
| 2022 | ISSRE | Why Did the Test Execution Fail? Failure Classification Using Association Rules (Practical Experience Report). | Claudius Jordan, Philipp Foth, Matthias Fruth, Alexander Pretschner |
| 2022 | ISSRE | StellaUAV: A Tool for Testing the Safe Behavior of UAVs with Scenario-Based Testing (Tools and Artifact Track). | Tabea Schmidt, Alexander Pretschner |
| 2022 | ISSTA | An empirical study on the effectiveness of static C code analyzers for vulnerability detection. | Stephan Lipp, Sebastian Banescu, Alexander Pretschner |
| 2022 | MODELSWARD | A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. | Yuri Gil Dantas, Tiziano Munaro, Carmen Crlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schpp, Sergey Tverdyshev |
| 2022 | SAFECOMP | Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles. | Nicola Kolb, Florian Hauer, Mojdeh Golagha, Alexander Pretschner |
| 2022 | SAFECOMP | Exploring a Maximal Number of Relevant Obstacles for Testing UAVs. | Tabea Schmidt, Florian Hauer, Alexander Pretschner |
| 2021 | ACSAC | Dynamic Taint Analysis versus Obfuscated Self-Checking. | Sebastian Banescu, Samuel Valenzuela, Marius Guggenmos, Mohsen Ahmadvand, Alexander Pretschner |
| 2021 | EASE | Human-level Ordinal Maintainability Prediction Based on Static Code Metrics. | Markus Schnappinger, Arnaud Fietzke, Alexander Pretschner |
| 2021 | HCI | A Causal Model of Intersection-Related Collisions for Drivers With and Without Visual Field Loss. | Bianca Biebl, Severin Kacianka, Anirudh Unni, Alexander Trende, Jochem W. Rieger, Andreas Ldtke, Alexander Pretschner, Klaus Bengler |
| 2021 | ISSTA | Empirically evaluating readily available information for regression test optimization in continuous integration. | Daniel Elsner, Florian Hauer, Alexander Pretschner, Silke Reimer |
| 2021 | PERCOM | IoT Thing To Service Semantic Matching. | Nisrine Bnouhanna, Rute C. Sofia, Alexander Pretschner |
| 2021 | SEAMS | Run-time Reasoning from Uncertain Observations with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems. | Ana Petrovska, Malte Neuss, Ilias Gerostathopoulos, Alexander Pretschner |
| 2020 | ATVA | From Checking to Inference: Actual Causality Computations as Optimization Problems. | Amjad Ibrahim, Alexander Pretschner |
| 2020 | ECAI | Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs. | Amjad Ibrahim, Tobias Klesel, Ehsan Zibaei, Severin Kacianka, Alexander Pretschner |
| 2020 | ECSA | How to Conduct Experiments with a Real Car? Experiences and Practical Guidelines. | Thomas Hutzelmann, Dominik Mauksch, Alexander Pretschner |
| 2020 | ICSE | Knowledge aggregation with subjective logic in multi-agent self-adaptive cyber-physical systems. | Ana Petrovska, Sergio Quijano, Ilias Gerostathopoulos, Alexander Pretschner |
| 2020 | ICST | Can We Predict the Quality of Spectrum-based Fault Localization? | Mojdeh Golagha, Alexander Pretschner, Lionel C. Briand |
| 2020 | ISSRE | Time-Series-Based Clustering for Failure Analysis in Hardware-in-the-Loop Setups: An Automotive Case Study. | Claudius V. Jordan, Florian Hauer, Philipp Foth, Alexander Pretschner |
| 2020 | SAFECOMP | Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach. | Tabea Schmidt, Florian Hauer, Alexander Pretschner |
| 2019 | CCS | VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. | Mohsen Ahmadvand, Daniel Below, Sebastian Banescu, Alexander Pretschner |
| 2019 | ISSTA | Failure clustering without coverage. | Mojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, Hermann Ilmberger |
| 2019 | SAC | Attack graph generation for microservice architecture. | Amjad Ibrahim, Stevica Bozhinoski, Alexander Pretschner |
| 2019 | SAC | A real-time remote IDS testbed for connected vehicles. | Valentin Zieglmeier, Severin Kacianka, Thomas Hutzelmann, Alexander Pretschner |
| 2019 | SAFECOMP | Fitness Functions for Testing Automated and Autonomous Driving Systems. | Florian Hauer, Alexander Pretschner, Bernd Holzmller |
| 2018 | ACSAC | Practical Integrity Protection with Oblivious Hashing. | Mohsen Ahmadvand, Anahit Hayrapetyan, Sebastian Banescu, Alexander Pretschner |
| 2018 | ESEM | Software quality assessment in practice: a hypothesis-driven framework. | Markus Schnappinger, Mohd Hafeez Osman, Alexander Pretschner, Markus Pizka, Arnaud Fietzke |
| 2018 | ICSE | Aletheia: a failure diagnosis toolchain. | Mojdeh Golagha, Abu Mohammed Raisuddin, Lennart Mittag, Dominik Hellhake, Alexander Pretschner |
| 2018 | ICSE | Pairika: a failure diagnosis benchmark for C++ programs. | Md. Rezaur Rahman, Mojdeh Golagha, Alexander Pretschner |
| 2018 | SMC | Understanding and Formalizing Accountability for Cyber-Physical Systems. | Severin Kacianka, Alexander Pretschner |
| 2018 | SAC | Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach. | Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida, Alexander Pretschner |
| 2017 | ICSE | Reducing Failure Analysis Time: An Industrial Evaluation. | Mojdeh Golagha, Alexander Pretschner, Dominik Fisch, Roman Nagy |
| 2017 | ICST | Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective. | Mojdeh Golagha, Alexander Pretschner |
| 2017 | ISSRE | Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems. | Florian Hauer, Alexander Pretschner, Maximilian Schmitt, Markus Groetsch |
| 2016 | ACSAC | Code obfuscation against symbolic execution attacks. | Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner |
| 2016 | CaiSE | Data Accountability in Socio-Technical Systems. | Kristian Beckers, Jrg Landthaler, Florian Matthes, Alexander Pretschner, Bernhard Waltl |
| 2016 | CCS | VOT4CS: A Virtualization Obfuscation Tool for C#. | Sebastian Banescu, Ciprian Lucaci, Benjamin Krmer, Alexander Pretschner |
| 2016 | ICST | Nequivack: Assessing Mutation Score Confidence. | Dominik Holling, Sebastian Banescu, Marco Probst, Ana Petrovska, Alexander Pretschner |
| 2016 | ICST | Profiting from Unit Tests for Integration Testing. | Dominik Holling, Andreas Hofbauer, Alexander Pretschner, Matthias Gemmar |
| 2016 | ISSRE | Failure Models for Testing Continuous Controllers. | Dominik Holling, Alvin Stanescu, Kristian Beckers, Alexander Pretschner, Matthias Gemmar |
| 2016 | PST | Generating behavior-based malware detection models with genetic programming. | Tobias Wchner, Martn Ochoa, Enrico Lovat, Alexander Pretschner |
| 2016 | SAC | MalFlow: identification of C&C servers through host-based data flow profiling. | Tobias Wchner, Martn Ochoa, Mojdeh Golagha, Gaurav Srivastava, Thomas Schreck, Alexander Pretschner |
| 2016 | SECRYPT | Enhancing Operation Security using Secret Sharing. | Mohsen Ahmadvand, Antoine Scemama, Martn Ochoa, Alexander Pretschner |
| 2015 | ACNS | A Fully Decentralized Data Usage Control Enforcement Infrastructure. | Florian Kelbert, Alexander Pretschner |
| 2015 | DBSEC | Automated Translation of End User Policies for Usage Control Enforcement. | Prachi Kumari, Alexander Pretschner |
| 2015 | DIMVA | Robust and Effective Malware Detection Through Quantitative Data Flow Graph Metrics. | Tobias Wchner, Martn Ochoa, Alexander Pretschner |
| 2015 | ICSE | A Framework for Measuring Software Obfuscation Resilience against Automated Attacks. | Sebastian Banescu, Martn Ochoa, Alexander Pretschner |
| 2015 | PROFES | Field Study on the Elicitation and Classification of Defects for Defect Models. | Dominik Holling, Daniel Mndez Fernndez, Alexander Pretschner |
| 2015 | SAFECOMP | ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity. | Rafael Fedler, Sebastian Banescu, Alexander Pretschner |
| 2015 | SEC | SHRIFT System-Wide HybRid Information Flow Tracking. | Enrico Lovat, Alexander Fromm, Martin Mohr, Alexander Pretschner |
| 2014 | CANS | Decentralized Distributed Data Usage Control. | Florian Kelbert, Alexander Pretschner |
| 2014 | CCS | Malware detection with quantitative data flow graphs. | Tobias Wchner, Martn Ochoa, Alexander Pretschner |
| 2014 | VizSec | DAVAST: data-centric system level activity visualization. | Tobias Wchner, Alexander Pretschner, Martn Ochoa |
| 2013 | AVSS | Enforcing privacy through usage-controlled video surveillance. | Pascal Birnstill, Alexander Pretschner |
| 2013 | MODELS | A Generic Fault Model for Quality Assurance. | Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar |
| 2012 | ICST | SPaCiTE - Web Application Testing Engine. | Matthias Bchler, Johan Oudinet, Alexander Pretschner |
| 2012 | ISSRE | Data Loss Prevention Based on Data-Driven Usage Control. | Tobias Wchner, Alexander Pretschner |
| 2012 | SACMAT | Towards a policy enforcement infrastructure for distributed usage control. | Florian Kelbert, Alexander Pretschner |
| 2011 | CCGRID | Implementing Trust in Cloud Infrastructures. | Ricardo Neisse, Dominik Holling, Alexander Pretschner |
| 2011 | ESORICS | Representation-Independent Data Usage Control. | Alexander Pretschner, Enrico Lovat, Matthias Bchler |
| 2011 | GI | Data protection in heterogeneous distributed systems: A smart meter example. | Prachi Kumari, Florian Kelbert, Alexander Pretschner |
| 2011 | SACMAT | Data-centric multi-layer usage control enforcement: a social network example. | Enrico Lovat, Alexander Pretschner |
| 2011 | TAP | Security Mutants for Property-Based Testing. | Matthias Bchler, Johan Oudinet, Alexander Pretschner |
| 2009 | ICST | On the Effectiveness of Test Extraction without Overhead. | Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol |
| 2009 | NSS | State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition. | Mats Harvan, Alexander Pretschner |
| 2008 | CCS | Mechanisms for usage control. | Alexander Pretschner, Manuel Hilty, David A. Basin, Christian Schaefer, Thomas Walter |
| 2008 | ICST | On the Predictability of Random Tests for Object-Oriented Software. | Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer |
| 2008 | ICST | Model-Based Tests for Access Control Policies. | Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon |
| 2008 | ICST | Test-Driven Assessment of Access Control in Legacy Applications. | Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry |
| 2008 | ISSRE | Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. | Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner |
| 2008 | MODELS | Doctoral Symposium at MODELS 2008. | Alexander Pretschner |
| 2007 | ESORICS | A Policy Language for Distributed Usage Control. | Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter |
| 2007 | ICSE | Software Engineering for Automotive Systems: A Roadmap. | Alexander Pretschner, Manfred Broy, Ingolf H. Krger, Thomas Stauner |
| 2007 | ICSE | 4th International ICSE Workshop on Software Engineering for Automotive Systems. | Alexander Pretschner, Christian Salzmann, Bernhard Schtz, Thomas Stauner |
| 2007 | MODELS | 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. | Benoit Baudry, Alain Faivre, Sudipto Ghosh, Alexander Pretschner |
| 2007 | TrustBus | Usage Control in Service-Oriented Architectures. | Alexander Pretschner, Fabio Massacci, Manuel Hilty |
| 2006 | ICSE | 3rd international workshop on software engineering for automotive systems - SEAS 2006. | Martin Rappl, Alexander Pretschner, Christian Salzmann, Thomas Stauner |
| 2005 | ESORICS | On Obligations. | Manuel Hilty, David A. Basin, Alexander Pretschner |
| 2005 | FM | Model-Based Testing in Practice. | Alexander Pretschner |
| 2005 | ICSE | Model-based testing. | Alexander Pretschner |
| 2005 | ICSE | One evaluation of model-based testing and its automation. | Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Khnel, Martin Baumgartner, Bernd Sostawa, Rdiger Zlch, Thomas Stauner |
| 2005 | ICSE | 2nd international workshop on software engineering for automotive systems. | Christian Salzmann, Thomas Stauner, Alexander Pretschner |
| 2004 | ICSE | ICSE Workshop: Software Engineering for Automotive Systems. | Christian Salzmann, Thomas Stauner, Alexander Pretschner |
| 2004 | ISSRE | Coverage Metrics for Continuous Function Charts. | Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner |
| 2003 | RSP | Prototype-Based Tests for Hybrid Reactive Systems. | Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner |
| 2001 | RSP | Model Based Testing in Evolutionary Software Development. | Alexander Pretschner, Heiko Ltzbeyer, Jan Philipps |
| 1999 | CIKM | Ontology-Based Web Site Mapping for Information Exploration. | Xiaolan Zhu, Susan Gauch, Lutz Gerhard, Nicholas Kral, Alexander Pretschner |
| 1999 | ICTAI | Ontology Based Personalized Search. | Alexander Pretschner, Susan Gauch |