@inproceedings{6258d93ff1fd49b59ead35afb815deb5,
title = "Homing sequence derivation with quantified boolean satisfiability",
abstract = "Homing sequence derivation for nondeterministic finite state machines (NFSMs) has important applications in system testing and verification. Unlike prior methods based on explicit tree based search, in this work we formulate the derivation of a preset homing sequence in terms of a quantified Boolean formula (QBF). The formulation allows implicit NFSM representation and compact QBF encoding for effective computation. Different encoding schemes and QBF solvers are evaluated for their suitability to homing sequence derivation. Experimental results show the generality and feasibility of the proposed method.",
author = "Wang, \{Hung En\} and Tu, \{Kuan Hua\} and Jiang, \{Jie Hong R.\} and Natalia Kushik",
note = "Publisher Copyright: {\textcopyright} 2017, IFIP International Federation for Information Processing.; 29th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2017 ; Conference date: 09-10-2017 Through 11-10-2017",
year = "2017",
month = jan,
day = "1",
doi = "10.1007/978-3-319-67549-7\_14",
language = "English",
isbn = "9783319675480",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "230--242",
editor = "Nina Yevtushenko and Cavalli, \{Ana Rosa\} and Husnu Yenigun",
booktitle = "Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings",
}