{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T06:49:42Z","timestamp":1777099782204,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":59,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540789161","type":"print"},{"value":"9783540789178","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78917-8_4","type":"book-chapter","created":{"date-parts":[[2008,4,12]],"date-time":"2008-04-12T03:38:34Z","timestamp":1207971514000},"page":"118-156","source":"Crossref","is-referenced-by-count":9,"title":["Coverage Criteria for State Based Specifications"],"prefix":"10.1007","author":[{"given":"Paul","family":"Ammann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Offutt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wuzhi","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"4_CR1","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1137\/0107041","volume":"7","author":"S.B. Akers","year":"1959","unstructured":"Akers, S.B.: On a theory of boolean functions. Journal Society Industrial Applied Mathematics\u00a07(4), 487\u2013498 (1959)","journal-title":"Journal Society Industrial Applied Mathematics"},{"key":"4_CR2","first-page":"99","volume-title":"Proceedings of the 14th International Symposium on Software Reliability Engineering","author":"P. Ammann","year":"2003","unstructured":"Ammann, P., Offutt, J., Huang, H.: Coverage criteria for logical expressions. In: Proceedings of the 14th International Symposium on Software Reliability Engineering, Denver, CO, November 2003, pp. 99\u2013107. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"4_CR3","unstructured":"Atlee, J.M.: Native model-checking of SCR requirements. In: Fourth International SCR Workshop (November 1994)"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/32.210305","volume":"19","author":"J.M. Atlee","year":"1993","unstructured":"Atlee, J.M., Gannon, J.: State-based model checking of event-driven system requirements. IEEE Transactions on Software Engineering\u00a019(1), 24\u201340 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR5","volume-title":"Testing Object-oriented Systems","author":"R. Binder","year":"2000","unstructured":"Binder, R.: Testing Object-oriented Systems. Addison-Wesley Publishing Company Inc., New York (2000)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/BFb0019363","volume-title":"Baltic Computer Science","author":"J. Borzovs","year":"1991","unstructured":"Borzovs, J., Kalni\u0146\u0161, A., Medvedis, I.: Automatic construction of test sets: Practical approach. In: Barzdins, J., Bjorner, D. (eds.) Baltic Computer Science. LNCS, vol.\u00a0502, pp. 360\u2013432. Springer, Heidelberg (1991)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Boyer, R.S., Elpas, B., Levitt, K.N.: Select\u2013a formal system for testing and debugging programs by symbolic execution. In: Proceedings of the International Conference on Reliable Software, June 1975, SIGPLAN Notices, vol.\u00a010(6) (1975)","DOI":"10.1145\/390016.808445"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/3-540-45441-1_15","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"L. Briand","year":"2001","unstructured":"Briand, L., Labiche, Y.: A UML-based approach to system testing. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 194\u2013208. Springer, Heidelberg (2001)"},{"key":"4_CR9","unstructured":"Special Interest Group in Software Testing British Computer Society. Standard for Software Component Testing, Working Draft 3.3. British Computer Society (1997), http:\/\/www.rmcs.cranfield.ac.uk\/~cised\/sreid\/BCS_SIG\/"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Cheatham, T.E., Holloway, G.H., Townley, J.A.: Symbolic evaluation and the analysis of programs. IEEE Transactions on Software Engineering\u00a04 (July 1979)","DOI":"10.1109\/TSE.1979.234207"},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/0020-0190(79)90155-8","volume":"8","author":"J.C. Cherniavsky","year":"1979","unstructured":"Cherniavsky, J.C.: On finding test data sets for loop free programs. Information Processing Letters\u00a08(2), 106\u2013107 (1979)","journal-title":"Information Processing Letters"},{"issue":"5","key":"4_CR12","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":"4_CR13","unstructured":"Chilenski, J., Richey, L.A.: Definition for a masking form of modified condition decision coverage (MCDC). Technical report, Boeing, Seattle, WA (1997), http:\/\/www.boeing.com\/nosearch\/mcdc\/"},{"key":"4_CR14","unstructured":"Chilenski, J.J.: Personal communication (March 2003)"},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T. Chow","year":"1978","unstructured":"Chow, T.: Testing software designs modeled by finite-state machines. IEEE Transactions on Software Engineering\u00a0SE-4(3), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"4_CR16","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"2","author":"L.A. Clarke","year":"1976","unstructured":"Clarke, L.A.: A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering\u00a02(3), 215\u2013222 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0164-1212(85)90004-4","volume":"5","author":"L.A. Clarke","year":"1985","unstructured":"Clarke, L.A., Richardson, D.J.: Applications of symbolic evaluation. The Journal of Systems and Software\u00a05(1), 15\u201335 (1985)","journal-title":"The Journal of Systems and Software"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Darringer, J.A., King, J.C.: Applications of symbolic execution to program testing. IEEE Computer\u00a04 (April 1978)","DOI":"10.1109\/C-M.1978.218139"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1109\/WST.1988.5369","volume-title":"Proceedings of the Second Workshop on Software Testing, Verification, and Analysis","author":"R.A. DeMillo","year":"1988","unstructured":"DeMillo, R.A., Guindi, D.S., King, K.N., McCracken, W.M., Offutt, J.: An extended overview of the Mothra software testing environment. In: Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff, Alberta, July 1988, pp. 142\u2013151. IEEE Computer Society Press, Los Alamitos (1988)"},{"issue":"4","key":"4_CR20","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R.A. DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: Help for the practicing programmer. IEEE Computer\u00a011(4), 34\u201341 (1978)","journal-title":"IEEE Computer"},{"issue":"9","key":"4_CR21","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R.A. DeMillo","year":"1991","unstructured":"DeMillo, R.A., Offutt, J.: Constraint-based automatic test data generation. IEEE Transactions on Software Engineering\u00a017(9), 900\u2013910 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Dupuy, A., Leveson, N.: An empirical evaluation of the MC\/DC coverage criterion on the HETE-2 satellite software. In: Proceedings of the Digital Aviations Systems Conference (DASC) (October 2000)","DOI":"10.1109\/DASC.2000.886883"},{"key":"4_CR23","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/TSE.1975.6312864","volume":"SE-1","author":"R.E. Fairley","year":"1975","unstructured":"Fairley, R.E.: An experimental program testing facility. IEEE Transactions on Software Engineering\u00a0SE-1, 350\u20133571 (1975)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"4_CR24","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R. Ferguson","year":"1996","unstructured":"Ferguson, R., Korel, B.: The chaining approach for software test data generation. ACM Transactions on Software Engineering Methodology\u00a05(1), 63\u201386 (1996)","journal-title":"ACM Transactions on Software Engineering Methodology"},{"issue":"6","key":"4_CR25","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S. Fujiwara","year":"1991","unstructured":"Fujiwara, S., Bochman, G., Khendek, F., Amalou, M., Ghedasmi, A.: Test selection based on finite state models. IEEE Transactions on Software Engineering\u00a017(6), 591\u2013603 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1109\/T-C.1970.222975","volume":"C-19","author":"G. Gonenc","year":"1970","unstructured":"Gonenc, G.: A method for the design of fault-detection experiments. IEEE Transactions on Computers\u00a0C-19, 155\u2013558 (1970)","journal-title":"IEEE Transactions on Computers"},{"issue":"6","key":"4_CR27","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1109\/TSE.1983.235433","volume":"9","author":"J.S. Gourlay","year":"1983","unstructured":"Gourlay, J.S.: A mathematical framework for the investigation of testing. IEEE Transactions on Software Engineering\u00a09(6), 686\u2013709 (1983)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"4_CR28","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TSE.1980.230208","volume":"SE-6","author":"K. Henninger","year":"1980","unstructured":"Henninger, K.: Specifying software requirements for complex systems: New techniques and their applications. IEEE Transactions on Software Engineering\u00a0SE-6(1), 2\u201312 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Howden, W.E.: Methodology for the generation of program test data. IEEE Transactions on Software Engineering\u00a0SE-24 (May 1975)","DOI":"10.1109\/T-C.1975.224259"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Howden, W.E.: Symbolic testing and the DISSECT symbolic evaluation system. IEEE Transactions on Software Engineering\u00a03(4) (July 1977)","DOI":"10.1109\/TSE.1977.231144"},{"issue":"3","key":"4_CR31","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1145\/356651.356652","volume":"7","author":"J.C. Huang","year":"1975","unstructured":"Huang, J.C.: An approach to program testing. ACM Computing Surveys\u00a07(3), 113\u2013128 (1975)","journal-title":"ACM Computing Surveys"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/186258.187150","volume-title":"Proceedings of the 1994 International Symposium on Software Testing, and Analysis","author":"R. Jasper","year":"1994","unstructured":"Jasper, R., Brennan, M., Williamson, K., Currier, B., Zimmerman, D.: Test data generation and feasible path analysis. In: Proceedings of the 1994 International Symposium on Software Testing, and Analysis, August 1994, August 1994, pp. 95\u2013107. ACM Press, New York (1994)"},{"issue":"3","key":"4_CR33","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/TSE.2003.1183927","volume":"29","author":"J.A. Jones","year":"2003","unstructured":"Jones, J.A., Harrold, M.J.: Test-suite reduction and prioritizaion for modified condition \/ decision coverage. IEEE Transactions on Software Engineering\u00a029(3), 195\u2013209 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"4_CR34","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1049\/ip-sen:19990602","volume":"146","author":"Y.G. Kim","year":"1999","unstructured":"Kim, Y.G., Hong, H.S., Cho, S.M., Bae, D.H., Cha, S.D.: Test cases generation from UML state diagrams. IEE Proceedings \u2013 Software\u00a0146(4), 187\u2013192 (1999)","journal-title":"IEE Proceedings \u2013 Software"},{"issue":"7","key":"4_CR35","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1002\/spe.4380210704","volume":"21","author":"K.N. King","year":"1991","unstructured":"King, K.N., Offutt, J.: A Fortran language system for mutation-based software testing. Software \u2013 Practice and Experience\u00a021(7), 685\u2013718 (1991)","journal-title":"Software \u2013 Practice and Experience"},{"issue":"8","key":"4_CR36","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B. Korel","year":"1990","unstructured":"Korel, B.: Automated software test data generation. IEEE Transactions on Software Engineering\u00a016(8), 870\u2013879 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"4_CR37","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1002\/stvr.4370020405","volume":"2","author":"B. Korel","year":"1992","unstructured":"Korel, B.: Dynamic method for software test data generation. Software Testing, Verification, and Reliability\u00a02(4), 203\u2013213 (1992)","journal-title":"Software Testing, Verification, and Reliability"},{"key":"4_CR38","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1016\/S0022-0000(74)80043-7","volume":"9","author":"S. Kosaraju","year":"1974","unstructured":"Kosaraju, S.: Analysis of structured programs. Journal of Computer Systems and Science\u00a09, 232\u2013255 (1974)","journal-title":"Journal of Computer Systems and Science"},{"issue":"4","key":"4_CR39","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/322993.322996","volume":"8","author":"D.R. Kuhn","year":"1999","unstructured":"Kuhn, D.R.: Fault classes and error detection capability of specification-based testing. ACM Transactions on Software Engineering Methodology\u00a08(4), 411\u2013424 (1999)","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"4_CR40","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1145\/361219.361222","volume":"18","author":"H. Legard","year":"1975","unstructured":"Legard, H., Marcotty, M.: A generalogy of control structures. Communications of the ACM\u00a018, 629\u2013639 (1975)","journal-title":"Communications of the ACM"},{"issue":"4","key":"4_CR41","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"SE-2","author":"T.J. McCabe","year":"1976","unstructured":"McCabe, T.J.: A complexity measure. IEEE Transactions on Software Engineering\u00a0SE-2(4), 308\u2013320 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"4_CR42","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"13","author":"P. McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: A survey. Software Testing, Verification, and Reliability\u00a013(2), 105\u2013156 (2004)","journal-title":"Software Testing, Verification, and Reliability"},{"key":"4_CR43","volume-title":"The Art of Software Testing","author":"G. Myers","year":"1979","unstructured":"Myers, G.: The Art of Software Testing. John Wiley and Sons, New York (1979)"},{"key":"4_CR44","first-page":"238","volume-title":"Proceedings Fault Tolerant Computing Systems","author":"S. Naito","year":"1981","unstructured":"Naito, S., Tsunoyama, M.: Fault detection for sequential machines by transition tours. In: Proceedings Fault Tolerant Computing Systems, pp. 238\u2013243. IEEE Computer Society Press, Los Alamitos (1981)"},{"issue":"2","key":"4_CR45","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V","volume":"29","author":"J. Offutt","year":"1999","unstructured":"Offutt, J., Jin, Z., Pan, J.: The dynamic domain reduction approach to test data generation. Software \u2013 Practice and Experience\u00a029(2), 167\u2013193 (1999)","journal-title":"Software \u2013 Practice and Experience"},{"issue":"1","key":"4_CR46","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1002\/stvr.264","volume":"13","author":"J. Offutt","year":"2003","unstructured":"Offutt, J., Liu, S., Abdurazik, A., Ammann, P.: Generating test data from state-based specifications. Software Testing, Verification, and Reliability\u00a013(1), 25\u201353 (2003)","journal-title":"Software Testing, Verification, and Reliability"},{"issue":"3","key":"4_CR47","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1109\/TSE.1975.6312853","volume":"SE-1","author":"M.R. Paige","year":"1975","unstructured":"Paige, M.R.: Program graphs, an algebra, and their implication for programming. IEEE Transactions on Software Engineering\u00a0SE-1(3), 286\u2013291 (1975)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR48","unstructured":"Paige, M.R.: In: Proc. of IEEE 2nd Annual International Computer Software and Applications Conference (COMPSAC 1978), pp. 527\u2013532 (1978)"},{"key":"4_CR49","unstructured":"Pimont, S., Rault, J.C.: A software reliability assessment based on a structural behavioral analysis of programs. In: Proceedings of the Second International Conference on Software Engineering, San Francisco, CA (October 1976)"},{"issue":"4","key":"4_CR50","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1109\/TSE.1976.233835","volume":"2","author":"C.V. Ramamoorthy","year":"1976","unstructured":"Ramamoorthy, C.V., Ho, S.F., Chen, W.T.: On the automated generation of program test data. IEEE Transactions on Software Engineering\u00a02(4), 293\u2013300 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR51","unstructured":"RTCA-DO-178B. Software considerations in airborne systems and equipment certification (December 1992)"},{"issue":"4","key":"4_CR52","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"14","author":"K. Sabnani","year":"1988","unstructured":"Sabnani, K., Dahbura, A.: A protocol testing procedure. Computer Networks and ISDN Systems\u00a014(4), 285\u2013297 (1988)","journal-title":"Computer Networks and ISDN Systems"},{"key":"4_CR53","unstructured":"Tip, F.: A survey of program slicing techniques. Technical report CS-R-9438, Computer Science\/Department of Software Technology, Centrum voor Wiskunde en Informatica (1994)"},{"key":"4_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-45648-1_15","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"S.A. Vilkomir","year":"2002","unstructured":"Vilkomir, S.A., Bowen, J.P.: Reinforced condition\/decision coverage (RC\/DC): A new criterion for software testing. In: Bert, D., P. Bowen, J., C. Henson, M., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 295\u2013313. Springer, Heidelberg (2002)"},{"issue":"4","key":"4_CR55","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"SE-10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Transactions on Software Engineering\u00a0SE-10(4), 352\u2013357 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"4_CR56","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/32.286420","volume":"20","author":"E. Weyuker","year":"1994","unstructured":"Weyuker, E., Goradia, T., Singh, A.: Automatically generating test data from a boolean specification. IEEE Transactions on Software Engineering\u00a020(5), 353\u2013363 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR57","first-page":"74","volume-title":"Proceedings of the Fourth Symposium on Software Testing, Analysis, and Verification","author":"E.J. Weyuker","year":"1991","unstructured":"Weyuker, E.J., Weiss, S.N., Hamlet, R.G.: Data flow-based adequacy analysis for languages with pointers. In: Proceedings of the Fourth Symposium on Software Testing, Analysis, and Verification, Victoria, British Columbia, Canada, October 1991, pp. 74\u201386. IEEE Computer Society Press, Los Alamitos (1991)"},{"issue":"10","key":"4_CR58","doi-asserted-by":"publisher","first-page":"1075","DOI":"10.1002\/spe.4380211007","volume":"21","author":"L. White","year":"1991","unstructured":"White, L., Wiszniewski, B.: Path testing of computer programs with loops using a tool for simple loop patterns. Software \u2013 Practice and Experience\u00a021(10), 1075\u20131102 (1991)","journal-title":"Software \u2013 Practice and Experience"},{"issue":"4","key":"4_CR59","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Computing Surveys\u00a029(4), 366\u2013427 (1997)","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78917-8_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:03:53Z","timestamp":1619507033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78917-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789161","9783540789178"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78917-8_4","relation":{},"subject":[]}}