@inproceedings{ff89bd807fa4490490c8b70467ac58a2,
title = "An incremental approach for model-based test suite reduction using Formal Concept Analysis",
abstract = "Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios with a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to incrementally determine a minimal set of test scenarios with adequate test coverage.",
keywords = "Formal concept analysis, Incremental test suite reduction, Model-based testing, State machine model",
author = "Pin Ng and Fung, \{Richard Y.K.\}",
year = "2009",
doi = "10.1109/ICUT.2009.5405725",
language = "English",
isbn = "9781424451302",
series = "Proceedings of the 4th International Conference on Ubiquitous Information Technologies and Applications, ICUT 2009",
booktitle = "Proceedings of the 4th International Conference on Ubiquitous Information Technologies and Applications, ICUT 2009",
note = "4th International Conference on Ubiquitous Information Technologies and Applications, ICUT 2009 ; Conference date: 20-12-2009 Through 22-12-2009",
}