{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:29:05Z","timestamp":1761596945170},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627906"},{"type":"electronic","value":"9783540685197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035401","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:28:40Z","timestamp":1138184920000},"page":"384-398","source":"Crossref","is-referenced-by-count":29,"title":["Test generation for intelligent networks using model checking"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"Engels","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loe","family":"Feijs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"26_CR1","volume-title":"Intelligent networks, seminar","author":"J. Aitken","year":"1995","unstructured":"J. Aitken. Intelligent networks, seminar, logica uk ltd., london, april 26\u201327, 1995, 1995."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, G. Holzmann, and D. Peled. An analyzer for message sequence charts. In Margaria and Steffen [20], pages 35\u201348.","DOI":"10.1007\/3-540-61042-1_37"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"B. Baumgarten, H. Burkhardt, and A. Giessler, editors. Testing of communicating systems. Chapman & Hall, 1996.","DOI":"10.1007\/978-0-387-35062-2"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"P. Bohacek and J.N.White. Service creation: The real key to intelligent network revenue. In Proc. Workshop Intelligent Networks '94, Heidelberg, May24\u201326 1994.","DOI":"10.1109\/INW.1994.729188"},{"volume-title":"Proceedings of IWPTS '95","year":"1995","key":"26_CR5","unstructured":"A. Cavali and S. Budkowski, editors. Proceedings of IWPTS '95, 9 rue Charles Fourier 91011 Evry Cedex, 1995. Institut National T\u00e9l\u00e9communications."},{"key":"26_CR6","volume-title":"Recommendation AP IX-35-E","author":"CCITT","year":"1988","unstructured":"CCITT. Recommendation z100, specification and description language (sdl). Recommendation AP IX-35-E, International Telegraph and Telephone Consultative Committee, Geneva, 1988."},{"key":"26_CR7","volume-title":"Protocol specification, testing and verification XII","author":"W. Chun","year":"1992","unstructured":"W. Chun. Improvements on uio sequence generation and partial uio sequences. In Linn and \u00dcyar [19]."},{"issue":"6","key":"26_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1002\/j.1538-7305.1994.tb00618.x","volume":"73","author":"E. Crabill","year":"1994","unstructured":"E. Crabill and J. Kukla. Service processing systems for at&t's intelligent network. AT&T Techn. Journal, 73(6):39\u201347, 1994.","journal-title":"AT&T Techn. Journal"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"L. Doldi, V. Encontre, J. Fernandez, T. J\u00e9ron, S. L. Bricquir, N. Texier, and M. Phalippou. Assessment of automatic generation methods of conformance test suites in an industrial context In Baumgarten et al. [3], pages 347\u2013361.","DOI":"10.1007\/978-0-387-35062-2_25"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"L. Feijs and M. Jumelet. A rigorous and practical approach to service testing. In Baumgarten et al. [3], pages 175\u2013190.","DOI":"10.1007\/978-0-387-35062-2_13"},{"key":"26_CR11","volume-title":"number 1102 in Lecturen Notes on Computer Science","author":"J. Fernandez","year":"1996","unstructured":"J. Fernandez, C. Jard, T. J\u00e9ron, and G. Viho. Using on the fly verification techniques for the generation of test suites. In A. Alur and I. Henzinger, editors, Conference on Computer-Aided Verification (CAV '96), New Brunswick, New Jersey, USA, number 1102 in Lecturen Notes on Computer Science. Springer, July 1996."},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"A. Guerrouat and H. K\u00f6nig. Automation of test case derivation in respect to test purposes. In Baumgarten et al. [3], pages 207\u2013222.","DOI":"10.1007\/978-0-387-35062-2_15"},{"key":"26_CR13","unstructured":"G. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall\/AT&T, 1991."},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"G. Holzmann. Early fault detection tools. In Margaria and Steffen [20], pages 1\u201313.","DOI":"10.1007\/3-540-61042-1_34"},{"key":"26_CR15","unstructured":"ITU. Principles of Intelligent Network Architecture, CS1 Recommendations. ITU, 1993."},{"key":"26_CR16","unstructured":"ITU-TS, Geneva. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC), 1994."},{"key":"26_CR17","unstructured":"K. Knightson. OSI protocol conformance testing. McGraw-Hill, 1993."},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"E. Kwast. An exercise in test generation for telecommunication services. In J. Springintveld, editor, Second Dutch Testing Conference (handout), volume 03-95\u20135003A. Katholieke Universiteit Nijmegen, 1996.","DOI":"10.1109\/INW.1996.539598"},{"volume-title":"Protocol specification, testing and verification XII","year":"1992","key":"26_CR19","unstructured":"R. Linn, Jr. and M. U. \u00dcyar, editors. Protocol specification, testing and verification XII. Elsevier Science Publishers (North-Holland), 1992."},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"T. Margaria and B. Steffen, editors. Tools and Algorithms for the Construction and Analysis of Systems, number 1055 in Lecturen Notes on Computer Science. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61042-1"},{"key":"26_CR21","volume-title":"Proceedings of the Sixth SDL Forum, Darmstadt","author":"S. Mauw","year":"1993","unstructured":"S. Mauw, M. van Wijk, and T. Winter. A formal semantics of synchronous Interworkings. In O. F\u00e6rgemand and A. Sarma, editors, Proceedings of the Sixth SDL Forum, Darmstadt. Elsevier Science Publishers (North-Holland), 1993."},{"key":"26_CR22","unstructured":"C. Middelburg. A simple language for expressing properties of telecommunication services and features. publication 94-PU-356, PTT Research, 1994."},{"key":"26_CR23","unstructured":"J. Montiel, R. Roth, and A. Donaldson. Methods for QoS verification and protocol conformance testing in IBC results and further recommendations. topic R2088 TOPIC, Deliverable 15, DocR2088\/DAT\/TMS\/DS\/P\/015\/b1, RACE project, 1994."},{"key":"26_CR24","unstructured":"R. Nahm. Conformance testing based on formal description techniques and message sequence charts. Technical report, Institut f\u00fcr Informatik, Universit\u00e4t Bern, 1995."},{"key":"26_CR25","first-page":"207","volume-title":"Proceedings of IWPTS '95","author":"K. Naik","year":"1995","unstructured":"K. Naik. Fault-tolerant UIO sequences in finite state machines. In Cavali and Budkowski [5], pages 207\u2013220."},{"key":"26_CR26","unstructured":"OSI. Conformance testing methodology and framework, Part 3: The Tree and Tabular Combined Notation (TTCN). ISO\/IEC DIS 9646-3, 1990."},{"key":"26_CR27","unstructured":"F. Redmill and A. Valdar. SPC digital telephone exchanges, revised edition. Number 21 in IEE Telecommunication series. Peter Peregrinus Ltd., 1994."},{"key":"26_CR28","volume-title":"Telecommunications systems engineering using SDL","author":"R. Saracco","year":"1995","unstructured":"R. Saracco, J. Smith, and R. Reed. Telecommunications systems engineering using SDL. Elsevier Science Publishers (North-Holland), 1995."},{"issue":"4","key":"26_CR29","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","author":"D. Sidhu","year":"1989","unstructured":"D. Sidhu and T. Leung. Formal methods in protocol testing, a detailed study. IEEE transaction on Software Engineering, 15(4):413\u2013426, 1989.","journal-title":"IEEE transaction on Software Engineering"},{"key":"26_CR30","unstructured":"B. Steffen, T. Margaria, A. Classen, V. Braun, and M. Reitenspiess. An environement for the creation of intelligent network services. In Intelligent Networks: IN\/AIN Technologies, Operations, Services, and Applications \u2014 A Comprehensive Report, pages 287\u2013300. IEC \u2014 International Engineering Consortium, 1996."},{"key":"26_CR31","volume-title":"Protocol specification, testing and verification XI","author":"X. Sun","year":"1991","unstructured":"X. Sun, Y. Shen, F. Lombardi, and D. Sciuto. Protocol conformance testing by discriminating uio sequences. In B. Johnsson, J. Parrow, and B. Pehrson, editors, Protocol specification, testing and verification XI. Elsevier Science Publishers (North-Holland), 1991."},{"key":"26_CR32","first-page":"129","volume-title":"Proceedings of IWPTS '95","author":"G. Vermeer","year":"1995","unstructured":"G. Vermeer, M. Witteman, and J. Kroon. A framework for testing telecommunication services. In Cavali and Budkowski [5], pages 129\u2013140."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T10:40:47Z","timestamp":1555411247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627906","9783540685197"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0035401","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}