Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu. Proving Inductive Theorems Using Witnessed Test Sets. In ICFEM. pages 158-164, 1998. [doi]
@inproceedings{ShaoSSY98,
title = {Proving Inductive Theorems Using Witnessed Test Sets},
author = {Zhiqing Shao and Yongqiang Sun and Guoxin Song and Huiqun Yu},
year = {1998},
url = {http://computer.org/proceedings/icfem/9198/91980158abs.htm},
tags = {testing},
researchr = {https://researchr.org/publication/ShaoSSY98},
cites = {0},
citedby = {0},
pages = {158-164},
booktitle = {ICFEM},
}