Authors: FERNANDEZ JC JARD C JERON T VIHO C

Citation: Jc. Fernandez et al., AN EXPERIMENT IN AUTOMATIC-GENERATION OF TEST SUITES FOR PROTOCOLS WITH VERIFICATION TECHNOLOGY, Science of computer programming, 29(1-2), 1997, pp. 123-146

Authors: JERON T JARD C

Citation: T. Jeron et C. Jard, TESTING FOR UNBOUNDEDNESS OF FIFO CHANNELS, Theoretical computer science, 113(1), 1993, pp. 93-117