Ontology-Based Web Site Mapping for Information Exploration. - Xiaolan Zhu; Susan Gauch; Lutz Gerhard; Nicholas Kral; Alexander Pretschner (CIKM, 1999)

Ontology Based Personalized Search. - Alexander Pretschner; Susan Gauch (ICTAI, 1999)

Specification based test sequence generation with propositional logic. - Guido Wimmel; Heiko Lötzbeyer; Alexander Pretschner; Oscar Slotosch (Softw. Test. Verification Reliab., 2000)

Model Based Testing in Evolutionary Software Development. - Alexander Pretschner; Heiko Lötzbeyer; Jan Philipps (IEEE International Workshop on Rapid System Prototyping, 2001)

Approaching a Discrete-Continuous UML: Tool Support and Formalization. - Thomas Stauner; Alexander Pretschner; Istran Péter (pUML, 2001)

Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. - Andree Blotz; Franz Huber; Heiko Lötzbeyer; Alexander Pretschner; Oscar Slotosch; Hans-Peter Zängerl (Ada Deutschland Tagung, 2002)

Model-Based Development of Embedded Systems. - Bernhard Schätz; Alexander Pretschner; Franz Huber; Jan Philipps (OOIS Workshops, 2002)

Prototype-Based Tests for Hybrid Reactive Systems. - Gabor Hahn; Jan Philipps; Alexander Pretschner; Thomas Stauner (IEEE International Workshop on Rapid System Prototyping, 2003)

Model-Based Test Case Generation for Smart Cards. - Jan Philipps; Alexander Pretschner; Oscar Slotosch; Ernst Aiglstorfer; Stefan Kriebel; Kai Scholl (FMICS, 2003)

Compositional Generation of MC/DC Integration Test Suites. - Alexander Pretschner (TACoS, 2003)

Ontology-based personalized search and browsing. - Susan Gauch; Jason Chaffee; Alexander Pretschner (Web Intell. Agent Syst., 2003)

Zum modellbasierten funktionalen Test reaktiver Systeme. - Walter Alexander Pretschner (2003)

Model-Based Testing - A Glossary. - Alexander Pretschner; Martin Leucker (Model-Based Testing of Reactive Systems, 2004)

Methodological Issues in Model-Based Testing. - Alexander Pretschner; Jan Philipps (Model-Based Testing of Reactive Systems, 2004)

ICSE Workshop: Software Engineering for Automotive Systems. - Christian Salzmann; Thomas Stauner; Alexander Pretschner (ICSE, 2004)

Coverage Metrics for Continuous Function Charts. - Vadim Alyokhin; Benedikte Elbel; Martin Rothfelder; Alexander Pretschner (ISSRE, 2004)

Modellbasiertes Testen. - Alexander Pretschner (Modellierung, 2004)

Abstractions for Model-Based Testing. - Wolfgang Prenninger; Alexander Pretschner (TACoS, 2004)

Model based testing in incremental system development. - Alexander Pretschner; Heiko Lötzbeyer; Jan Philipps (J. Syst. Softw., 2004)

Software engineering for automotive systems at ICSE 2004 workshop summary. - Alexander Pretschner; Christian Salzmann; Thomas Stauner (ACM SIGSOFT Softw. Eng. Notes, 2004)

Model-based testing for real. - Alexander Pretschner; Oscar Slotosch; Ernst Aiglstorfer; Stefan Kriebel (Int. J. Softw. Tools Technol. Transf., 2004)

On Obligations. - Manuel Hilty; David A. Basin; Alexander Pretschner (ESORICS, 2005)

Model-Based Testing in Practice. - Alexander Pretschner (FM, 2005)

Model-based testing. - Alexander Pretschner (ICSE, 2005)

One evaluation of model-based testing and its automation. - Alexander Pretschner; Wolfgang Prenninger; Stefan Wagner 001; Christian Kühnel; Martin Baumgartner; Bernd Sostawa; Rüdiger Zölch; Thomas Stauner (ICSE, 2005)

2nd international workshop on software engineering for automotive systems. - Christian Salzmann; Thomas Stauner; Alexander Pretschner (ICSE, 2005)

Computing Refactorings of Behavior Models. - Alexander Pretschner; Wolfgang Prenninger (MoDELS, 2005)

2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems. - Alexander Pretschner; Christian Salzmann; Thomas Stauner (ACM SIGSOFT Softw. Eng. Notes, 2005)

3rd international workshop on software engineering for automotive systems - SEAS 2006. - Martin Rappl; Alexander Pretschner; Christian Salzmann; Thomas Stauner (ICSE, 2006)

Usage Control Requirements in Mobile and Ubiquitous Computing Applications. - Manuel Hilty; Alexander Pretschner; Christian Schaefer; Thomas Walter 001 (ICSNC, 2006)

Zur Kosteneffektivität des modellbasierten Testens. - Alexander Pretschner (MBEES, 2006)

Distributed usage control. - Alexander Pretschner; Manuel Hilty; David A. Basin (Commun. ACM, 2006)

3rd Intl. ICSE workshop on software engineering for automotive systems. - Martin Rappl; Alexander Pretschner; Christian Salzmann; Thomas Stauner (ACM SIGSOFT Softw. Eng. Notes, 2006)

Ontology-Based User Profiles for Personalized Search. - Susan Gauch; Mirco Speretta; Alexander Pretschner (Ontologies, 2007)

