Author:
Endo Andre Takeshi,Simao Adenilso
Subject
Computer Science Applications,Information Systems,Software
Reference40 articles.
1. Model-based software testing;El-Far,2001
2. Using formal specifications to support testing;Hierons;ACM Computing Surveys (CSUR),2009
3. Practical Model-Based Testing: A Tools Approach;Utting,2006
4. Model-based quality assurance of protocol documentation: tools and methodology;Grieskamp;Software Testing, Verification and Reliability,2011
5. Principles and methods of testing finite state machines – a survey;Lee;Proceedings of the IEEE,1996
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献