{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:55Z","timestamp":1761611215362},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418634"},{"type":"electronic","value":"9783540453147"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45314-8_17","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T17:01:23Z","timestamp":1194973283000},"page":"233-248","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":29,"title":["Library-Based Design and Consistency Checking of System-Level Industrial Test Cases"],"prefix":"10.1007","author":[{"given":"Oliver","family":"Niese","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Hagerer","sequence":"additional","affiliation":[]},{"given":"Georg","family":"Brune","sequence":"additional","affiliation":[]},{"given":"Hans-Dieter","family":"Ide","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"17_CR1","unstructured":"V. Braun, T. Margaria, B. Steffen, H. Yoo: Automatic Error Location for IN Service Definition, Proc. AIN\u201997, 2nd Int. Workshop on Advanced Intelligent Networks, Cesena, 1997."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"J.-C. Fernandez, C. Jard, T. J\u00e9ron and C. Viho: An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology, Science of Computer Programming, 29, 1997.","DOI":"10.1016\/S0167-6423(96)00032-9"},{"key":"17_CR3","unstructured":"J. Hofmann: Program Dependent Abstract Interpretation, Diplomarbeit, Fakultat fur Mathematik und Informatik, Universitat Passau, August 1997."},{"key":"17_CR4","unstructured":"B. Jonsson, T. Margaria, G. Naeser, J. Nystrom, B. Steffen: On Modelling Feature Interactions in Telecommunications, Proc. of Nordic Workshop on Programming Theory, eds. B. Victor and W. Yi, 1999."},{"key":"17_CR5","unstructured":"B. Jonsson, T. Margaria, G. Naeser, J. Nystrom, B. Steffen: Incremental Requirements Specification of Evolving Systems, Feature Interactions in Telecommunications and Software Systems VI, eds. M. Calder and E. Magill, ISO Press, 2000."},{"key":"17_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BFb0053591","volume-title":"Proc. FASE\u201998, Int. Conf. on Fundamental Aspects of Software Engineering, Lisbon","author":"T. Margaria","year":"1998","unstructured":"T. Margaria, B. Steffen: Backtracking-free Design Planning by Automatic Synthesis in METAFrame Proc. FASE\u201998, Int. Conf. on Fundamental Aspects of Software Engineering, Lisbon, Apr. 1998, LNCS 1382, pp.188\u2013204, Springer Verlag."},{"key":"17_CR7","unstructured":"O. Niese, T. Margaria, M. Nagelmann, B. Steffen, G. Brune, H.-D. Ide: An open Environment for Automated Integrated Testing, 4th Int. Conf. on Software and Internet Quality Week Europe (QWE\u201900), Brussels (Belgium), November 2000, CD-ROM Proccedings, pp 584\u2013593."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"O. Niese, M. Nagelmann, A. Hagerer, K. Strunck, W. Goerigk, A. Erochok, B. Hammelmann: Demonstration of an Automated Integrated Testing Environment for CTI Systems, Proc. FASE 2001, this volume. Genova (I), 2001.","DOI":"10.1007\/3-540-45314-8_18"},{"key":"17_CR9","unstructured":"Object Management Group: The Common Object Request Broker: Architecture and Specification, Revision 2.3, Object Management Group, 1999."},{"key":"17_CR10","unstructured":"Rational: The Rational Suite description. \n                    http:\/\/www.rational.com\/products\n                    \n                  ."},{"key":"17_CR11","series-title":"Technical Report","volume-title":"Autolink-A Tool for Automatic and Semi-automatic Test Generation from SDL-Specifications","author":"M. Schmitt","year":"1998","unstructured":"M. Schmitt, B. Koch, J. Grabowski, and D. Hogrefe, Autolink-A Tool for Automatic and Semi-automatic Test Generation from SDL-Specifications, Technical Report A-98-05, Medical Univ. of Lubeck, Germany, 1998."},{"key":"17_CR12","unstructured":"ITU-T Recommendation Z.100, CCITT specification and description language,\u2019 93."},{"key":"17_CR13","unstructured":"Sun: Java Remote Method Invocation. \n                    http:\/\/java.sun.com\/products\/jdk\/rmi\n                    \n                  ."},{"issue":"2","key":"17_CR14","first-page":"78","volume":"17","author":"B. Steffen","year":"1996","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen, V. Braun: Incremental Formalization: a Key to Industrial Success, in\u201cSoftware: Concepts and Tools\u201d, Vol.17(2), pp. 78\u201391, Springer Verlag, July 1996.","journal-title":"Software: Concepts and Tools"},{"issue":"N. 1+2","key":"17_CR15","first-page":"9","volume":"1","author":"B. Steffen","year":"1997","unstructured":"B. Steffen, T. Margaria, V. Braun: The Electronic Tool Integration Platform: Concepts and Design Int. Journ. on Software Tools for Technology Transfer (STTT), Vol. 1 N. 1+2, Springer Verlag, November 1997, pp. 9\u201330.","journal-title":"The Electronic Tool Integration Platform: Concepts and Design"},{"key":"17_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design-Issues, Methods and Perspectives","author":"B. Steffen","year":"1999","unstructured":"B. Steffen, T. Margaria: METAFrame in Practice: Intelligent Network Service Design, In Correct System Design-Issues, Methods and Perspectives, LNCS 1710, Springer Verlag, 1999, pp.390\u2013415."},{"key":"17_CR17","unstructured":"B. Steffen, T. Margaria, V. Braun, and N. Kalt: Hierarchical service definition, Annual Review of Communication, Int. Engineering Consortium (IEC), Chicago (USA), pages 847\u2013856, 1997."},{"key":"17_CR18","first-page":"478","volume":"2","author":"C. Stirling","year":"1995","unstructured":"C. Stirling: Modal and Temporal Logics, In Handbook of Logics in Computer Science, Vol. 2, pp. 478\u2013551, Oxford Univ. Press, 1995.","journal-title":"Handbook of Logics in Computer Science"},{"key":"17_CR19","unstructured":"Telelogic: Telelogic Tau. \n                    http:\/\/www.telelogic.com\n                    \n                  ."},{"key":"17_CR20","unstructured":"J. Tretmans and A. Belinfante: Automatic testing with formal methods, In EuroSTAR\u201999:7\n                  \n                    th\n                   European Int. Conference on Software Testing, Analysis & Review. EuroStar Conferences, Galway, Ireland, November 8-12, 1999."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45314-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:47:58Z","timestamp":1558277278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45314-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418634","9783540453147"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45314-8_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"23 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}