{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:21:48Z","timestamp":1751660508528,"version":"3.40.4"},"reference-count":69,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,8,20]],"date-time":"2014-08-20T00:00:00Z","timestamp":1408492800000},"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":["Autom Softw Eng"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s10515-014-0164-0","type":"journal-article","created":{"date-parts":[[2014,8,19]],"date-time":"2014-08-19T15:11:03Z","timestamp":1408461063000},"page":"517-559","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Scalable and scope-bounded software verification in Varvel"],"prefix":"10.1007","volume":"22","author":[{"given":"Franjo","family":"Ivan\u010di\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gogul","family":"Balakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aarti","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naoto","family":"Maeda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takashi","family":"Imoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rakesh","family":"Pothengil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mustafa","family":"Hussain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,20]]},"reference":[{"key":"164_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., \u010cern\u00fd, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for Java classes. In: Proceedings of POPL , ACM Press, pp. 98\u2013109 (2005)","DOI":"10.1145\/1040305.1040314"},{"key":"164_CR2","doi-asserted-by":"crossref","unstructured":"Ammons, G., Bod\u00edk, R., Larus, J.R.: Mining specifications. In: POPL, ACM Press, pp. 4\u201316 (2002)","DOI":"10.1145\/503272.503275"},{"key":"164_CR3","doi-asserted-by":"crossref","unstructured":"Babi\u0107, D., Hu, A.J.: Structural abstraction of software verification conditions. In: CAV, Springer, LNCS (2007)","DOI":"10.1007\/978-3-540-73368-3_41"},{"key":"164_CR4","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.K.: The SLAM project: Debugging system software via static analysis. In: POPL, ACM, pp. 1\u20133 (2002)","DOI":"10.1145\/503272.503274"},{"key":"164_CR5","doi-asserted-by":"crossref","unstructured":"Ball, T., Majumdar, R., Millstein, T., Rajamani, S.: Automatic predicate abstraction of C programs. In: PLDI, ACM Press, pp. 203\u2013213 (2001)","DOI":"10.1145\/378795.378846"},{"key":"164_CR6","unstructured":"Ball, T., Bounimova, E., Kumar, R., Levin, V.: Slam2: Static driver verification with under 4\u00a0% false alarms. In: FMCAD, IEEE, pp. 35\u201342 (2010)"},{"issue":"6","key":"164_CR7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/1953122.1953145","volume":"54","author":"M Barnett","year":"2011","unstructured":"Barnett, M., F\u00e4hndrich, M., Leino, K.R.M., M\u00fcller, P., Schulte, W., Venter, H.: Specification and verification: the spec# experience. Commun. ACM 54(6), 81\u201391 (2011)","journal-title":"Commun. ACM"},{"key":"164_CR8","doi-asserted-by":"crossref","unstructured":"Beyer, D., Cimatti, A., Griggio, A., Keremoglu, M.E., Sebastiani, R.: Software model checking via large-block encoding. In: FMCAD, IEEE, pp. 25\u201332 (2009)","DOI":"10.1109\/FMCAD.2009.5351147"},{"key":"164_CR9","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Zhu, Y.: Symbolic model checking without BDDs. In: TACAS, Springer, LNCS, pp. 193\u2013207 (1999)","DOI":"10.1007\/3-540-49059-0_14"},{"key":"164_CR10","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: PLDI, ACM, vol 548030, pp. 196\u2013207 (2003)","DOI":"10.1145\/781131.781153"},{"key":"164_CR11","doi-asserted-by":"crossref","unstructured":"Claris\u00f3, R., Cortadella, J.: The octahedron abstract domain. In: Static Analysis Symposium, Springer, LNCS, vol 3148, pp. 312\u2013327 (2004)","DOI":"10.1007\/978-3-540-27864-1_23"},{"key":"164_CR12","doi-asserted-by":"crossref","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: CAV, Springer, LNCS, pp. 154\u2013169 (2000)","DOI":"10.1007\/10722167_15"},{"key":"164_CR13","doi-asserted-by":"crossref","unstructured":"Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: TACAS (2004)","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"164_CR14","volume-title":"Model Checking","author":"EM Clarke Jr","year":"1999","unstructured":"Clarke Jr, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"164_CR15","doi-asserted-by":"crossref","unstructured":"Cohen, E., Dahlweid, M., Hillebrand, M.A., Leinenbach, D., Moskal, M., Santen, T., Schulte, W., Tobies, S.: VCC: A practical system for verifying concurrent C. In: TPHOLs, Springer (2009)","DOI":"10.1007\/978-3-642-03359-9_2"},{"key":"164_CR16","unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proceedings of the Second International Symposium on Programming, Dunod, France, pp. 106\u2013130 (1976)"},{"key":"164_CR17","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points. In: POPL (1977a)","DOI":"10.1145\/512950.512973"},{"key":"164_CR18","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238\u2013252 (1977b)","DOI":"10.1145\/512950.512973"},{"key":"164_CR19","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among the variables of a program. In: POPL (1978)","DOI":"10.1145\/512760.512770"},{"key":"164_CR20","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: The ASTR\u00c9E analyzer. In: ESOP, Springer, LNCS, pp. 21\u201330 (2005)","DOI":"10.1007\/978-3-540-31987-0_3"},{"key":"164_CR21","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., Logozzo, F.: Precondition inference from intermittent assertions and application to contracts on collections. In: VMCAI, Springer (2011)","DOI":"10.1007\/978-3-642-18275-4_12"},{"key":"164_CR22","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., Logozzo, F., Barnett, M.: An abstract interpretation framework for refactoring with application to extract methods with contracts. In: OOPSLA, ACM, pp. 213\u2013232 (2012)","DOI":"10.1145\/2384616.2384633"},{"key":"164_CR23","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., F\u00e4hndrich, M., Logozzo, F.: Automatic inference of necessary preconditions. In: VMCAI, Springer, LNCS, pp. 128\u2013148 (2013)","DOI":"10.1007\/978-3-642-35873-9_10"},{"key":"164_CR24","unstructured":"CoVerity.: CoVerity Inc. program verifier. www.coverity.com (2013)"},{"key":"164_CR25","doi-asserted-by":"crossref","unstructured":"Dor, N., Rodeh, M., Sagiv, M.: CSSV: Towards a realistic tool for statically detecting all buffer overflows in C. In: Proceedings of the PLDI, ACM Press (2003)","DOI":"10.1145\/781131.781149"},{"key":"164_CR26","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: PLDI, ACM, pp. 234\u2013245 (2002)","DOI":"10.1145\/512529.512558"},{"key":"164_CR27","doi-asserted-by":"crossref","unstructured":"Ganai, M., Gupta, A., Ashar, P.: DiVer: SAT-based model checking platform for verifying large scale systems. In: TACAS, Springer, LNCS, vol 3340 (2005)","DOI":"10.1007\/978-3-540-31980-1_41"},{"key":"164_CR28","doi-asserted-by":"crossref","unstructured":"Ganai, M.K., Li, W.: Bang for the Buck: Improvising and scheduling verification engines for effective resource utilization. In: MEMOCODE, IEEE Computer Society, pp. 8\u201317 (2009)","DOI":"10.1109\/MEMCOD.2009.5185373"},{"key":"164_CR29","doi-asserted-by":"crossref","unstructured":"Goubault, E., Putot, S.: Static analysis of numerical algorithms. In: SAS, Springer, LNCS, vol 4134, pp. 18\u201334 (2006)","DOI":"10.1007\/11823230_3"},{"key":"164_CR30","doi-asserted-by":"crossref","unstructured":"Hackett, B., Das, M., Wang, D., Yang, Z.: Modular checking for buffer overflows in the large. In: ICSE, ACM (2006)","DOI":"10.1145\/1134285.1134319"},{"issue":"4","key":"164_CR31","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K Havelund","year":"2000","unstructured":"Havelund, K., Pressburger, T.: Model checking java programs using java pathfinder. STTT 2(4), 366\u2013381 (2000)","journal-title":"STTT"},{"key":"164_CR32","doi-asserted-by":"crossref","unstructured":"Hovemeyer, D., Pugh, W.: Finding more null pointer bugs, but not too many. In: PASTE, pp. 9\u201314 (2007)","DOI":"10.1145\/1251535.1251537"},{"key":"164_CR33","unstructured":"Ivan\u010di\u0107, F., Shlyakhter, I., Gupta, A., Ganai, M., Kahlon, V., Wang, C., Yang, Z.: Model checking C programs using F-Soft. In: ICCD, IEEE (2005a)"},{"key":"164_CR34","doi-asserted-by":"crossref","unstructured":"Ivan\u010di\u0107, F., Shlyakhter, I., Gupta, A., Ganai, M., Kahlon, V., Wang, C., Yang, Z.: Model checking C programs using F-Soft. In: IEEE International Conference on Computer Design, pp. 297\u2013308 (2005b)","DOI":"10.1109\/ICCD.2005.77"},{"issue":"3","key":"164_CR35","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1016\/j.tcs.2008.03.013","volume":"404","author":"F Ivan\u010di\u0107","year":"2008","unstructured":"Ivan\u010di\u0107, F., Yang, Z., Ganai, M.K., Gupta, A., Ashar, P.: Efficient SAT-based bounded model checking for software verification. Theor. Comput. Sci. 404(3), 256\u2013274 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"164_CR36","doi-asserted-by":"crossref","unstructured":"Ivan\u010di\u0107, F., Balakrishnan, G., Gupta, A., Sankaranarayanan, S., Maeda, N., Tokuoka, H., Imoto, T., Miyazaki, Y.: DC2: A framework for scalable, scope-bounded software verification. In: ASE, IEEE, pp. 133\u2013142 (2011)","DOI":"10.1109\/ASE.2011.6100046"},{"key":"164_CR37","doi-asserted-by":"crossref","unstructured":"Jain, H., Ivan\u010di\u0107, F., Gupta, A., Shlyakhter, I., Wang, C.: Using statically computed invariants inside the predicate abstraction and refinement loop. In: Ball T, Jones R (eds) 18th International Conference on Computer Aided Verification (CAV), Springer, LNCS, vol 4144, pp. 137\u2013151 (2006)","DOI":"10.1007\/11817963_15"},{"key":"164_CR38","doi-asserted-by":"crossref","unstructured":"Jhala, R., Majumdar, R.: Path slicing. In: PLDI \u201905, ACM, pp. 38\u201347 (2005)","DOI":"10.1145\/1065010.1065016"},{"key":"164_CR39","doi-asserted-by":"crossref","unstructured":"Jhala, R., Majumdar, R.: Software model checking. ACM Comput. Surv. 41(4), 21:1\u201321:54 (2009)","DOI":"10.1145\/1592434.1592438"},{"key":"164_CR40","doi-asserted-by":"crossref","unstructured":"Joshi, S., Lahiri, S.K., Lal, A.: Underspecified harnesses and interleaved bugs. In: POPL, ACM, pp. 19\u201330 (2012)","DOI":"10.1145\/2103656.2103662"},{"key":"164_CR41","doi-asserted-by":"crossref","unstructured":"Jung, Y., Kim, J., Shin, J., Yi, K.: Taming false alarms from a domain-unaware C analyzer by a bayesian statistical post analysis. In: Hankin, C., Siveroni, I. (eds) SAS, Springer, LNCS, vol 3672, pp. 203\u2013217 (2005)","DOI":"10.1007\/11547662_15"},{"key":"164_CR42","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00268497","volume":"6","author":"M Karr","year":"1976","unstructured":"Karr, M.: Affine relationships among variables of a program. Acta Inf. 6, 133\u2013151 (1976)","journal-title":"Acta Inf."},{"key":"164_CR43","doi-asserted-by":"crossref","unstructured":"Kremenek, T., Engler, D.: Z-Ranking: Using statistical analysis to counter the impact of static analysis approximations. In: Cousot, R. (ed) SAS, Springer, LNCS, vol 2694, pp. 295\u2013315 (2003)","DOI":"10.1007\/3-540-44898-5_16"},{"key":"164_CR44","volume-title":"Computer-aided Verification of Coordinating Processes: The Automata-Theoretic Approach","author":"R Kurshan","year":"1994","unstructured":"Kurshan, R.: Computer-aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton University Press, Princeton (1994)"},{"key":"164_CR45","doi-asserted-by":"crossref","unstructured":"Lal, A., Qadeer, S., Lahiri, S.K.: A solver for reachability modulo theories. In: CAV, Springer, LNCS, pp. 427\u2013443 (2012)","DOI":"10.1007\/978-3-642-31424-7_32"},{"key":"164_CR46","doi-asserted-by":"crossref","unstructured":"Lee, W., Lee, W., Yi, K.: Sound non-statistical clustering of static analysis alarms. In: VMCAI, Springer, LNCS vol 7148, pp. 299\u2013314 (2012)","DOI":"10.1007\/978-3-642-27940-9_20"},{"key":"164_CR47","doi-asserted-by":"crossref","unstructured":"Loginov, A., Yahav, E., Chandra, S., Fink, S., Rinetzky, N., Nanda, MG.: Verifying dereference safety via expanding-scope analysis. In: ISSTA, ACM (2008)","DOI":"10.1145\/1390630.1390657"},{"key":"164_CR48","doi-asserted-by":"crossref","unstructured":"Logozzo, F., Lahiri, S.K., F\u00e4hndrich, M., Blackshear, S.: Verification modulo versions: towards usable verification. In: PLDI, ACM (2014)","DOI":"10.1145\/2666356.2594326"},{"key":"164_CR49","unstructured":"MathWorks.: PolySpace program analysis tool. www.polyspace.com (2013)"},{"key":"164_CR50","doi-asserted-by":"crossref","unstructured":"Min\u00e9, A.: A new numerical abstract domain based on difference-bound matrices. In: PADO II, Springer, LNCS, vol 2053, pp. 155\u2013172 (2001)","DOI":"10.1007\/3-540-44978-7_10"},{"key":"164_CR51","doi-asserted-by":"crossref","unstructured":"Min\u00e9, A.: The octagon abstract domain. In: WCRE (2001)","DOI":"10.1109\/WCRE.2001.957836"},{"issue":"11","key":"164_CR52","doi-asserted-by":"crossref","first-page":"1184","DOI":"10.1016\/j.jsc.2010.06.004","volume":"45","author":"Y Moy","year":"2010","unstructured":"Moy, Y., March\u00e9, C.: Modular inference of subprogram contracts for safety checking. J. Symb. Comput. 45(11), 1184\u20131211 (2010)","journal-title":"J. Symb. Comput."},{"key":"164_CR53","unstructured":"NEC.: NEC globally provides cloud software development environment. http:\/\/www.nec.com\/en\/press\/201209\/global_20120927_02.html (2012)"},{"key":"164_CR54","unstructured":"NEC.: NEC internal data center. http:\/\/www.nec.com\/en\/case\/idc\/pdf\/catalogue (2013)"},{"key":"164_CR55","doi-asserted-by":"crossref","unstructured":"Prabhu, P., Maeda, N., Balakrishnan, G., Ivan\u010di\u0107, F., Gupta, A.: Interprocedural exception analysis for C++. In: ECOOP, Springer, LNCS, vol 6813 (2011)","DOI":"10.1007\/978-3-642-22655-7_27"},{"key":"164_CR56","doi-asserted-by":"crossref","unstructured":"Rossie Jr, J.G., Friedman, D.P.: An algebraic semantics of subobjects. In: OOPSLA, ACM, New York, NY, USA, pp. 187\u2013199 (1995)","DOI":"10.1145\/217838.217860"},{"key":"164_CR57","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan, S., Col\u00f3n, M., Sipma, H., Manna, Z.: Efficient strongly relational polyhedral analysis. In: VMCAI, Springer, LNCS, pp. 111\u2013125 (2006a)","DOI":"10.1007\/11609773_8"},{"key":"164_CR58","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan, S., Ivan\u010di\u0107, F., Shlyahkter, I., Gupta A.: Static analysis in disjunctive numerical domains. In: Yi K (ed) SAS, Springer, LNCS, vol 4134 (2006b)","DOI":"10.1007\/11823230_2"},{"key":"164_CR59","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan, S., Ivan\u010di\u0107, F., Gupta, A.: Program analysis using symbolic ranges. In: SAS, Springer, LNCS, vol 4634, pp. 366\u2013383 (2007)","DOI":"10.1007\/978-3-540-74061-2_23"},{"key":"164_CR60","doi-asserted-by":"crossref","unstructured":"Shao, D., Khurshid, S., Perry, D.E.: An incremental approach to scope-bounded checking using a lightweight formal method. In: FM (2009)","DOI":"10.1007\/978-3-642-05089-3_48"},{"issue":"4","key":"164_CR61","first-page":"367","volume":"2","author":"B Stroustrup","year":"1989","unstructured":"Stroustrup, B.: Multiple inheritance for C++. Comput. Syst. 2(4), 367\u2013395 (1989)","journal-title":"Comput. Syst."},{"issue":"1","key":"164_CR62","first-page":"87","volume":"14","author":"M Taghdiri","year":"2007","unstructured":"Taghdiri, M., Jackson, D.: Inferring specifications to detect errors in code. ASE 14(1), 87\u2013121 (2007)","journal-title":"ASE"},{"key":"164_CR63","first-page":"121","volume":"3","author":"F Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. J. Programm. Lang. 3, 121\u2013189 (1995)","journal-title":"J. Programm. Lang."},{"key":"164_CR64","doi-asserted-by":"crossref","unstructured":"Tkachuk, O., Dwyer, M.B., Pasareanu, C.: Automated environment generation for software model checking. In: Automated Software Engineering, IEEE Computer Society, pp. 116\u2013129 (2003)","DOI":"10.1109\/ASE.2003.1240300"},{"key":"164_CR65","doi-asserted-by":"crossref","unstructured":"Venet, A., Brat, G.P.: Precise and efficient static array bound checking for large embedded C programs. In: PLDI, ACM Press, pp. 231\u2013242 (2004)","DOI":"10.1145\/996841.996869"},{"key":"164_CR66","unstructured":"Wagner, D., Foster, J., Brewer, E., Aiken, A.: A first step towards automated detection of buffer overrun vulnerabilities. In: Proceedings of the Network and Distributed Systems Security Conference, ACM Press, pp. 3\u201317 (2000)"},{"issue":"3","key":"164_CR67","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/1232420.1232423","volume":"29","author":"Y Xie","year":"2007","unstructured":"Xie, Y., Aiken, A.: Saturn: A scalable framework for error detection using boolean satisfiability. Trans. Programm. Lang. Syst. 29(3), 16 (2007)","journal-title":"Trans. Programm. Lang. Syst."},{"key":"164_CR68","doi-asserted-by":"crossref","unstructured":"Yang, J., Balakrishnan, G., Maeda, N., Ivan\u010di\u0107, F., Gupta, A., Sinha, N., Sankaranarayanan, S., Sharma, N.: Object model construction for inheritance in C++ and its applications to program analysis. In: CC, Springer, LNCS, vol 7210 (2012)","DOI":"10.1007\/978-3-642-28652-0_8"},{"key":"164_CR69","doi-asserted-by":"crossref","unstructured":"Zitser, M., Lippmann, R., Leek, T.: Testing static analysis tools using exploitable buffer overflows from open source code. In: SIGSoft\/FSE, ACM (2004)","DOI":"10.1145\/1029894.1029911"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-014-0164-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-014-0164-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-014-0164-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T08:16:46Z","timestamp":1746346606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-014-0164-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,20]]},"references-count":69,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["164"],"URL":"https:\/\/doi.org\/10.1007\/s10515-014-0164-0","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2014,8,20]]}}}