Data refinement based testing

ISSN： 0975-6809

Source： International Journal of Systems Assurance Engineering and Management, Vol.2, Iss.2, 2011-06, pp. : 144-154

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Case-based reasoning for interpretation of data from non-destructive testing

By Jarmulak J. Kerckhoffs E.J.H. van't Veen P..P.

Engineering Applications of Artificial Intelligence, Vol. 14, Iss. 4, 2001-08 ,pp. : 401-417

Elsevier

Access to resources Recommend Favorite

Data-abstraction refinement: a game semantic approach

By Bakewell Adam Dimovski Aleksandar Ghica Dan Lazić Ranko

International Journal on Software Tools for Technology Transfer, Vol. 12, Iss. 5, 2010-09 ,pp. : 373-389

Springer Publishing Company

Access to resources Recommend Favorite

Soundness of data refinement for a higher-order imperative language

By Naumann D.A.

Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. : 271-301

Elsevier

Access to resources Recommend Favorite

Data Generation for Path Testing

By Mansour Nashat Salame Miran

Software Quality Journal, Vol. 12, Iss. 2, 2004-06 ,pp. : 121-136

Springer Publishing Company

Access to resources Recommend Favorite

Towards validation and refinement of rule-based systems

By Knauf Rainer

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 12, Iss. 4, 2000-10 ,pp. : 421-431

Taylor & Francis Ltd

Access to resources Recommend Favorite