Generating tests from B specifications and dynamic selection criteria

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.23, Iss.1, 2011-01, pp. : 3-19

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

Dynamic generating algorithm on path selection and optimisation in travel planning

By Zhang Lanhua Ma Hua Sun Jing Song Wuli Zheng Peng Xue Shaowei

International Journal of Computer Applications in Technology, Vol. 48, Iss. 3, 2013-10 ,pp. : 203-211

Inderscience Publishers

Access to resources Recommend Favorite

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

By Longuet Delphine Aiguier Marc Le Gall Pascale

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

Springer Publishing Company

Access to resources Recommend Favorite

Object oriented concepts identification from formal B specifications

By Idani Akram Ledru Yves

Formal Methods in System Design, Vol. 30, Iss. 3, 2007-06 ,pp. : 217-232

Springer Publishing Company

Access to resources Recommend Favorite

From latex specifications to parallel codes

By Acosta Alejandro

The Journal of Supercomputing, Vol. 64, Iss. 1, 2013-04 ,pp. : 167-176

Springer Publishing Company

Access to resources Recommend Favorite

Generating Dynamic Projection Images for Scene Representation and Understanding

By Zheng J.Y. Tsuji S.

Computer Vision and Image Understanding, Vol. 72, Iss. 3, 1998-12 ,pp. : 237-256

Academic Press

Access to resources Recommend Favorite