A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols

Publisher Website

1 January 1998

book chapter
Published by Springer Nature

p. 279-294
https://doi.org/10.1007/978-0-387-35381-4_17

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

A fast algortihm for finding all shortest paths
Information Processing Letters, 1981
A note on two problems in connexion with graphs
Numerische Mathematik, 1959