Feature interaction detection by pairwise analysis of LTL properties—A case study

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.28, Iss.3, 2006-05, pp. : 213-261

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

Feature analysis in tool condition monitoring: a case study in titanium machining

By Sun Jie Wong Yoke San Hong Geok Soon Rahman Mustafizur

International Journal of Computer Applications in Technology, Vol. 45, Iss. 2-3, 2012-12 ,pp. : 177-185

Inderscience Publishers

Access to resources Recommend Favorite

Model-based pairwise testing for feature interaction coverage in software product line engineering

By Lochau Malte

Software Quality Journal, Vol. 20, Iss. 3-4, 2012-09 ,pp. : 567-604

Springer Publishing Company

Access to resources Recommend Favorite

The pairwise attribute noise detection algorithm

By Hulse Jason Khoshgoftaar Taghi Huang Haiying

Knowledge and Information Systems, Vol. 11, Iss. 2, 2007-02 ,pp. : 171-190

Springer Publishing Company

Access to resources Recommend Favorite

Exploiting resolution proofs to speed up LTL vacuity detection for BMC

By Simmonds Jocelyn Davies Jessica Gurfinkel Arie Chechik Marsha

International Journal on Software Tools for Technology Transfer, Vol. 12, Iss. 5, 2010-09 ,pp. : 319-335

Springer Publishing Company

Access to resources Recommend Favorite

On the Influence of Scale Selection on Feature Detection for the Case of Linelike Structures

By Majer Peter

International Journal of Computer Vision, Vol. 60, Iss. 3, 2004-12 ,pp. : 191-202

Springer Publishing Company

Access to resources Recommend Favorite