CaltechTHESIS
  A Caltech Library Service
Login Search

Browse by Author

Up a level
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 12:04:33 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 .