ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique
Authors:
- Huo Yan ChenHCHuo Yan Chen
- T.H TseT.H Tse
- Yue Tang DengYDYue Tang Deng
Open Access
- 1 July 2000
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 42 (10) , 677-686
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- The state-based testing of object-oriented programs2002
- In black and whiteACM Transactions on Software Engineering and Methodology, 1998
- Strategic directions in object-oriented programmingACM Computing Surveys, 1996
- The ASTOOT approach to testing object-oriented programsACM Transactions on Software Engineering and Methodology, 1994
- Automated flow graph-based testing of object-oriented software modulesJournal of Systems and Software, 1993
- Using algebraic specifications in software testing: A case study on the software of an automatic subwayJournal of Systems and Software, 1993
- Software testing based on formal specifications: a theory and a toolSoftware Engineering Journal, 1991
- Test sets generation from algebraic specifications using logic programmingJournal of Systems and Software, 1986
- A Domain Strategy for Computer Program TestingIEEE Transactions on Software Engineering, 1980