A Policy Language for Distributed Usage Control. - Manuel Hilty; Alexander Pretschner; David A. Basin; Christian Schaefer; Thomas Walter 001 (ESORICS, 2007)

Software Engineering for Automotive Systems: A Roadmap. - Alexander Pretschner; Manfred Broy; Ingolf H. Krüger; Thomas Stauner (FOSE, 2007)

4th International ICSE Workshop on Software Engineering for Automotive Systems. - Alexander Pretschner; Christian Salzmann; Bernhard Schätz; Thomas Stauner (ICSE Companion, 2007)

Monitors for Usage Control. - Manuel Hilty; Alexander Pretschner; David A. Basin; Christian Schaefer; Thomas Walter 001 (IFIPTM, 2007)

4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. - Benoit Baudry; Alain Faivre; Sudipto Ghosh 001; Alexander Pretschner (MoDELS (Workshops), 2007)

DUKE - Distributed Usage Control Enforcement. - Manuel Hilty; Alexander Pretschner; Christian Schaefer; Thomas Walter 001 (POLICY, 2007)

A technical architecture for enforcing usage control requirements in service-oriented architectures. - Berthold Agreiter; Muhammad Alam; Ruth Breu; Michael Hafner; Alexander Pretschner; Jean-Pierre Seifert; Xinwen Zhang (SWS, 2007)

Usage Control in Service-Oriented Architectures. - Alexander Pretschner; Fabio Massacci; Manuel Hilty (TrustBus, 2007)

Engineering Automotive Software. - Manfred Broy; Ingolf H. Krüger; Alexander Pretschner; Christian Salzmann (Proc. IEEE, 2007)

4th Intl. ICSE workshop on Software Engineering for Automotive Systems. - Alexander Pretschner; Christian Salzmann; Bernhard Schätz; Thomas Stauner (ACM SIGSOFT Softw. Eng. Notes, 2007)

Computing refactorings of state machines. - Alexander Pretschner; Wolfgang Prenninger (Softw. Syst. Model., 2007)

Negotiation of Usage Control Policies - Simply the Best? - Alexander Pretschner; Thomas Walter 001 (ARES, 2008)

Mechanisms for usage control. - Alexander Pretschner; Manuel Hilty; David A. Basin; Christian Schaefer; Thomas Walter 001 (AsiaCCS, 2008)

On the Predictability of Random Tests for Object-Oriented Software. - Ilinca Ciupa; Alexander Pretschner; Andreas Leitner; Manuel Oriol; Bertrand Meyer 001 (ICST, 2008)

Model-Based Tests for Access Control Policies. - Alexander Pretschner; Tejeddine Mouelhi; Yves Le Traon (ICST, 2008)

Test-Driven Assessment of Access Control in Legacy Applications. - Yves Le Traon; Tejeddine Mouelhi; Alexander Pretschner; Benoit Baudry (ICST, 2008)

Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. - Ilinca Ciupa; Bertrand Meyer 001; Manuel Oriol; Alexander Pretschner (ISSRE, 2008)

Vorwort zum Doktorandensymposium der Modellierung 2008. - Alexander Pretschner; Ruth Breu (Modellierung, 2008)

Doctoral Symposium at MODELS 2008. - Alexander Pretschner (MoDELS, 2008)

Policy Evolution in Distributed Usage Control. - Alexander Pretschner; Florian Schütz; Christian Schaefer; Thomas Walter 001 (STM@IFIPTM, 2008)

Usage Control Enforcement: Present and Future. - Alexander Pretschner; Manuel Hilty; Florian Schütz; Christian Schaefer; Thomas Walter 001 (IEEE Secur. Priv., 2008)

Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach. - Volkmar Lotz; Emmanuel Pigout; Peter M. Fischer 001; Donald Kossmann; Fabio Massacci; Alexander Pretschner (Wirtschaftsinf., 2008)

Formal Analyses of Usage Control Policies. - Alexander Pretschner; Judith Rüesch; Christian Schaefer; Thomas Walter 001 (ARES, 2009)

On the Effectiveness of Test Extraction without Overhead. - Andreas Leitner; Alexander Pretschner; Stefan Mori; Bertrand Meyer 001; Manuel Oriol (ICST, 2009)

Usage Control Policy Enforcement in OpenOffice.org and Information Flow. - Christian Schaefer; Thomas Walter 001; Matús Harvan; Alexander Pretschner (ISSA, 2009)

State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition. - Matús Harvan; Alexander Pretschner (NSS, 2009)

10141 Abstracts Collection - Distributed Usage Control. - Sandro Etalle; Alexander Pretschner; Ravi S. Sandhu; Marianne Winslett (Distributed Usage Control, 2010)

10141 Summary - Distributed Usage Control. - Sandro Etalle; Alexander Pretschner; Ravi S. Sandhu; Marianne Winslett (Distributed Usage Control, 2010)

10421 Abstracts Collection - Model-Based Testing in Practice. - Wolfgang Grieskamp; Robert M. Hierons; Alexander Pretschner (Model-Based Testing in Practice, 2010)

10421 Summary - Model-Based Testing in Practice. - Wolfgang Grieskamp; Robert M. Hierons; Alexander Pretschner (Model-Based Testing in Practice, 2010)

Doktorandensymposium der SE 2010. - Alexander Pretschner (Software Engineering (Workshops), 2010)

