<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<item>
  <id>71010852</id>
  <dt>a</dt>
  <an>71010852</an>
  <augroup>
    <au>Bergmann, Jules P.</au>
    <au>Horowitz, Mark</au>
  </augroup>
  <ti>Improving coverage analysis and test generation for large designs</ti>
  <so>ICCAD, 580-583 (1999).</so>
  <py>1999</py>
  <pu></pu>
  <lagroup>
    <la>EN</la>
  </lagroup>
  <ccgroup>
  </ccgroup>
  <utgroup>
  </utgroup>
  <cigroup>
  </cigroup>
  <ligroup>
    <li>http://portal.acm.org/citation.cfm?id=339492.340080</li>
  </ligroup>
</item>