C
[Cho03] Hana Chockler. Coverage Metrics for Model Checking. PhD thesis, Hebrew University, Jerusalem, Israel, September 2003. 
@phdthesis{phd-chockler,
  author =              {Chockler, Hana},
  title =               {Coverage Metrics for Model Checking},
  year =                {2003},
  month =               sep,
  school =              {Hebrew University, Jerusalem, Israel},
}
List of authors