A Model-Based View onto Testing. - Manfred Broy; Alexander Pretschner (Model-Based Testing for Embedded Systems, 2011)

A Hypervisor-Based Bus System for Usage Control. - Cornelius Moucha; Enrico Lovat; Alexander Pretschner (ARES, 2011)

Implementing Trust in Cloud Infrastructures. - Ricardo Neisse; Dominik Holling; Alexander Pretschner (CCGRID, 2011)

Distributed data usage control for web applications: a social network implementation. - Prachi Kumari; Alexander Pretschner; Jonas Peschla; Jens-Michael Kuhn (CODASPY, 2011)

Representation-Independent Data Usage Control. - Alexander Pretschner; Enrico Lovat; Matthias Büchler (DPM/SETOP, 2011)

Data protection in heterogeneous distributed systems: A smart meter example. - Prachi Kumari; Florian Kelbert; Alexander Pretschner (GI-Jahrestagung, 2011)

Data-centric multi-layer usage control enforcement: a social network example. - Enrico Lovat; Alexander Pretschner (SACMAT, 2011)

Security Mutants for Property-Based Testing. - Matthias Büchler; Johan Oudinet; Alexander Pretschner (TAP@TOOLS, 2011)

Software Security in Virtualized Infrastructures - The Smart Meter Example. - Bernhard Beckert; Dennis Hofheinz; Jörn Müller-Quade; Alexander Pretschner; Gregor Snelting (it Inf. Technol., 2011)

A virtualized usage control bus system. - Cornelius Moucha; Enrico Lovat; Alexander Pretschner (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2011)

On the number and nature of faults found by random testing. - Ilinca Ciupa; Alexander Pretschner; Manuel Oriol; Andreas Leitner; Bertrand Meyer 001 (Softw. Test. Verification Reliab., 2011)

Deriving implementation-level policies for usage control enforcement. - Prachi Kumari; Alexander Pretschner (CODASPY, 2012)

SPaCiTE - Web Application Testing Engine. - Matthias Büchler; Johan Oudinet; Alexander Pretschner (ICST, 2012)

Data Loss Prevention Based on Data-Driven Usage Control. - Tobias Wüchner; Alexander Pretschner (ISSRE, 2012)

Towards a policy enforcement infrastructure for distributed usage control. - Florian Kelbert; Alexander Pretschner (SACMAT, 2012)

Data Protection in a Cloud-Enabled Smart Grid. - Alexander Fromm; Florian Kelbert; Alexander Pretschner (SmartGridSec, 2012)

Semi-Automatic Security Testing of Web Applications from a Secure Model. - Matthias Büchler; Johan Oudinet; Alexander Pretschner (SERE, 2012)

Flexible Data-Driven Security for Android. - Denis Feth; Alexander Pretschner (SERE, 2012)

Preface. - Gilles Barthe; Jorge Cuéllar; Javier López 001; Alexander Pretschner (J. Comput. Secur., 2012)

A taxonomy of model-based testing approaches. - Mark Utting; Alexander Pretschner; Bruno Legeard (Softw. Test. Verification Reliab., 2012)

Enforcing privacy through usage-controlled video surveillance. - Pascal Birnstill; Alexander Pretschner (AVSS, 2013)

Data usage control enforcement in distributed systems. - Florian Kelbert; Alexander Pretschner (CODASPY, 2013)

Model-Based Usage Control Policy Derivation. - Prachi Kumari; Alexander Pretschner (ESSoS, 2013)

A Generic Fault Model for Quality Assurance. - Alexander Pretschner; Dominik Holling; Robert Eschbach; Matthias Gemmar (MoDELS, 2013)

A Trustworthy Usage Control Enforcement Framework. - Ricardo Neisse; Alexander Pretschner; Valentina Di Giacomo (Int. J. Mob. Comput. Multim. Commun., 2013)

Decentralized Distributed Data Usage Control. - Florian Kelbert; Alexander Pretschner (CANS, 2014)

Malware detection with quantitative data flow graphs. - Tobias Wüchner; Martín Ochoa; Alexander Pretschner (AsiaCCS, 2014)

On quantitative dynamic data flow tracking. - Enrico Lovat; Johan Oudinet; Alexander Pretschner (CODASPY, 2014)

8Cage: lightweight fault-based test generation for simulink. - Dominik Holling; Alexander Pretschner; Matthias Gemmar (ASE, 2014)

DAVAST: data-centric system level activity visualization. - Tobias Wüchner; Alexander Pretschner; Martín Ochoa (VizSEC, 2014)

Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16). - Tetsuya Tohdo; Werner Damm; Alexander Pretschner; Jun Sun (NII Shonan Meet. Rep., 2014)

A Fully Decentralized Data Usage Control Enforcement Infrastructure. - Florian Kelbert; Alexander Pretschner (ACNS, 2015)

Software-Based Protection against Changeware. - Sebastian Banescu; Alexander Pretschner; Dominic Battré; Stéfano Cazzulani; Robert Shield; Greg Thompson (CODASPY, 2015)

Automated Translation of End User Policies for Usage Control Enforcement. - Prachi Kumari; Alexander Pretschner (DBSec, 2015)

Robust and Effective Malware Detection Through Quantitative Data Flow Graph Metrics. - Tobias Wüchner; Martín Ochoa; Alexander Pretschner (DIMVA, 2015)

Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation. - Sebastian Banescu; Martín Ochoa; Nils Kunze; Alexander Pretschner (ESSoS, 2015)

Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. - Martín Ochoa; Jorge Cuéllar; Alexander Pretschner; Per A. Hallgren (ESSoS, 2015)

A Framework for Measuring Software Obfuscation Resilience against Automated Attacks. - Sebastian Banescu; Martín Ochoa; Alexander Pretschner (SPRO@ICSE, 2015)

A framework for empirical evaluation of malware detection resilience against behavior obfuscation. - Sebastian Banescu; Tobias Wüchner; Aleieldin Salem; Marius Guggenmos; Martín Ochoa; Alexander Pretschner (MALWARE, 2015)

Field Study on the Elicitation and Classification of Defects for Defect Models. - Dominik Holling; Daniel Méndez Fernández; Alexander Pretschner (PROFES, 2015)

ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity. - Rafael Fedler; Sebastian Banescu; Alexander Pretschner (SAFECOMP, 2015)

SHRIFT System-Wide HybRid Information Flow Tracking. - Enrico Lovat; Alexander Fromm; Martin Mohr; Alexander Pretschner (SEC, 2015)

FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation. - Sebastian Banescu; Tobias Wüchner; Marius Guggenmos; Martín Ochoa; Alexander Pretschner (CoRR, 2015)

Defect-Based Testing. - Alexander Pretschner (Dependable Software Systems Engineering, 2015)

Code obfuscation against symbolic execution attacks. - Sebastian Banescu; Christian S. Collberg; Vijay Ganesh 001; Zack Newsham; Alexander Pretschner (ACSAC, 2016)

Data Accountability in Socio-Technical Systems. - Kristian Beckers; Jörg Landthaler; Florian Matthes; Alexander Pretschner; Bernhard Waltl (BMMDS/EMMSAD, 2016)

VOT4CS: A Virtualization Obfuscation Tool for C#. - Sebastian Banescu; Ciprian Lucaci; Benjamin Krämer; Alexander Pretschner (SPRO@CCS, 2016)

Sound and Precise Cross-Layer Data Flow Tracking. - Enrico Lovat; Martín Ochoa; Alexander Pretschner (ESSoS, 2016)

Nequivack: Assessing Mutation Score Confidence. - Dominik Holling; Sebastian Banescu; Marco Probst; Ana Petrovska; Alexander Pretschner (ICST Workshops, 2016)

Profiting from Unit Tests for Integration Testing. - Dominik Holling; Andreas Hofbauer; Alexander Pretschner; Matthias Gemmar (ICST, 2016)

Failure Models for Testing Continuous Controllers. - Dominik Holling; Alvin Stanescu; Kristian Beckers; Alexander Pretschner; Matthias Gemmar (ISSRE, 2016)

MACKE: compositional analysis of low-level vulnerabilities with symbolic execution. - Saahil Ognawala; Martín Ochoa; Alexander Pretschner; Tobias Limmer (ASE, 2016)

Generating behavior-based malware detection models with genetic programming. - Tobias Wüchner; Martín Ochoa; Enrico Lovat; Alexander Pretschner (PST, 2016)

MalFlow: identification of C&C servers through host-based data flow profiling. - Tobias Wüchner; Martín Ochoa; Mojdeh Golagha; Gaurav Srivastava 008; Thomas Schreck; Alexander Pretschner (SAC, 2016)

Enhancing Operation Security using Secret Sharing. - Mohsen Ahmadvand; Antoine Scemama; Martín Ochoa; Alexander Pretschner (SECRYPT, 2016)

Security Testing: A Survey. - Michael Felderer; Matthias Büchler; Martin Johns; Achim D. Brucker; Ruth Breu; Alexander Pretschner (Adv. Comput., 2016)

Towards a Unified Model of Accountability Infrastructures. - Severin Kacianka; Florian Kelbert; Alexander Pretschner (CREST@ETAPS, 2016)

Model-based security testing: a taxonomy and systematic classification. - Michael Felderer; Philipp Zech; Ruth Breu; Matthias Büchler; Alexander Pretschner (Softw. Test. Verification Reliab., 2016)

Informatik-Forschung für digitale Mobilitätsplattformen. - Sasan Amini; Kristian Beckers; Markus Böhm 001; Fritz Busch; Nihan Celikkaya; Vittorio Cozzolino; Anne Faber; Michael Haus; Dominik Huth; Alfons Kemper; Andreas Kipf; Helmut Krcmar; et al. (50 Jahre Universitäts-Informatik in München, 2017)

Herausforderungen an der Schnittstelle von Informatik und Gesellschaft: Institutionalisierte Erforschung der Digitalisierung zur Sicherung von Wohlstand und Fortschritt. - Markus Anding; Andreas Boes; Claudia Eckert 001; Dietmar Harhoff; Thomas Hess; Ursula Münch; Alexander Pretschner (50 Jahre Universitäts-Informatik in München, 2017)

Detecting Patching of Executables without System Calls. - Sebastian Banescu; Mohsen Ahmadvand; Alexander Pretschner; Robert Shield; Chris Hamilton (CODASPY, 2017)

Reducing Failure Analysis Time: An Industrial Evaluation. - Mojdeh Golagha; Alexander Pretschner; Dominik Fisch; Roman Nagy (ICSE-SEIP, 2017)

Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective. - Mojdeh Golagha; Alexander Pretschner (ICST Workshops, 2017)

Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems. - Florian Hauer 002; Alexander Pretschner; Maximilian Schmitt; Markus Groetsch (ISSRE Workshops, 2017)

Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning. - Sebastian Banescu; Christian S. Collberg; Alexander Pretschner (USENIX Security Symposium, 2017)

ACCBench: A Framework for Comparing Causality Algorithms. - Simon Rehwald; Amjad Ibrahim; Kristian Beckers; Alexander Pretschner (CREST@ETAPS, 2017)

Informatikforschung für digitale Mobilitätsplattformen - Am Beispiel des TUM Living Lab Connected Mobility. - Sasan Amini; Kristian Beckers; Markus Böhm 001; Fritz Busch; Nihan Celikkaya; Vittorio Cozzolino; Anne Faber; Michael Haus; Dominik Huth; Alfons Kemper; Andreas Kipf; Helmut Krcmar; et al. (Inform. Spektrum, 2017)

Herausforderungen an der Schnittstelle von Informatik und Gesellschaft - Institutionalisierte Erforschung der Digitalisierung zur Sicherung von Wohlstand und Fortschritt. - Markus Anding; Andreas Boes; Claudia Eckert 001; Dietmar Harhoff; Thomas Hess; Ursula Münch; Alexander Pretschner (Inform. Spektrum, 2017)

Defect-Based Testing. - Alexander Pretschner (Dependable Software Systems Engineering, 2017)

Practical Integrity Protection with Oblivious Hashing. - Mohsen Ahmadvand; Anahit Hayrapetyan; Sebastian Banescu; Alexander Pretschner (ACSAC, 2018)

Software quality assessment in practice: a hypothesis-driven framework. - Markus Schnappinger; Mohd Hafeez Osman; Alexander Pretschner; Markus Pizka; Arnaud Fietzke (ESEM, 2018)

Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models. - Aleieldin Salem; Tabea Schmidt; Alexander Pretschner (ESSoS, 2018)

Aletheia: a failure diagnosis toolchain. - Mojdeh Golagha; Abu Mohammed Raisuddin; Lennart Mittag; Dominik Hellhake; Alexander Pretschner (ICSE (Companion Volume), 2018)

Pairika: a failure diagnosis benchmark for C++ programs. - Md. Rezaur Rahman; Mojdeh Golagha; Alexander Pretschner (ICSE (Companion Volume), 2018)

Diagnosis of Safety Incidents for Cyber-Physical Systems: A UAV Example. - Ehsan Zibaei; Sebastian Banescu; Alexander Pretschner (ICSRS, 2018)

Automatically assessing vulnerabilities discovered by compositional analysis. - Saahil Ognawala; Ricardo Nales Amato; Alexander Pretschner; Pooja Kulkarni (MASES@ASE, 2018)

Poking the bear: lessons learned from probing three Android malware datasets. - Aleieldin Salem; Alexander Pretschner (A-Mobile@ASE, 2018)

Repackman: a tool for automatic repackaging of Android apps. - Aleieldin Salem; F. Franziska Paulus; Alexander Pretschner (A-Mobile@ASE, 2018)

Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach. - Saahil Ognawala; Thomas Hutzelmann; Eirini Psallida; Alexander Pretschner (SAC, 2018)

Understanding and Formalizing Accountability for Cyber-Physical Systems. - Severin Kacianka; Alexander Pretschner (SMC, 2018)

Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework. - Mohsen Ahmadvand; Alexander Pretschner; Keith Ball 002; Daniel Eyring (STAF Workshops, 2018)

Chapter Five - A Tutorial on Software Obfuscation. - Sebastian Banescu; Alexander Pretschner (Adv. Comput., 2018)

Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing. - Saahil Ognawala; Alexander Pretschner; Thomas Hutzelmann; Eirini Psallida; Ricardo Nales Amato (CoRR, 2018)

Model-Based Safety and Security Engineering. - Vivek Nigam; Alexander Pretschner; Harald Ruess (CoRR, 2018)

Data Usage Control for Distributed Systems. - Florian Kelbert; Alexander Pretschner (ACM Trans. Priv. Secur., 2018)

VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. - Mohsen Ahmadvand; Daniel Below; Sebastian Banescu; Alexander Pretschner (SPRO@CCS, 2019)

Failure clustering without coverage. - Mojdeh Golagha; Constantin Lehnhoff; Alexander Pretschner; Hermann Ilmberger (ISSTA, 2019)

Did We Test All Scenarios for Automated and Autonomous Driving Systems? - Florian Hauer 002; Tabea Schmidt; Bernd Holzmüller; Alexander Pretschner (ITSC, 2019)

Selecting Flow Optimal System Parameters for Automated Driving Systems. - Florian Hauer 002; Raphael E. Stern; Alexander Pretschner (ITSC, 2019)

Learning a classifier for prediction of maintainability based on static analysis tools. - Markus Schnappinger; Mohd Hafeez Osman; Alexander Pretschner; Arnaud Fietzke (ICPC, 2019)

Practical Causal Models for Cyber-Physical Systems. - Amjad Ibrahim; Severin Kacianka; Alexander Pretschner; Charles Hartsell; Gabor Karsai (NFM, 2019)

Attack graph generation for microservice architecture. - Amjad Ibrahim; Stevica Bozhinoski; Alexander Pretschner (SAC, 2019)

A real-time remote IDS testbed for connected vehicles. - Valentin Zieglmeier; Severin Kacianka; Thomas Hutzelmann; Alexander Pretschner (SAC, 2019)

