Author:
Dauchy P,Gaudel M.-C,Marre B
Subject
Hardware and Architecture,Information Systems,Software
Reference27 articles.
1. Test Selection Based on Finite State Models;Fujiware;IEEE Trans. Software Eng.,1991
2. Using high-level Petri nets for testing concurrent and real-time systems;Morasca,1990
3. Data-Abstraction Implementation, Specification and Testing;Gannon;ACM Trans. Progr. Lang. Syst.,1981
4. Specification and testing of abstract data types;Jalote,1983
5. Test Sets Generation from Algebraic Specifications Using Logic Programming;Bougé;J. Syst. Software,1986
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献