{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T11:36:28Z","timestamp":1770896188991,"version":"3.50.1"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,8,14]],"date-time":"2011-08-14T00:00:00Z","timestamp":1313280000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s10009-011-0210-1","type":"journal-article","created":{"date-parts":[[2011,8,13]],"date-time":"2011-08-13T10:49:41Z","timestamp":1313232581000},"page":"291-305","source":"Crossref","is-referenced-by-count":7,"title":["Runtime verification of concurrency-specific correctness criteria"],"prefix":"10.1007","volume":"14","author":[{"given":"Shaz","family":"Qadeer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serdar","family":"Tasiran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,8,14]]},"reference":[{"key":"210_CR1","volume-title":"Concurrency control and recovery in database systems","author":"P.A. Bernstein","year":"1987","unstructured":"Bernstein P.A., Hadzilacos V., Goodman N.: Concurrency control and recovery in database systems. Addison-Wesley, Reading (1987)"},{"key":"210_CR2","doi-asserted-by":"crossref","unstructured":"Blundell, C., Martin, M.M.K., Wenisch, T.F.: InvisiFence: Performance-transparent memory ordering in conventional multiprocessors. In: Proceedings of the 36th annual International Symposium on Computer architecture, ISCA \u201909, pp. 233\u2013244. ACM, New York (2009)","DOI":"10.1145\/1555754.1555785"},{"key":"210_CR3","doi-asserted-by":"crossref","unstructured":"Bodden, E., Havelund, K.: Racer: effective race detection using aspectj. In: Proceedings of the 2008 international symposium on Software testing and analysis, ISSTA \u201908, pp. 155\u2013166. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1390630.1390650"},{"key":"210_CR4","doi-asserted-by":"crossref","unstructured":"Boehm, H.-J., Adve, S.V.: Foundations of the c++ concurrency memory model. In: PLDI 08: Programming Language Design and Implementation, pp. 68\u201378 (2008)","DOI":"10.1145\/1375581.1375591"},{"key":"210_CR5","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Dern, C., Musuvathi, M., Tan, R.: Line-up: a complete and automatic linearizability checker. In: Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation, PLDI \u201910, pp. 330\u2013340. ACM, New York, NY, USA (2010)","DOI":"10.1145\/1806596.1806634"},{"key":"210_CR6","doi-asserted-by":"crossref","unstructured":"Burnim, J., Elmas, T., Necula, G., Koushik S.: Ndseq: runtime checking for nondeterministic sequential specifications of parallel correctness. In: PLDI 11: Programming Language Design and Implementation (2011)","DOI":"10.1145\/1993498.1993545"},{"issue":"2","key":"210_CR7","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/52.73751","volume":"8","author":"R.H. Carver","year":"1991","unstructured":"Carver R.H., Tai K.-C.: Replay and testing for concurrent programs. IEEE Softw. 8(2), 66\u201374 (1991)","journal-title":"IEEE Softw."},{"key":"210_CR8","doi-asserted-by":"crossref","unstructured":"Chen, F., Serbanuta, T.F., Rosu, G.: jpredictor: a predictive runtime analysis tool for java. In: ICSE: International Conference on Software Engineering, pp. 221\u2013230. ACM (2008)","DOI":"10.1145\/1368088.1368119"},{"key":"210_CR9","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Lee, K., Loginov, A., O\u2019Callahan, R., Sarkar, V., Sridharan, M.: Efficient and precise datarace detection for multithreaded object-oriented programs. In: PLDI \u201902: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pp. 258\u2013269. ACM Press, New York, NY, USA (2002)","DOI":"10.1145\/512529.512560"},{"issue":"2\u20133","key":"210_CR10","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1023\/B:FORM.0000040028.49845.67","volume":"25","author":"M.B. Dwyer","year":"2004","unstructured":"Dwyer M.B., Hatcliff J., Robby , Ranganath V.P.: Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs. Formal Methods Syst. Des. 25(2\u20133), 199\u2013240 (2004)","journal-title":"Formal Methods Syst. Des."},{"issue":"3\u20135","key":"210_CR11","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1002\/cpe.654","volume":"15","author":"O. Edelstein","year":"2003","unstructured":"Edelstein O., Farchi E., Goldin E., Nir Y., Ratsaby G., Ur S.: Framework for testing multi-threaded java programs. Concurr. Comput. Pract. Exp. 15(3\u20135), 485\u2013499 (2003)","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"210_CR12","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1145\/1273442.1250762","volume":"42","author":"T. Elmas","year":"2007","unstructured":"Elmas T., Qadeer S., Tasiran S.: Goldilocks: a race and transaction-aware java runtime. SIGPLAN Not. 42, 245\u2013255 (2007)","journal-title":"SIGPLAN Not."},{"key":"210_CR13","doi-asserted-by":"crossref","unstructured":"Elmas, T., Qadeer, S., Tasiran, S.: Goldilocks: a race and transaction-aware java runtime. In: PLDI 07: Programming Language Design and Implementation, pp. 245\u2013255 (2007)","DOI":"10.1145\/1250734.1250762"},{"key":"210_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/1839676.1839698","volume":"53","author":"T. Elmas","year":"2010","unstructured":"Elmas T., Qadeer S., Tasiran S.: Goldilocks: a race-aware java runtime. Commun. ACM 53, 85\u201392 (2010)","journal-title":"Commun. ACM"},{"key":"210_CR15","doi-asserted-by":"crossref","unstructured":"Elmas, T., Tasiran, S., Qadeer, S.: VYRD: verifying concurrent programs by runtime refinement-violation detection. In: PLDI \u201905: Proceedings of the 2005 ACM SIGPLAN conference on Programming Language Design and Implementation, pp. 27\u201337. ACM Press, New York, NY, USA (2005)","DOI":"10.1145\/1065010.1065015"},{"key":"210_CR16","doi-asserted-by":"crossref","unstructured":"Farzan, A., Madhusudan, P.: Causal atomicity. In: CAV: Computer Aided Verification, pp. 315\u2013328 (2006)","DOI":"10.1007\/11817963_30"},{"key":"210_CR17","doi-asserted-by":"crossref","unstructured":"Farzan, A., Madhusudan, P.: Monitoring atomicity in concurrent programs. In: CAV 08: Computer Aided Verification, pp. 52\u201365 (2008)","DOI":"10.1007\/978-3-540-70545-1_8"},{"key":"210_CR18","first-page":"252","volume-title":"SPIN. Lecture Notes in Computer Science, vol. 2989","author":"C. Flanagan","year":"2004","unstructured":"Flanagan C.: Verifying commit-atomicity using model-checking. In: Graf S., Mounier L (eds) . In: (eds) SPIN. Lecture Notes in Computer Science, vol. 2989, pp. 252\u2013266. Springer, Berlin (2004)"},{"issue":"2","key":"210_CR19","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/j.scico.2007.12.001","volume":"71","author":"C. Flanagan","year":"2008","unstructured":"Flanagan C., Freund S.N.: Atomizer: a dynamic atomicity checker for multithreaded programs. Sci. Comput. Program. 71(2), 89\u2013109 (2008)","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"210_CR20","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1109\/TSE.2005.47","volume":"31","author":"C. Flanagan","year":"2005","unstructured":"Flanagan C., Freund S.N., Qadeer S.: Exploiting purity for atomicity. IEEE Trans. Softw. Eng. 31(4), 275\u2013291 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"210_CR21","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N., Yi, J.: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In: PLDI 08: Programming Language Design and Implementation, pp. 293\u2013303 (2008)","DOI":"10.1145\/1375581.1375618"},{"key":"210_CR22","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: PLDI \u201903: Proceedings of the ACM SIGPLAN 2003 Conference on Programming language design and implementation, pp. 338\u2013349. ACM Press, New York, NY, USA (2003)","DOI":"10.1145\/781167.781169"},{"key":"210_CR23","doi-asserted-by":"crossref","unstructured":"Gniady, C., Falsafi, B., Vijaykumar, T.N.: Is sc + ilp=rc?. In: ISCA, pp. 162\u2013171 (1999)","DOI":"10.1145\/307338.300993"},{"key":"210_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem, volume 1032","author":"P. Godefroid","year":"1996","unstructured":"Godefroid P.: Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem, volume 1032. Springer, New York (1996)"},{"key":"210_CR25","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model checking for programming languages using Verisoft. In: POPL 97: Principles of Programming Languages, pp. 174\u2013186. ACM Press, New York(1997)","DOI":"10.1145\/263699.263717"},{"issue":"3","key":"210_CR26","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M.P. Herlihy","year":"1990","unstructured":"Herlihy M.P., Wing J.M.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12(3), 463\u2013492 (1990)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"210_CR27","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.707614","volume":"31","author":"M.D. Hill","year":"1998","unstructured":"Hill M.D.: Multiprocessors should support simple memory-consistency models. IEEE Comput. 31, 28\u201334 (1998)","journal-title":"IEEE Comput."},{"issue":"4","key":"210_CR28","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1142\/S0218194095000241","volume":"5","author":"G. Hwang","year":"1995","unstructured":"Hwang G., Tai K., Hunag T.: Reachability testing: an approach to testing concurrent software. Int. J. Softw. Eng. Knowl. Eng. 5(4), 493\u2013510 (1995)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"210_CR29","doi-asserted-by":"crossref","unstructured":"Iosif, R.: Exploiting heap symmetries in explicit-state model checking of software. In: ASE 01: Automated Software Engineering, pp. 254\u2013261 (2001)","DOI":"10.1109\/ASE.2001.989811"},{"key":"210_CR30","doi-asserted-by":"crossref","unstructured":"Joshi, P., Naik, M., Park, C.-S., Sen, K.: An extensible active testing framework for concurrent programs. In: CAV 09: Computer Aided Verification (2009)","DOI":"10.1007\/978-3-642-02658-4_54"},{"key":"210_CR31","doi-asserted-by":"crossref","unstructured":"Keremoglu, M., Tasiran, S., Elmas, T.: A classification of concurrency bugs in java benchmarks by developer intent. In: Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging, PADTAD \u201906, pp. 23\u201326. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1147403.1147407"},{"key":"210_CR32","unstructured":"Killian, C.E., Anderson, J.W., Jhala, R., Vahdat, A.: Life, death, and the critical transition: finding liveness bugs in systems code. In: NSDI 07: Networked Systems Design and Implementation, pp. 243\u2013256 (2007)"},{"issue":"7","key":"210_CR33","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"9","key":"210_CR34","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"28","author":"L. Lamport","year":"1979","unstructured":"Lamport L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. C 28(9), 690\u2013691 (1979)","journal-title":"IEEE Trans. Comput. C"},{"issue":"6","key":"210_CR35","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1109\/TSE.2006.56","volume":"32","author":"Y. Lei","year":"2006","unstructured":"Lei Y., Carver R.H.: Reachability testing of concurrent programs. IEEE Trans. Softw. Eng. 32(6), 382\u2013403 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"12","key":"210_CR36","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"R.J. Lipton","year":"1975","unstructured":"Lipton R.J.: Reduction: a method of proving properties of parallel programs. Commun. ACM 18(12), 717\u2013721 (1975)","journal-title":"Commun. ACM"},{"key":"210_CR37","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.A.: detecting atomicity violations via access interleaving invariants. In: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems ASPLOS-XII, pp. 37\u201348. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1168857.1168864"},{"key":"210_CR38","doi-asserted-by":"crossref","unstructured":"Manson, J., Pugh, W., Adve, S.V.: The java memory model. In: POPL \u201905: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 378\u2013391. ACM, New York, NY, USA (2005)","DOI":"10.1145\/1040305.1040336"},{"key":"210_CR39","doi-asserted-by":"crossref","unstructured":"Marino, D., Singh, A., Millstein, T., Musuvathi, M., Narayanasamy, S.: A case for an sc-preserving compiler. In: PLDI 11: Programming Language Design and Implementation (2011)","DOI":"10.1145\/1993498.1993522"},{"key":"210_CR40","unstructured":"Mattern, F.: Virtual time and global states of distributed systems. In: Parallel and Distributed Algorithms: Proceedings of the International Workshop on Parallel and Distributed Algorithms (1988)"},{"key":"210_CR41","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Burckhardt, S., Kothari, P., Nagarakatte, S.: A randomized scheduler with probabilistic guarantees of finding bugs. In: ASPLOS: Architectural Support for Programming Languages and Operating Systems. ACM, New York (2010)","DOI":"10.1145\/1736020.1736040"},{"key":"210_CR42","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Park, D.Y.W., Chou, A., Engler, D.R., Dill, D.L.: Cmc: a pragmatic approach to model checking real code. In: OSDI (2002)","DOI":"10.1145\/1060289.1060297"},{"key":"210_CR43","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: PLDI 07: Programming Language Design and Implementation, pp. 446\u2013455 (2007)","DOI":"10.1145\/1250734.1250785"},{"key":"210_CR44","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: OSDI 08: Operating Systems Design and Implementation, pp. 267\u2013280 (2008)"},{"key":"210_CR45","doi-asserted-by":"crossref","unstructured":"Naik, M., Aiken, A., Whaley, J.: Effective static race detection for Java. In: PLDI \u201906: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, pp. 308\u2013319. ACM Press, New York, NY, USA (2006)","DOI":"10.1145\/1133981.1134018"},{"issue":"4","key":"210_CR46","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"C.H. Papadimitriou","year":"1979","unstructured":"Papadimitriou C.H.: The serializability of concurrent database updates. J. ACM 26(4), 631\u2013653 (1979)","journal-title":"J. ACM"},{"key":"210_CR47","doi-asserted-by":"crossref","unstructured":"Park, S., Lu, S., Zhou, Y.: Ctrigger: exposing atomicity violation bugs from their hiding places. In: Proceeding of the 14th international conference on Architectural support for programming languages and operating systems, ASPLOS \u201909, pp. 25\u201336. ACM, New York, NY, USA (2009)","DOI":"10.1145\/1508244.1508249"},{"key":"210_CR48","first-page":"534","volume-title":"Computer Science Theory and Applications. Lecture Notes in Computer Science, vol. 3967","author":"A. Raza","year":"2006","unstructured":"Raza A.: A review of race detection mechanisms. In: Grigoriev, D., Harrison, J., Hirsch, E. (eds) Computer Science Theory and Applications. Lecture Notes in Computer Science, vol. 3967, pp. 534\u2013543. Springer, Berlin (2006)"},{"key":"210_CR49","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2009","unstructured":"Russell S., Norvig P.: Artificial Intelligence: A Modern Approach. Prentice Hall, Inc., Englewood Cliffs (2009)"},{"key":"210_CR50","doi-asserted-by":"crossref","unstructured":"Sadowski, C., Freund, S.N., Flanagan, C.: Singletrack: a dynamic determinism checker for multithreaded programs. In: ESOP, pp. 394\u2013409 (2009)","DOI":"10.1007\/978-3-642-00590-9_28"},{"issue":"4","key":"210_CR51","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage S., Burrows M., Nelson G., Sobalvarro P., Anderson T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"210_CR52","unstructured":"Tasiran, S., Bogdanov, A., Ji, M.: Detecting concurrency errors in file systems by runtime refinement checking. Hewlett-Packard Laboratories technical report (HPL-2004-177) (2004)"},{"key":"210_CR53","first-page":"188","volume-title":"Runtime verification. Lecture Notes in Computer Science, vol. 4839","author":"S. Tasiran","year":"2007","unstructured":"Tasiran S., Elmas T.: Rollback atomicity. In: Sokolsky, O., Tasiran, S. (eds) Runtime verification. Lecture Notes in Computer Science, vol. 4839, pp. 188\u2013201. Springer, Berlin (2007)"},{"key":"210_CR54","doi-asserted-by":"crossref","unstructured":"Vaziri, M., Tip, F., Dolby, J.: Associating synchronization constraints with data in an object-oriented language. In: POPL \u201906: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 334\u2013345. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1111037.1111067"},{"key":"210_CR55","doi-asserted-by":"crossref","unstructured":"Vechev, M.T., Yahav, E., Yorsh, G.: Experience with model checking linearizability. In: SPIN Workshop on Model Checking of Software, pp. 261\u2013278 (2009)","DOI":"10.1007\/978-3-642-02652-2_21"},{"key":"210_CR56","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.-J.: Model checking programs. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (2000)","DOI":"10.1109\/ASE.2000.873645"},{"key":"210_CR57","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: PPoPP \u201906: Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 137\u2013146. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1122971.1122993"},{"key":"210_CR58","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1109\/TSE.2006.1599419","volume":"32","author":"L. Wang","year":"2006","unstructured":"Wang L., Stoller S.D.: Runtime analysis of atomicity for multi-threaded programs. IEEE Trans. Softw. Eng. 32, 93\u2013110 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"210_CR59","doi-asserted-by":"crossref","unstructured":"Xu, M., Bod\u00edk, R., Hill, M.D.: A serializability violation detector for shared-memory server programs. In: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, PLDI \u201905, pp. 1\u201314. ACM, New York, NY, USA (2005)","DOI":"10.1145\/1065010.1065013"},{"key":"210_CR60","doi-asserted-by":"crossref","unstructured":"Yu, Y., Rodeheffer, T., Chen, W.: Racetrack: efficient detection of data race conditions via adaptive tracking. In: SOSP 05: Symposium on Operating Systems Principles, pp. 221\u2013234 (2005)","DOI":"10.1145\/1095810.1095832"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-011-0210-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-011-0210-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-011-0210-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,8]],"date-time":"2025-03-08T15:54:57Z","timestamp":1741449297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-011-0210-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,14]]},"references-count":60,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["210"],"URL":"https:\/\/doi.org\/10.1007\/s10009-011-0210-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,14]]}}}