Fitness Functions for Testing Automated and Autonomous Driving Systems. - Florian Hauer 002; Alexander Pretschner; Bernd Holzmüller (SAFECOMP, 2019)

Learning Approach for Smart Self-Adaptive Cyber-Physical Systems. - Ana Petrovska; Alexander Pretschner (FAS*W@SASO/ICAC, 2019)

Chapter Eight - A Taxonomy of Software Integrity Protection Techniques. - Mohsen Ahmadvand; Alexander Pretschner; Florian Kelbert (Adv. Comput., 2019)

Compositional Fuzzing Aided by Targeted Symbolic Execution. - Saahil Ognawala; Fabian Kilger; Alexander Pretschner (CoRR, 2019)

Don't Pick the Cherry: An Evaluation Methodology for Android Malware Detection Methods. - Aleieldin Salem; Sebastian Banescu; Alexander Pretschner (CoRR, 2019)

Efficiently Checking Actual Causality with SAT Solving. - Amjad Ibrahim; Simon Rehwald; Alexander Pretschner (CoRR, 2019)

Extending Causal Models from Machines into Humans. - Severin Kacianka; Amjad Ibrahim; Alexander Pretschner; Alexander Trende; Andreas Lüdtke (CREST@ETAPS, 2019)

Guest editorial for the special section on MODELS 2016. - Jörg Kienzle; Alexander Pretschner (Softw. Syst. Model., 2019)

Leveraging Compression-Based Graph Mining for Behavior-Based Malware Detection. - Tobias Wüchner; Aleksander Cislak; Martín Ochoa; Alexander Pretschner (IEEE Trans. Dependable Secur. Comput., 2019)

From Checking to Inference: Actual Causality Computations as Optimization Problems. - Amjad Ibrahim; Alexander Pretschner (ATVA, 2020)

Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs. - Amjad Ibrahim; Tobias Klesel; Ehsan Zibaei; Severin Kacianka; Alexander Pretschner (ECAI, 2020)

How to Conduct Experiments with a Real Car? Experiences and Practical Guidelines. - Thomas Hutzelmann; Dominik Mauksch; Alexander Pretschner (ECSA Companion, 2020)

Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks. - Amjad Ibrahim; Simon Rehwald; Antoine Scemama; Florian Andres; Alexander Pretschner (GraMSec@CSF, 2020)

Knowledge aggregation with subjective logic in multi-agent self-adaptive cyber-physical systems. - Ana Petrovska; Sergio Quijano; Ilias Gerostathopoulos; Alexander Pretschner (SEAMS@ICSE, 2020)

Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability. - Markus Schnappinger; Arnaud Fietzke; Alexander Pretschner (ICSME, 2020)

Can We Predict the Quality of Spectrum-based Fault Localization? - Mojdeh Golagha; Alexander Pretschner; Lionel C. Briand (ICST, 2020)

Time-Series-Based Clustering for Failure Analysis in Hardware-in-the-Loop Setups: An Automotive Case Study. - Claudius V. Jordan; Florian Hauer 002; Philipp Foth; Alexander Pretschner (ISSRE Workshops, 2020)

Clustering Traffic Scenarios Using Mental Models as Little as Possible. - Florian Hauer 002; Ilias Gerostathopoulos; Tabea Schmidt; Alexander Pretschner (IV, 2020)

Re-Using Concrete Test Scenarios Generally Is a Bad Idea. - Florian Hauer 002; Alexander Pretschner; Bernd Holzmüller (IV, 2020)

Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach. - Tabea Schmidt; Florian Hauer 002; Alexander Pretschner (SAFECOMP, 2020)

Center for Code Excellence. - Johannes Kroß; Peter Bludau; Alexander Pretschner (SE, 2020)

Expressing Accountability Patterns using Structural Causal Models. - Severin Kacianka; Amjad Ibrahim; Alexander Pretschner (CoRR, 2020)

Ethics in the Software Development Process: From Codes of Conduct to Ethical Deliberation. - Jan Gogoll; Niina Zuber; Severin Kacianka; Timo Greger; Alexander Pretschner; Julian Nida-Rümelin (CoRR, 2020)

Center for Code Excellence Trends - Eine Plattform für Trends in Softwaretechnologien. - Johannes Kroß; Peter Bludau; Alexander Pretschner (Inform. Spektrum, 2020)

Dynamic Taint Analysis versus Obfuscated Self-Checking. - Sebastian Banescu; Samuel Valenzuela; Marius Guggenmos; Mohsen Ahmadvand; Alexander Pretschner (ACSAC, 2021)

Human-level Ordinal Maintainability Prediction Based on Static Code Metrics. - Markus Schnappinger; Arnaud Fietzke; Alexander Pretschner (EASE, 2021)

Designing Accountable Systems. - Severin Kacianka; Alexander Pretschner (FAccT, 2021)

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 Lüdtke; Alexander Pretschner; Klaus Bengler (HCI (43), 2021)

Empirically evaluating readily available information for regression test optimization in continuous integration. - Daniel Elsner; Florian Hauer 002; Alexander Pretschner; Silke Reimer (ISSTA, 2021)

Fitness Function Templates for Testing Automated and Autonomous Driving Systems in Intersection Scenarios. - Nicola Kolb; Florian Hauer 002; Alexander Pretschner (ITSC, 2021)

