Specification, testing and verification of unconventional computations using generalized X-machines

Author： Stannett Mike  

Publisher： Taylor & Francis Ltd

ISSN： 0308-1079

Source： International Journal of General Systems, Vol.43, Iss.7, 2014-10, pp. : 713-721

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

Related content

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

Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies

By du Bousquet Lydie   Ledru Yves   Maury Olivier   Oriat Catherine   Lanet Jean-Louis  

Journal of Automated Reasoning, Vol. 45, Iss. 4, 2010-12 ,pp. : 415-435

Springer Publishing Company

Access to resources Recommend Favorite

Efficient Solution of A, x (k) = b (k) Using A −1

By Ditkowski Adi   Fibich Gadi   Gavish Nir  

Journal of Scientific Computing, Vol. 32, Iss. 1, 2007-07 ,pp. : 29-44

Springer Publishing Company

Access to resources Recommend Favorite

Specification‐based testing using cause‐effect graphs

By Paradkar Amit  

Annals of Software Engineering, Vol. 4, Iss. 1, 1997-01 ,pp. : 133-157

Springer Publishing Company

Access to resources Recommend Favorite

New approaches for passive testing using an Extended Finite State Machine specification

By Cavalli A.   Gervy C.   Prokopenko S.  

Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. : 837-852

Elsevier

Access to resources Recommend Favorite