{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:08:42Z","timestamp":1725484122765},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439288"},{"type":"electronic","value":"9783540456148"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45614-7_4","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T00:45:28Z","timestamp":1179362728000},"page":"57-76","source":"Crossref","is-referenced-by-count":4,"title":["Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study"],"prefix":"10.1007","author":[{"given":"Juan C.","family":"Burguillo-Rial","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel J.","family":"Fern\u00e1ndez-Iglesias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco J.","family":"Gonz\u00e1lez-Casta\u00f1o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn","family":"Llamas-Nistal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"4_CR1","unstructured":"Alilovic-Curgus, J., Vuong, S.T.: A Metric Based Theory of Test Selection and Coverage. Protocol Specification, Testing and VerificationXIII. Elsevier Science Publishers B.V. IFIP, 1993."},{"key":"4_CR2","unstructured":"Bertsekas, D., Gallagher, R.: Data Networks, Prentice-Hall International Ed., 1992."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A Theory of Communicating Sequential Processes. Journal of the ACM 31, 1984","DOI":"10.1145\/828.833"},{"key":"4_CR4","first-page":"63","volume":"VIII","author":"E. Brinksma","year":"1988","unstructured":"Brinksma, E.: A Theory for the Derivation of Tests. Protocol Specification, Testing and Verification VIII, 63\u201374. 1988.","journal-title":"Protocol Specification, Testing and Verification"},{"key":"4_CR5","first-page":"233","volume":"XI","author":"E. Brinksma","year":"1991","unstructured":"Brinksma, E., Tretmans J., Verhaard, L.: A Framework for Test Selection. Protocol Specification, Testing and Verification, XI. Elsevier Science Publishers B.V. 233\u2013248, 1991.","journal-title":"Protocol Specification, Testing and Verification"},{"key":"4_CR6","unstructured":"Burguillo-Rial, J.C.: Contribuci\u00f3n a la Fase de Prueba de Sistemas Concurrentes y Distribuidos mediante T\u00e9cnicas de Descripci\u00f3n Formal. Ph. D. Dissertation (in Spanish), Universidad de Vigo, Spain, 2001."},{"key":"4_CR7","first-page":"908","volume":"300","author":"ETSI","year":"1997","unstructured":"ETSI: \u201cDigital cellular telecommunications system (phase 2+); Multiplexing and multiple access on the radio path (GSM 05.02 version 5.4.1)\u201d. ETSI technical report ETR 300 908, 1997.","journal-title":"ETSI technical report ETR"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez-Iglesias, M. J., Llamas-Nistal, M.: Algebraic Specification through Expression Transformation, in: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A., (Eds.), Procs. of the Joint Conference FORTE\/PSTV\u201997, Chapman & Hall, 1997, 355\u2013366.","DOI":"10.1007\/978-0-387-35271-8_22"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez-Iglesias, M. J., Gonz\u00e1lez-Casta\u00f1o, F. J., Pousada-Carballo, J. M., Llamas-Nistal, M., and Romero-Feijoo, A.: From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study. Procs. of FME 2001. Lecture Notes on Computer Science 2021, 436\u2013448.","DOI":"10.1007\/3-540-45251-6_25"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Heerink, L., Tretmans, J.: Formal Methods in Conformance Testing: a Probabilistic Refinement. In B. Baumgarten, H.J. Burkhardt, and A. Giessler, editors, Int. Workshop on Testing of Communicating Systems IX, Chapman & Hall, 1996, 261\u2013276.","DOI":"10.1007\/978-0-387-35062-2_19"},{"key":"4_CR11","unstructured":"Holzmann, G.: Design and Validation of Computer Protocols, Prentice Hall, 1991."},{"key":"4_CR12","volume-title":"Ph. D. Dissertation","author":"G. Huecas","year":"1995","unstructured":"Huecas, G.: Contribuci\u00f3n a la Formalizaci\u00f3n de la Fase de Ejecuci\u00f3n de Pruebas. Ph. D. Dissertation (in Spanish), Universidad Polit\u00e9cnica de Madrid, Spain, 1995."},{"key":"4_CR13","unstructured":"Information Processing Systems-Open Systems Interconnections: LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS 8807, ISO, 1989."},{"key":"4_CR14","unstructured":"Information Processing Systems-Open Systems Interconnections: Conformance Testing Methodology and Framework. IS 9646, ISO, 1991."},{"key":"4_CR15","unstructured":"Information Processing Systems-Open Systems Interconnections: ESTELLE: A formal description technique based on the extended state transition model. IS 9074, ISO, 1989."},{"key":"4_CR16","unstructured":"ITU-T: Recommendation Recommendation Z.500. Framework on Formal Methods in Conformance Testing. ISO ITU-T, Mayo 1997."},{"key":"4_CR17","unstructured":"ITU-T: SDL: Specification and Description Language, CCITT Recommendation Z.100, International Telecommunication Union, 1993."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Koenig, H., Ulrich, A., Heiner, M.: Design for Testability: a Step-Wise Approach to Protocol Testing. Testing of Communicating Systems. Volume 10. 1997","DOI":"10.1007\/978-0-387-35198-8_9"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Leduc, G.: Failure-based Congruences, Unfair Divergences and New Testing Theory. Proceedings of PSTV XIV, Vancouver, Canad\u00e1, Junio 1994. Chapman & Hall, 252\u2013267, 1995.","DOI":"10.1007\/978-0-387-34867-4_17"},{"key":"4_CR20","unstructured":"Ma\u00f1as, J. A., de Miguel, T.: From LOTOS to C, in: K. J. Turner, (Ed), Procs. of FORTE\u201988, North Holland, 1988, 79\u201384."},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0169-7552(93)90050-E","volume":"25","author":"J. A. Ma\u00f1as","year":"1993","unstructured":"Ma\u00f1as, J. A., de Miguel, T., Salvach\u00faa, J., Azcorra, A.: Tool support to implement LOTOS specifications, Computer Networks and ISDN Systems, 25 (1993) 79\u201384.","journal-title":"Computer Networks and ISDN Systems"},{"key":"4_CR22","unstructured":"Miller, G. H: Microcomputer Engineering, Prentice Hall, 1993."},{"key":"4_CR23","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall International, London, 1989"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Musa, J.D., Ackerman, A.F.: Quantifying Software Validation: When to Stop Testing?. IEEE Trans. Soft. Eng., 19\u201326, 1989.","DOI":"10.1109\/52.28120"},{"key":"4_CR25","unstructured":"Myers, G.L.: The Art of Software Testing. John Wiley & Sons Inc., 1979."},{"key":"4_CR26","unstructured":"Quemada, J., Pav\u00f3n, S., Fern\u00e1ndez, A.: Transforming LOTOS specification with LOLA, in: Turner, K. J., (Ed), Procs. of FORTE\u201988, North Holland, 1988."},{"key":"4_CR27","volume-title":"Ph. D. Dissertation","author":"T. Robles","year":"1991","unstructured":"Robles, T.: Contribuci\u00f3n al Tratamiento Formal de la Fase de Pruebas del Ciclo Software en Ingenier\u00eda de Protocolos. Ph. D. Dissertation (in Spanish), Universidad Polit\u00e9cnica de Madrid, Spain, 1991."},{"key":"4_CR28","unstructured":"Robles, T., Ma\u00f1as, J. A., Huecas, G.: Specification and Derivation of OSI Conformance Test Suites. Protocol Test Systems, V. Elsevier Science Publishers. 177\u2013188. IFIP, 1993."},{"key":"4_CR29","unstructured":"Rodr\u00edguez-Hern\u00e1ndez, P. S., Gonz\u00e1lez-Casta\u00f1o, F. J., Pousada-Carballo, J. M., Fern\u00e1ndez-Iglesias, M. J., Garc\u00eda-Reinoso, J.: Cellular Network for Real-Time Mobile Auction. Wireless Personal Communications (Submitted)."},{"key":"4_CR30","volume-title":"Ph. D. Dissertation","author":"J. Tretmans","year":"1992","unstructured":"Tretmans, J.: A Formal Approach to Conformance Testing. Ph. D. Dissertation, University of Twente, Enschede, The Netherlands, 1992."},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems, 29: 49\u201379, 1996.","journal-title":"Computer Networks and ISDN Systems"},{"key":"4_CR32","unstructured":"Ulrich, A., Koenig, H.: Test Derivation from LOTOS using Structure Information. Protocol Test Systems VI. 1994."},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Velthuys, R.J., Schneider, J.M., Zoerntlein, G.: A Test Derivation Method Based on Exploiting Structure Information. Protocol Specification, Testing and Verification XII, 1992.","DOI":"10.1016\/B978-0-444-89874-6.50019-2"},{"issue":"1","key":"4_CR34","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TC.1982.1675879","volume":"C-31","author":"T.W. Williams","year":"1982","unstructured":"Williams, T.W., Parker, K.P.: Design for Testability-A Survey. IEEE Trans. on Computers C-31,1, 2\u201315. 1982.","journal-title":"IEEE Trans. on Computers"},{"key":"4_CR35","unstructured":"Zju, J., Vuong, S.T.: Generalized Metric Based Test Selection and Coverage Measure for Communication protocols. Formal Description Techniques and Protocol Specification, Testing and Verification. FORTE X\/PSTV XVII. IFIP 1997."},{"key":"4_CR36","unstructured":"Zju, J., Vuong, S.T., Chanson, S.T.: Evaluation of Test Coverage for Embedded System Testing. 11th International Workshop on Testing of Communicating Systems. 1998."}],"container-title":["Lecture Notes in Computer Science","FME 2002:Formal Methods\u2014Getting IT Right"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45614-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:05:32Z","timestamp":1556409932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45614-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439288","9783540456148"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-45614-7_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}