Understanding Safety for Unmanned Aerial Vehicles in Urban Environments. - Tabea Schmidt; Florian Hauer 002; Alexander Pretschner (IV, 2021)

IoT Thing To Service Semantic Matching. - Nisrine Bnouhanna; Rute C. Sofia; Alexander Pretschner (PerCom Workshops, 2021)

Automated Implementation of Windows-related Security-Configuration Guides. - Patrick Stöckle; Bernd Grobauer; Alexander Pretschner (Software Engineering, 2021)

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 (SEAMS@ICSE, 2021)

How can manual testing processes be optimized? developer survey, optimization guidelines, and case studies. - Roman Haas; Daniel Elsner; Elmar Jürgens; Alexander Pretschner; Sven Apel (ESEC/SIGSOFT FSE, 2021)

Trustworthy Transparency by Design. - Valentin Zieglmeier; Alexander Pretschner (CoRR, 2021)

Empowered and Embedded: Ethics and Agile Processes. - Niina Zuber; Severin Kacianka; Jan Gogoll; Alexander Pretschner; Julian Nida-Rümelin (CoRR, 2021)

Tests für automatisierte und autonome Fahrsysteme. - Alexander Pretschner; Florian Hauer 002; Tabea Schmidt (Inform. Spektrum, 2021)

Ethik in der agilen Software-Entwicklung. - Alexander Pretschner; Niina Zuber; Jan Gogoll; Severin Kacianka; Julian Nida-Rümelin (Inform. Spektrum, 2021)

Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection. - Aleieldin Salem; Sebastian Banescu; Alexander Pretschner (ACM Trans. Priv. Secur., 2021)

Challenges in Regression Test Selection for End-to-End Testing of Microservice-based Software Systems. - Daniel Elsner; Daniel Bertagnolli; Alexander Pretschner; Rudi Klaus (AST@ICSE, 2022)

Probe-based Syscall Tracing for Efficient and Practical File-level Test Traces. - Daniel Elsner; Roland Wuersching; Markus Schnappinger; Alexander Pretschner (AST@ICSE, 2022)

Hardening with Scapolite: A DevOps-based Approach for Improved Authoring and Testing of Security-Configuration Guides in Large-Scale Organizations. - Patrick Stöckle; Ionut Pruteanu; Bernd Grobauer; Alexander Pretschner (CODASPY, 2022)

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 (ICSE (SEIP), 2022)

Unreliable Test Infrastructures in Automotive Testing Setups. - Claudius Jordan; Philipp Foth; Alexander Pretschner; Matthias Fruth (ICSE (SEIP), 2022)

FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer. - Stephan Lipp; Daniel Elsner; Thomas Hutzelmann; Sebastian Banescu; Alexander Pretschner; Marcel Böhme (ICSE-Companion, 2022)

Increasing Employees' Willingness to Share: Introducing Appeal Strategies for People Analytics. - Valentin Zieglmeier; Maren Gierlich-Joas; Alexander Pretschner (ICSOB, 2022)

Why Did the Test Execution Fail? Failure Classification Using Association Rules (Practical Experience Report). - Claudius Jordan; Philipp Foth; Matthias Fruth; Alexander Pretschner (ISSRE, 2022)

StellaUAV: A Tool for Testing the Safe Behavior of UAVs with Scenario-Based Testing (Tools and Artifact Track). - Tabea Schmidt; Alexander Pretschner (ISSRE, 2022)

An empirical study on the effectiveness of static C code analyzers for vulnerability detection. - Stephan Lipp; Sebastian Banescu; Alexander Pretschner (ISSTA, 2022)

Automatic Evaluation of Automatically Derived Semantic Scenario Instance Descriptions. - Nicola Kolb; Claudius Jordan; Florian Huber; Alexander Pretschner (ITSC, 2022)

Automated Identification of Security-Relevant Configuration Settings Using NLP. - Patrick Stöckle; Theresa Wasserer; Bernd Grobauer; Alexander Pretschner (ASE, 2022)

A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. - Yuri Gil Dantas; Tiziano Munaro; Carmen Cârlan; Vivek Nigam; Simon Barner; Shiqing Fan; Alexander Pretschner; Ulrich Schöpp; Sergey Tverdyshev (MODELSWARD, 2022)

Feature sets in just-in-time defect prediction: an empirical evaluation. - Peter Bludau; Alexander Pretschner (PROMISE, 2022)

Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles. - Nicola Kolb; Florian Hauer 002; Mojdeh Golagha; Alexander Pretschner (SAFECOMP, 2022)

Exploring a Maximal Number of Relevant Obstacles for Testing UAVs. - Tabea Schmidt; Florian Hauer 002; Alexander Pretschner (SAFECOMP, 2022)

A Preliminary Study on Using Text- and Image-Based Machine Learning to Predict Software Maintainability. - Markus Schnappinger; Simon Zachau; Arnaud Fietzke; Alexander Pretschner (SWQD, 2022)

PR-SZZ: How pull requests can support the tracing of defects in software repositories. - Peter Bludau; Alexander Pretschner (SANER, 2022)

Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber-physical systems. - Ana Petrovska; Stefan Kugele; Thomas Hutzelmann; Theo Beffart; Sebastian Bergemann; Alexander Pretschner (Inf. Softw. Technol., 2022)

