An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique

ISSN： 1382-3256

Source： Empirical Software Engineering, Vol.11, Iss.2, 2006-06, pp. : 173-202

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

Efficient Specification-Based Component Retrieval

By Penix J.

Automated Software Engineering, Vol. 6, Iss. 2, 1999-04 ,pp. : 139-170

Springer Publishing Company

Access to resources Recommend Favorite

Specification-Based Browsing of Software Component Libraries

By Fischer B.

Automated Software Engineering, Vol. 7, Iss. 2, 2000-05 ,pp. : 179-200

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

Tool-Assisted Specification and Verification of Typed Low-Level Languages

By Barthe Gilles Courtieu Pierre Dufay Guillaume Melo de Sousa Simão

Journal of Automated Reasoning, Vol. 35, Iss. 4, 2005-11 ,pp. : 295-354

Springer Publishing Company

Access to resources Recommend Favorite

Involving users in the specification of functionality using scenarios and model-based evaluation

By Schaik Paul Van

Behaviour and Information Technology, Vol. 18, Iss. 6, 1999-11 ,pp. : 455-466

Taylor & Francis Ltd

Access to resources Recommend Favorite