A Caltech Library Service

Search

Browse by Eprint ID

Number of items: 1 .

Graebener, Josefine Berta Marie (2024) Formal Methods for Test and Evaluation: Reasoning over Tests, Automated Test Synthesis, and System Diagnostics. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/4xdc-b988. https://resolver.caltech.edu/CaltechTHESIS:05312024-094443866

This list was generated on Wed Dec 17 18:35:01 2025 UTC .

CaltechTHESIS is powered by EPrints 3.3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits .