Author:
Cengiz Türker Uraz,Hierons Robert M.,Jourdan Guy-Vincent
Reference59 articles.
1. Fault Detection in Digital Circuits;Friedman,1971
2. Compilers, Principles, Techniques, and Tools;Aho,1986
3. Testing software design modelled by finite state machines;Chow;IEEE Trans. Softw. Eng.,1978
4. A theory for the derivation of tests;Brinksma,1988
5. Formal methods for generating protocol conformance test sequences;Dahbura;Proc. IEEE,1990