Proof-Guided Test Selection from First-Order Specifications with Equality

Author： Longuet Delphine Aiguier Marc Le Gall Pascale

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.45, Iss.4, 2010-12, pp. : 437-473

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

Compiling dyadic first-order specifications into map algebra

By Cantone D. Formisano A. Omodeo E.G. Zarba C.G.

Theoretical Computer Science, Vol. 293, Iss. 2, 2003-02 ,pp. : 447-475

Elsevier

Access to resources Recommend Favorite

Confirmation-Guided Discovery of First-Order Rules with Tertius

By Flach P.A.

Machine Learning, Vol. 42, Iss. 1-2, 2001-01 ,pp. : 61-95

Springer Publishing Company

Access to resources Recommend Favorite

A semantic proof of strong cut-admissibility for first-order Gdel logic

By Lahav Ori Avron Arnon

Journal of Logic and Computation, Vol. 23, Iss. 1, 2013-02 ,pp. : 59-86

Oxford University Press

Access to resources Recommend Favorite

From first-order logic to automated word generation for Lyee

By Amon B. Ekenberg L. Johannesson P. Munguanaze M. Njabili U. Manka Tesha R.

Knowledge-Based Systems, Vol. 16, Iss. 7, 2003-11 ,pp. : 413-429

Elsevier

Access to resources Recommend Favorite

A note on first-order projections and games

By Arratia A.A. Stewart I.A.

Theoretical Computer Science, Vol. 290, Iss. 3, 2003-01 ,pp. : 2085-2093

Elsevier

Access to resources Recommend Favorite