Better Safe Than Sorry! Automated Identification of Functionality-Breaking Security-Configuration Rules. - Patrick Stöckle; Michael Sammereier; Bernd Grobauer; Alexander Pretschner (AST, 2023)

On Scenario-Based Testing of Cyber-Physical Systems. - Alexander Pretschner; Florian Hauer 002; Tabea Schmidt (Applicable Formal Methods for Safe Industrial Products, 2023)

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 (ICST, 2023)

DIRTS: Dependency Injection Aware Regression Test Selection. - Simon Hundsdorfer; Daniel Elsner; Alexander Pretschner (ICST, 2023)

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 (ICST, 2023)

Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. - Stephan Lipp; Daniel Elsner; Severin Kacianka; Alexander Pretschner; Marcel Böhme; Sebastian Banescu (ISSTA, 2023)

When to Apply Scenario-Based Testing to a New System Domain? - Nicola Kolb; Tabea Schmidt; Joachim Fröhlich; Alexander Pretschner (ITSC, 2023)

Automatisierte Identifikation von sicherheitsrelevanten Konfigurationseinstellungen mittels NLP. - Patrick Stöckle; Theresa Wasserer; Bernd Grobauer; Alexander Pretschner (Software Engineering, 2023)

Revisiting Inter-Class Maintainability Indicators. - Lena Gregor; Markus Schnappinger; Alexander Pretschner (SANER, 2023)

Rethinking People Analytics With Inverse Transparency by Design. - Valentin Zieglmeier; Alexander Pretschner (Proc. ACM Hum. Comput. Interact., 2023)

A Toolchain for Synthesizing and Validating Safety Architectures. - Yuri Gil Dantas; Tiziano Munaro; Carmen Cârlan; Vivek Nigam; Simon Barner; Shiqing Fan; Alexander Pretschner; Ulrich Schöpp; Sergey Tverdyshev (SN Comput. Sci., 2023)

Decentralized Inverse Transparency with Blockchain. - Valentin Zieglmeier; Gabriel Loyola Daiqui; Alexander Pretschner (Distributed Ledger Technol. Res. Pract., 2023)

Analyzing the Accessibility of GitHub Repositories for PyPI and NPM Libraries. - Alexandros Tsakpinis; Alexander Pretschner (EASE, 2024)

On the Impact of Hitting System Resource Limits on Test Flakiness. - Fabian Leinen; Alexander Perathoner; Alexander Pretschner (FTW@ICSE, 2024)

Cost of Flaky Tests in Continuous Integration: An Industrial Case Study. - Fabian Leinen; Daniel Elsner; Alexander Pretschner; Andreas Stahlbauer; Michael Sailer; Elmar Jürgens (ICST, 2024)

System-Level Test Case Generation and Execution for Distributed Cooperative Unmanned Aerial Systems. - David K. Marson; Diana Deldar; Alexander Pretschner (IV, 2024)

A Failure Model Library for Simulation-Based Validation of Functional Safety. - Tiziano Munaro; Irina Muntean; Alexander Pretschner (SAFECOMP, 2024)

Navigating the New Norm: Employees' Continuous Data Sharing in AI-Driven Workplaces. - Mena Teebken; Thomas Hess; Alexander Pretschner (Wirtschaftsinformatik, 2024)

Generation of Tailored and Confined Datasets for IDS Evaluation in Cyber-Physical Systems. - Thomas Hutzelmann; Dominik Mauksch; Ana Petrovska; Alexander Pretschner (IEEE Trans. Dependable Secur. Comput., 2024)

A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. - Klaus Bengler; Werner Damm; Andreas Lüdtke; Jochem W. Rieger; Benedikt Austel; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; et al. (ACM Trans. Cyber Phys. Syst., 2024)

A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. - Werner Damm; Martin Fränzle; Alyssa J. Kerscher; Forrest Laine; Klaus Bengler; Bianca Biebl; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; Sebastian Lehnhoff; et al. (ACM Trans. Cyber Phys. Syst., 2024)

A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. - Werner Damm; David Hess; Mark Schweda; Janos Sztipanovits; Klaus Bengler; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; Klas Ihme; Severin Kacianka; Alyssa J. Kerscher; et al. (ACM Trans. Cyber Phys. Syst., 2024)

GeMTest: A General Metamorphic Testing Framework. - Simon Speth; Alexander Pretschner (ICSE Companion, 2025)

A Taxonomy of Integration-Relevant Faults for Microservice Testing. - Lena Gregor; Anja Hentschel; Leon Kastner; Alexander Pretschner (ICST, 2025)

RustyRTS: Regression Test Selection for Rust. - Simon Hundsdorfer; Roland Würsching; Alexander Pretschner (ICST, 2025)

Generating Latent Space-Aware Test Cases for Neural Networks using Gradient-Based Search. - Simon Speth; Christoph Jasper; Claudius Jordan; Alexander Pretschner (ICSTW, 2025)

Benchmarking Component and Integration Testing in Microservices: Test Suites and Fault Analysis on TrainTicket. - Lena Gregor; Marcel Skalski; Alexander Pretschner (SOSE, 2025)

Analyzing the Usage of Donation Platforms for PyPI Libraries. - Alexandros Tsakpinis; Alexander Pretschner (CoRR, 2025)

Latent Space Class Dispersion: Effective Test Data Quality Assessment for DNNs. - Vivek Vekariya; Mojdeh Golagha; Andrea Stocco 001; Alexander Pretschner (CoRR, 2025)