Emil Gizdarski, Hideo Fujiwara. Spirit: satisfiability problem implementation for redundancy identification and test generation. In 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan. pages 171-178, IEEE Computer Society, 2000. [doi]
@inproceedings{GizdarskiF00,
title = {Spirit: satisfiability problem implementation for redundancy identification and test generation},
author = {Emil Gizdarski and Hideo Fujiwara},
year = {2000},
url = {http://csdl.computer.org/comp/proceedings/ats/2000/0887/00/08870171abs.htm},
tags = {redundancy, testing},
researchr = {https://researchr.org/publication/GizdarskiF00},
cites = {0},
citedby = {0},
pages = {171-178},
booktitle = {9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan},
publisher = {IEEE Computer Society},
isbn = {0-7695-0887-1},
}