{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T21:40:01Z","timestamp":1748554801570,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319226347"},{"type":"electronic","value":"9783319226354"}],"license":[{"start":{"date-parts":[[2015,8,4]],"date-time":"2015-08-04T00:00:00Z","timestamp":1438646400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,8,4]],"date-time":"2015-08-04T00:00:00Z","timestamp":1438646400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-22635-4_15","type":"book-chapter","created":{"date-parts":[[2015,8,3]],"date-time":"2015-08-03T14:44:03Z","timestamp":1438613043000},"page":"171-179","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Generating Minimum Height ADSs for Partially Specified Finite State Machines"],"prefix":"10.1007","author":[{"given":"Robert M.","family":"Hierons","sequence":"first","affiliation":[]},{"given":"Uraz Cengiz","family":"T\u00fcrker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,4]]},"reference":[{"key":"15_CR1","unstructured":"Friedman, A.D., Menon, P.R.: Fault Detection in Digital Circuits. Computer Applications in Electrical Engineering Series. Prentice-Hall (1971)"},{"key":"15_CR2","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley (1986)"},{"issue":"3","key":"15_CR3","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. SE-4(3), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR4","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall (1991)"},{"issue":"8","key":"15_CR5","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite-state machines\u2014a survey. Proc. IEEE 84(8), 1089\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"15_CR6","first-page":"285","volume":"15","author":"K Sabnani","year":"1988","unstructured":"Sabnani, K., Dahbura, A.: A protocol test generation procedure. Comput. Netw. 15(4), 285\u2013297 (1988)","journal-title":"Comput. Netw."},{"key":"15_CR7","unstructured":"Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley (1999)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Haydar, M., Petrenko, A., Sahraoui, H.: Formal verification of web applications modeled by communicating automata. In: Formal Techniques for Networked and Distributed Systems\u2014FORTE 2004, vol. 3235, pp. 115\u2013132. Springer (2004)","DOI":"10.1007\/978-3-540-30232-2_8"},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1109\/12.272431","volume":"43","author":"D Lee","year":"1994","unstructured":"Lee, D., Yannakakis, M.: Testing finite-state machines: State identification and verification. IEEE Trans. Comput. 43(3), 306\u2013320 (1994)","journal-title":"IEEE Trans. Comput."},{"issue":"5","key":"15_CR10","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0140-3664(92)90092-S","volume":"15","author":"Hasan Ural","year":"1992","unstructured":"Ural, Hasan: Formal methods for test sequence generation. Comput. Commun. 15(5), 311\u2013325 (1992)","journal-title":"Comput. Commun."},{"key":"15_CR11","unstructured":"Tsai, P.-C., Wang, S.-J., Chang, F.-M.: FSM-based programmable memory BIST with macro command. In: Memory Technology, Design, and Testing, 2005. MTDT 2005. IEEE International Workshop on, pp. 72\u201377 (2005)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Zarrineh, K., Upadhyaya, S.J.: Programmable memory BIST and a new synthesis framework. In: Fault-Tolerant Computing, 1999. Digest of Papers. Twenty-Ninth Annual International Symposium on, pp. 352\u2013355 (1999)","DOI":"10.1109\/FTCS.1999.781072"},{"issue":"2","key":"15_CR13","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1006\/jcss.1995.1019","volume":"50","author":"M Yannakakis","year":"1995","unstructured":"Yannakakis, M., Lee, D.: Testing finite state machines: Fault detection. J. Comput. Syst. Sci. 50(2), 209\u2013227 (1995)","journal-title":"J. Comput. Syst. Sci."},{"key":"15_CR14","unstructured":"Yevtushenko, N., Petrenko, A.: Synthesis of test experiments in some classes of automata. Autom. Control Comput. Sci. 4 (1990)"},{"issue":"9","key":"15_CR15","doi-asserted-by":"publisher","first-page":"1154","DOI":"10.1109\/TC.2005.152","volume":"54","author":"Alexandre Petrenko","year":"2005","unstructured":"Petrenko, Alexandre, Yevtushenko, Nina: Testing from partial deterministic FSM specifications. IEEE Trans. Comput. 54(9), 1154\u20131165 (2005)","journal-title":"IEEE Trans. Comput."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Rho, J.-K., Hachtel, G., Somenzi, F.: Don\u2019t care sequences and the optimization of interacting finite state machines. In: Computer-Aided Design, 1991. ICCAD-91. Digest of Technical Papers. IEEE International Conference on, pp. 418\u2013421 (1991)","DOI":"10.1109\/ICCAD.1991.185292"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"da Silva Sim\u00e3o, A., Petrenko, A.: Generating checking sequences for partial reduced finite state machines. Test. Softw. Commun. Syst. 153\u2013168 (2008)","DOI":"10.1007\/978-3-540-68524-1_12"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., T\u00fcrker, U.C.: Distinguishing sequences for partially specified FSMs. In: NASA Formal Methods\u20146th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 62\u201376 (2014)","DOI":"10.1007\/978-3-319-06200-6_5"},{"issue":"3","key":"15_CR19","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/s10703-014-0205-0","volume":"44","author":"UC T\u00fcrker","year":"2014","unstructured":"T\u00fcrker, U.C., Yenig\u00fcn, H.: Hardness and inapproximability of minimizing adaptive distinguishing sequences. Formal Methods Syst. Des. 44(3), 264\u2013294 (2014)","journal-title":"Formal Methods Syst. Des."},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"G\u00fcni\u00e7en, C., T\u00fcrker, U.C., Ural, H., Yenig\u00fcn, H.: Generating preset distinguishing sequences using SAT. In: Computer and Information Sciences II\u201426th International Symposium on Computer and Information Sciences, London, UK, 26\u201328 September 2011, pp. 487\u2013493 (2011)","DOI":"10.1007\/978-1-4471-2155-8_62"},{"key":"15_CR21","volume-title":"Introduction to The Theory of Finite State Machines","author":"A Gill","year":"1962","unstructured":"Gill, A.: Introduction to The Theory of Finite State Machines. McGraw-Hill, New York (1962)"},{"key":"15_CR22","unstructured":"Brglez, F.: ACM\/SIGMOD benchmark dataset. http:\/\/cbl.ncsu.edu:16080\/benchmarks\/Benchmarks-upto-1996.html"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"T\u00fcrker, U.C., \u00dcnl\u00fcyurt, T., Yenig\u00fcn, H.: Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences. In: Testing Software and Systems\u201426th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23\u201325, 2014. Proceedings, pp. 32\u201347 (2014)","DOI":"10.1007\/978-3-662-44857-1_3"}],"container-title":["Lecture Notes in Electrical Engineering","Information Sciences and Systems 2015"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22635-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T21:17:48Z","timestamp":1748553468000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22635-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,4]]},"ISBN":["9783319226347","9783319226354"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22635-4_15","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2015,8,4]]},"assertion":[{"value":"4 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}