Automatic identification of assertions and invariants with small numbers of test vectors.

Masahiro Fujita

Browse the full ICCD paper archive.