{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:57:04Z","timestamp":1725512224873},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708803"},{"type":"electronic","value":"9783540708810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70881-0_41","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T16:07:32Z","timestamp":1186157252000},"page":"456-466","source":"Crossref","is-referenced-by-count":5,"title":["Formal Methods in Industrial Software Standards Enforcement"],"prefix":"10.1007","author":[{"given":"Alexey","family":"Grinevich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexey","family":"Khoroshilov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Kuliamin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Markovtsev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Rubanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","unstructured":"http:\/\/www.fmnet.info\/gc6\/"},{"key":"41_CR2","unstructured":"ISO\u00a09646. Information Theory \u2013 Open System Interconnection \u2013 Conformance Testing Methodology and Framework. ISO, Geneve (1991)"},{"key":"41_CR3","unstructured":"ITU-T. Recommendation Z.500. Framework on formal methods in conformance testing. International Telecommunications Union, Geneve, Switzerland (1997)"},{"key":"41_CR4","unstructured":"http:\/\/www.linuxbase.org\/spec"},{"key":"41_CR5","unstructured":"http:\/\/www.unix.org\/version3\/ieee_std.html"},{"key":"41_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3540539816_63","volume-title":"TAPSOFT \u201991. Proceedings of the International Joint Conference on Theory and Practice of Software Development","author":"G. Bernot","year":"1991","unstructured":"Bernot, G.: Testing against Formal Specifications: A Theoretical View. In: Abramsky, S. (ed.) TAPSOFT 1991, CCPSD 1991, and ADC-Talks 1991. LNCS, vol.\u00a0494, pp. 99\u2013119. Springer, Heidelberg (1991)"},{"key":"41_CR7","first-page":"349","volume-title":"2-nd Int. Workshop on Protocol Test Systems","author":"E. Brinksma","year":"1990","unstructured":"Brinksma, E., et al.: A formal approach to conformance testing. In: de Meer, J., Mackert, L., Effelsberg, W. (eds.) 2-nd Int. Workshop on Protocol Test Systems, pp. 349\u2013363. North-Holland, Amsterdam (1990)"},{"key":"41_CR8","unstructured":"Tretmans, J.: A Formal Approach to Conformance Testing. PhD thesis, University of Twente, Enschede, The Netherlands (1992)"},{"key":"41_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45614-7_5","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"I. Bourdonov","year":"2002","unstructured":"Bourdonov, I., et al.: UniTesK Test Suite Architecture. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 77\u201388. Springer, Heidelberg (2002)"},{"key":"41_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/978-3-540-39866-0_45","volume-title":"Perspectives of System Informatics","author":"V. Kuliamin","year":"2004","unstructured":"Kuliamin, V., et al.: Integration of Functional and Timed Testing of Real-time and Concurrent Systems. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 450\u2013461. Springer, Heidelberg (2004)"},{"key":"41_CR11","unstructured":"Kuliamin, V., et al.: UniTesK: Model Based Testing in Industrial Practice. In: Proc. of 1-st European Conference on Model-Driven Software Engineering, Nurnberg, December 2003, pp. 55\u201363 (2003)"},{"key":"41_CR12","unstructured":"Kuliamin, V.: Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. In: Proc. of 1-st International Symposium on Leveraging Applications of Formal Methods, Cyprus, October 2004, pp. 311\u2013316 (2004)"},{"key":"41_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11560333_6","volume-title":"Service Availability","author":"V. Kuliamin","year":"2005","unstructured":"Kuliamin, V., Petrenko, A., Pakoulin, N.: Practical Approach to Specification and Conformance Testing of Distributed Network Applications. In: Malek, M., Nett, E., Suri, N. (eds.) ISAS 2005. LNCS, vol.\u00a03694, pp. 68\u201383. Springer, Heidelberg (2005)"},{"key":"41_CR14","unstructured":"http:\/\/ltp.sourceforge.net\/"},{"key":"41_CR15","unstructured":"http:\/\/www.linuxbase.org\/download\/#test_suites"},{"key":"41_CR16","unstructured":"ftp:\/\/ftp.gnu.org\/gnu\/glibc\/"},{"key":"41_CR17","doi-asserted-by":"crossref","unstructured":"Leathrum, J.F., Liburdy, K.A.: A Formal Approach to Requirements Based Testing in Open Systems Standards. In: Proc. of 2-nd International Conference on Requirements Engineering, pp. 94\u2013100 (1996)","DOI":"10.1109\/ICRE.1996.491434"},{"key":"41_CR18","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1147\/sj.411.0089","volume":"41","author":"E. Farchi","year":"2002","unstructured":"Farchi, E., Hartman, A., Pinter, S.S.: Using a model-based test generator to test for standard conformance. IBM Systems Journal\u00a041, 89\u2013110 (2002)","journal-title":"IBM Systems Journal"},{"key":"41_CR19","unstructured":"http:\/\/posixtest.sourceforge.net\/"},{"key":"41_CR20","unstructured":"http:\/\/freestandards.org\/"},{"key":"41_CR21","unstructured":"http:\/\/www.osdl.org\/lab_activities\/carrier_grade_linux"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70881-0_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:30:51Z","timestamp":1620001851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70881-0_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540708803","9783540708810"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70881-0_41","relation":{},"subject":[]}}