{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T18:18:13Z","timestamp":1725819493807},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319165769"},{"type":"electronic","value":"9783319165776"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16577-6_1","type":"book-chapter","created":{"date-parts":[[2015,3,29]],"date-time":"2015-03-29T02:05:04Z","timestamp":1427594704000},"page":"1-25","source":"Crossref","is-referenced-by-count":0,"title":["Testing with B\u00fcchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement"],"prefix":"10.1007","author":[{"given":"Li","family":"Tan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bolong","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"A., B.E.K.: Model-based testing of automotive systems. In: 2008 International Conference on Software Testing, Verification, and Validation, ICST, pp. 485\u2013493 (2008)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-79124-9_6","volume-title":"Tests and Proofs","author":"A. Calvagna","year":"2008","unstructured":"Calvagna, A., Gargantini, A.: A logic-based approach to combinatorial testing with constraints. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 66\u201383. Springer, Heidelberg (2008)"},{"issue":"5","key":"1_CR3","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"J.J. Chilenski","year":"1994","unstructured":"Chilenski, J.J., Miller, S.P.: Applicability of modified condition\/decision coverage to software testing. Software Engineering Journal\u00a09(5), 193\u2013200 (1994)","journal-title":"Software Engineering Journal"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A.: Design and Synthesis of Synchronization Skeletons using Branching-Time Temporal Logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1982)","DOI":"10.1007\/BFb0025774"},{"key":"1_CR5","unstructured":"Committee, S.: Software Considerations in Airborne Systems and Equipment Certification. Tech. rep., Radio Technical Commission for Aeronautics (1992)"},{"key":"1_CR6","unstructured":"Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programming. A.P.I.C. Studies in Data Processing, vol.\u00a08. Academic Press (1972)"},{"key":"1_CR7","volume-title":"ICST \u201909: Proceedings of the 2009 International Conference on Software Testing Verification and Validation","author":"G. Fraser","year":"2009","unstructured":"Fraser, G., Gargantini, A.: An evaluation of model checkers for specification based test case generation. In: ICST \u201909: Proceedings of the 2009 International Conference on Software Testing Verification and Validation, IEEE Computer Society, Washington (2009)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Fujiwara, S., von Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Trans. Softw. Eng.\u00a017(6) (1991)","DOI":"10.1109\/32.87284"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Protocol Specification Testing and Verification. Chapman & Hall (1995)","DOI":"10.1007\/978-0-387-34892-6_1"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Lerda, F.: From States to Transitions: Improving Translation of LTL Formulae to B\u00fcchi Automata. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-36135-9_20"},{"key":"1_CR11","unstructured":"Heimdahl, M.P.E., Rayadurgam, S., Visser, W.: Specification centered testing. In: Proceedings of the Second International Workshop on Automated Program Analysis, Testing and Verification (2001)"},{"issue":"5","key":"1_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The Model Checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-46002-0_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H.S. Hong","year":"2002","unstructured":"Hong, H.S., Lee, I., Sokolsky, O., Ural, H.: A temporal logic based theory of test coverage and generation. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 327\u2013341. Springer, Heidelberg (2002)"},{"key":"1_CR14","unstructured":"Jorgensen, P.C.: Software Testing: A Craftsman\u2019s Approach, 1st edn. CRC Press, Inc., Boca Raton (1995)"},{"key":"1_CR15","unstructured":"Joseph, S.: Fault-Injection through Model Checking via Naive Assumptions about State Machine Synchrony Semantics. Master\u2019s thesis, West Virginia University, Morgantown, West Virginia (1998)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Kamel, M., Leue, S.: Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. International Journal on Software Tools for Technology Transfer (STTT)\u00a02(4) (March 2000)","DOI":"10.1007\/s100090050045"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Kupferman, O., Vardi, M.Y.: Vacuity detection in temporal model checking. International Journal on Software Tools for Technology Transfer (STTT)\u00a04(2) (Februrary 2003)","DOI":"10.1007\/s100090100062"},{"key":"1_CR18","volume-title":"Complementation is more difficult with automata on infinite words","author":"M. Michel","year":"1988","unstructured":"Michel, M.: Complementation is more difficult with automata on infinite words. CNET, Paris (1988)"},{"key":"1_CR19","unstructured":"Rajan, A.: Coverage metrics for requirements-based testing. Ph.D. thesis, University of Minnesota, Minneapolis, MN, USA (2009)"},{"key":"1_CR20","unstructured":"SIMULINK: Dynamic system simulation for matlab, the mathworks (January 1997)"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-21768-5_13","volume-title":"Tests and Proofs","author":"L. Tan","year":"2011","unstructured":"Tan, L.: State Coverage Metrics for Specification-Based Testing with B\u00fcchi Automata. In: Gogolla, M., Wolff, B. (eds.) TAP 2011. LNCS, vol.\u00a06706, pp. 171\u2013186. Springer, Heidelberg (2011)"},{"key":"1_CR22","unstructured":"Tan, L., Sokolsky, O., Lee, I.: Specification-based Testing with Linear Temporal Logic. In: IRI\u201904, pp. 493\u2013498. IEEE society (2004)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-540-71209-1_35","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Y.-K. Tsay","year":"2007","unstructured":"Tsay, Y.-K., Chen, Y.-F., Tsai, M.-H., Wu, K.-N., Chan, W.-C.: GOAL: A Graphical Tool for Manipulating B\u00fcchi Automata and Temporal Formulae. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 466\u2013471. Springer, Heidelberg (2007)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-69738-1_10","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"M.Y. Vardi","year":"2007","unstructured":"Vardi, M.Y.: Automata-theoretic model checking revisited. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol.\u00a04349, pp. 137\u2013150. Springer, Heidelberg (2007)"},{"key":"1_CR25","volume-title":"Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006","author":"M.W. Whalen","year":"2006","unstructured":"Whalen, M.W., Rajan, A., Heimdahl, M.P.E., Miller, S.P.: Coverage metrics for requirements-based testing. In: Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006, ACM, New York (2006)"},{"key":"1_CR26","unstructured":"Young, M., Pezze, M.: Software Testing and Analysis: Process, Principles and Techniques. John Wiley & Sons (2005)"},{"key":"1_CR27","unstructured":"Zeng, B., Tan, L.: Test Criteria for Model-Checking-Assisted Test Case Generation: A Computational Study. In: International Conference on Information Reuse and Integration. IEEE (2012)"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Zeng, B., Tan, L.: A unified framework for evaluating test criteria in model-checking-assisted test case generation. Information Systems Frontiers, 1\u201312 (April 2013)","DOI":"10.1007\/s10796-013-9424-y"}],"container-title":["Advances in Intelligent Systems and Computing","Formalisms for Reuse and Systems Integration"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16577-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:51:45Z","timestamp":1559152305000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-16577-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319165769","9783319165776"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16577-6_1","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]}}}