A Methodology of Verification and Testing of Large Software Systems

ISSN： 0361-7688

Source： Programming and Computer Software, Vol.29, Iss.6, 2003-11, pp. : 298-309

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

Synergistic verification and validation of systems and software engineering models

By Jarraya Yosr

International Journal of General Systems, Vol. 38, Iss. 7, 2009-10 ,pp. : 719-746

Taylor & Francis Ltd

Access to resources Recommend Favorite

A theory-driven testing methodology for developing scientific software

By Lane Peter C.R.

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 24, Iss. 4, 2012-12 ,pp. : 421-456

Taylor & Francis Ltd

Access to resources Recommend Favorite

Improving reliability of large software systems

By Ebert C. Liedtke T. Baisch E.

Annals of Software Engineering, Vol. 8, Iss. 1-4, 1999-01 ,pp. : 3-51

Springer Publishing Company

Access to resources Recommend Favorite

Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal

By Petrenko A. K.

Programming and Computer Software, Vol. 29, Iss. 6, 2003-11 ,pp. : 296-297

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Towards dependable development tools for embedded systems: a case study in software verification

By Petermann Uwe

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

Taylor & Francis Ltd

Access to resources Recommend Favorite