An Experiment in the Generation of Executable Test Sequences for the Inres Protocol.

Anthony Chung, Tao Huang

Browse the full SNPD paper archive.