Author:
Rodríguez Ismael,Rosa-Velardo Fernando,Rubio Fernando
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference59 articles.
1. Classes of recursively enumerable sets and their decision problems;Rice;Trans. Am. Math. Soc.,1953
2. Principles and methods of testing finite state machines: a survey;Lee;Proc. IEEE,1996
3. Fault model-driven test derivation from finite state models: annotated bibliography;Petrenko,2001
4. Testing transition systems: an annotated bibliography;Brinksma,2001
5. HOTL: hypotheses and observations testing logic;Rodríguez;J. Log. Algebraic Program.,2008
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献