Hierons, R. and M. Harman (2001) `Testing conformance to a quasinondeterministic stream X-machine.' Formal Aspects of Computing (Special Issue on X-machines). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Complete Behavioural Testing - Two Extensions To (Correct)
No context found.
Hierons, R. and M. Harman (2001) `Testing conformance to a quasinondeterministic stream X-machine.' Formal Aspects of Computing (Special Issue on X-machines).
Complete Behavioural Testing of Object-Oriented Systems Using.. - Stannett, al. (2002) (Correct)
No context found.
Hierons, R.M. and Harman, M. "Testing conformance to a quasi-nondeterministic stream Xmachine. " Formal Aspects of Computing, 12, 423-442 (2000).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC