Confidently Assessing a Zero Probability of Software Failure. - Jeffrey M. Voas; Christoph C. Michael; Keith W. Miller 001 (SAFECOMP, 1993)

Using evolution constraints to assess the failure-proneness of evolving software. - Christoph C. Michael (CSMR, 1997)

Genetic Algorithms for Dynamic Test Data Generation. - Christoph C. Michael; Gary E. McGraw Jr.; Michael Schatz; C. C. Walton (ASE, 1997)

The Ability of Directed Tests to Predict Software Quality. - Christoph C. Michael; Jeffrey M. Voas (Ann. Softw. Eng., 1997)

Automated Software Test Data Generation for Complex Programs. - Christoph C. Michael; Gary McGraw (ASE, 1998)

Two State-based Approaches to Program-based Anomaly Detection. - Christoph C. Michael; Anup K. Ghosh (ACSAC, 2000)

A Real-Time Intrusion Detection System Based on Learning Program Behavior. - Anup K. Ghosh; Christoph C. Michael; Michael Schatz (Recent Advances in Intrusion Detection, 2000)

Using Finite Automata to Mine Execution Data for Intrusion Detection: A Preliminary Report. - Christoph C. Michael; Anup K. Ghosh (Recent Advances in Intrusion Detection, 2000)

Generating Software Test Data by Evolution. - Christoph C. Michael; Gary McGraw; Michael Schatz (IEEE Trans. Software Eng., 2001)

Simple, state-based approaches to program-based anomaly detection. - Christoph C. Michael; Anup K. Ghosh (ACM Trans. Inf. Syst. Secur., 2002)

Finding the Vocabulary of Program Behavior Data for Anomaly Detection. - Christoph C. Michael (DISCEX (1), 2003)

Leveraging RAG-LLM to Translate C++ to Rust. - Ahmet Okutan; Samuel Merten; Christoph C. Michael; Ben Ryjikov (ICAA, 2024)