Author:
Machado Patrícia D.L.,Oliveira Elthon A.S.,Barbosa Paulo E.S.,Rodrigues Cássio L.
Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. Black-Box Testing: Techniques For Functional Testing of Software and Systems;Beizer,1995
2. Specification based formal testing: The easylink case study;Belinfante,2001
3. Software testing based on formal specifications: a theory and a tool;Bernot;Software Engineering Journal,1991
4. Making the most of formal specification through animation, testing and proof;Bicarregui;Science of Computer Programming,1997
5. Bidoit, M., M.V. Cengarle and R. Hennicker, Proof systems for structured specifications and their refinements, in: Algebraic Foundations of Systems Specifications, IFIP State-of-The-Art Reports, Springer, 1999 pp. 385–433
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Test Oracles;Advances in Computers;2014
2. Towards Property Oriented Testing;Electronic Notes in Theoretical Computer Science;2007-07