{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T16:37:42Z","timestamp":1673282262215},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"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":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s11432-014-5150-4","type":"journal-article","created":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T18:41:40Z","timestamp":1418150500000},"page":"1-18","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A formal semantics for debugging synchronous message passing-based concurrent programs"],"prefix":"10.1007","volume":"57","author":[{"given":"He","family":"Li","sequence":"first","affiliation":[]},{"given":"Jie","family":"Luo","sequence":"additional","affiliation":[]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,12,10]]},"reference":[{"key":"5150_CR1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1147\/sj.411.0004","volume":"41","author":"B Hailpern","year":"2002","unstructured":"Hailpern B, Santhanam P. Software debugging, testing and verification. IBM Syst J, 2002, 41: 4\u201312","journal-title":"IBM Syst J"},{"key":"5150_CR2","first-page":"10","volume-title":"Why Programs Fail","author":"A Zeller","year":"2009","unstructured":"Zeller A. Why Programs Fail. 2nd ed. Oxford: Elsevier Inc., 2009. 10\u201315","edition":"2nd ed"},{"key":"5150_CR3","doi-asserted-by":"crossref","first-page":"64","DOI":"10.4249\/scholarpedia.6477","volume":"3","author":"C A Petri","year":"2008","unstructured":"Petri C A, Reisig W. Petri net. Scholarpedia, 2008, 3: 64\u201377","journal-title":"Scholarpedia"},{"key":"5150_CR4","first-page":"235","volume-title":"Proceedings of the 3rd International Joint Conference on Artificial Intelligence, San Francisco","author":"C Hewitt","year":"1973","unstructured":"Hewitt C, Bishop P, Steiger R. A universal modular ACTOR formalism for artificial intelligence. In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, San Francisco, 1973. 235\u2013245"},{"key":"5150_CR5","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/3-540-10235-3_6","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1980","unstructured":"Milner R. A Calculus of Communicating Systems. Berlin: Springer Verlag, 1980. 65\u201383"},{"key":"5150_CR6","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C A R Hoare","year":"1978","unstructured":"Hoare C A R. Communicating sequential processes. Commun ACM, 1978, 21: 666\u2013677","journal-title":"Commun ACM"},{"key":"5150_CR7","first-page":"511","volume":"1066","author":"C C Zhou","year":"1996","unstructured":"Zhou C C, Wang J, Anders P R. A formal description of hybrid systems. Hybrid Syst, 1996, 1066: 511\u2013530","journal-title":"Hybrid Syst"},{"key":"5150_CR8","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01213531","volume":"8","author":"M Hennessy","year":"1996","unstructured":"Hennessy M, Lin H M. Proof systems for message-passing process algebras. Form Asp Comput, 1996, 8: 379\u2013407","journal-title":"Form Asp Comput"},{"key":"5150_CR9","first-page":"129","volume":"2","author":"N D K C Mrinal","year":"2013","unstructured":"Mrinal N D K C, Jamatia A. A review and analysis of software complexity metrics in structural testing. Int J Comput Commun Eng, 2013, 2: 129\u2013133","journal-title":"Int J Comput Commun Eng"},{"key":"5150_CR10","doi-asserted-by":"crossref","first-page":"1893","DOI":"10.1002\/cpe.1297","volume":"20","author":"S R S Souza","year":"2008","unstructured":"Souza S R S, Vergilio S R, Souza P S L, et al. Structural testing criteria for message passing parallel programs. Concurr Comput Pract Exp, 2008, 20: 1893\u20131916","journal-title":"Concurr Comput Pract Exp"},{"key":"5150_CR11","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/32.126769","volume":"18","author":"R N Taylor","year":"1992","unstructured":"Taylor R N, Levine D L, Kelly C. Structural testing of concurrent programs. IEEE Trans Softw Eng, 1992, 18: 206\u2013215","journal-title":"IEEE Trans Softw Eng"},{"key":"5150_CR12","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0950-5849(92)90093-5","volume":"34","author":"R D Yang","year":"1992","unstructured":"Yang R D, Chung C G. Path analysis testing of concurrent programs. Inf Softw Technol, 1992, 34: 43\u201356","journal-title":"Inf Softw Technol"},{"key":"5150_CR13","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1109\/TSE.2006.56","volume":"32","author":"L Yu","year":"2006","unstructured":"Yu L, Carver R H. Reachability testing of concurrent programs. IEEE Trans Softw Eng, 2006, 32: 382\u2013403","journal-title":"IEEE Trans Softw Eng"},{"key":"5150_CR14","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, 1991, 8: 66\u201374","journal-title":"IEEE Softw"},{"key":"5150_CR15","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1109\/TC.1987.1676929","volume":"36","author":"T J Leblanc","year":"1987","unstructured":"Leblanc T J, Mellor J M. Debugging parallel programs with instant replay. IEEE Trans Comput, 1987, 36: 471\u2013482","journal-title":"IEEE Trans Comput"},{"key":"5150_CR16","first-page":"502","volume-title":"Proceedings of the 1992 ACM\/IEEE Conference on Supercomputing, Los Alamitos","author":"R H B Netzer","year":"1992","unstructured":"Netzer R H B, Miller B P. Optimal tracing and replay for debugging message-passing parallel programs. In: Proceedings of the 1992 ACM\/IEEE Conference on Supercomputing, Los Alamitos, 1992. 502\u2013511"},{"key":"5150_CR17","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1109\/WHP.1993.664372","volume-title":"Proceedings of Workshop on Heterogeneous Processing","author":"A L Beguelin","year":"1993","unstructured":"Beguelin A L. XAB: a tool for monitoring PVM programs. In: Proceedings of Workshop on Heterogeneous Processing. New York: IEEE, 1993. 92\u201397"},{"key":"5150_CR18","first-page":"1","volume-title":"Proceedings of the 2000 ACM\/IEEE Conference on Supercomputing","author":"J S Vetter","year":"2000","unstructured":"Vetter J S, Supinski B R. Dynamic software testing of MPI applications with Umpire. In: Proceedings of the 2000 ACM\/IEEE Conference on Supercomputing. Piscataway: IEEE, 2000. 1\u201310"},{"key":"5150_CR19","series-title":"Technical Report DAIMI","volume-title":"A Structural Approach to Operational Semantics","author":"G D Plotkin","year":"1981","unstructured":"Plotkin G D. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19. 1981"},{"key":"5150_CR20","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/s11432-011-4530-2","volume":"55","author":"W Li","year":"2012","unstructured":"Li W, Li N. A formal semantics for program debugging. Sci China Inf Sci, 2012, 55: 133\u2013148","journal-title":"Sci China Inf Sci"},{"key":"5150_CR21","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1093\/comjnl\/bxl069","volume":"50","author":"W Li","year":"2007","unstructured":"Li W. R-calculus: an inference system for belief revision. Comput J, 2007, 50: 378\u2013390","journal-title":"Comput J"},{"key":"5150_CR22","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-7643-9977-1","volume-title":"Mathematical Logic: Foundations for Information Science","author":"W Li","year":"2010","unstructured":"Li W. Mathematical Logic: Foundations for Information Science. Basel: Birkh\u00e4user Publisher, 2010. 173\u2013192"},{"key":"5150_CR23","first-page":"93","volume-title":"Software Debugging","author":"Y K Zhang","year":"2009","unstructured":"Zhang Y K. Software Debugging. Beijing: Publishing House of Electronics Industry, 2009. 93\u2013110"},{"key":"5150_CR24","first-page":"1","volume-title":"Proceedings of the 5th International Workshop on Automated and Algorithmic Debugging, Ghent","author":"B Lewis","year":"2003","unstructured":"Lewis B. Debugging backwards in time. In: Proceedings of the 5th International Workshop on Automated and Algorithmic Debugging, Ghent, 2003. 1\u201315"},{"key":"5150_CR25","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M Weiser","year":"1984","unstructured":"Weiser M. Program slicing. IEEE Trans Softw Eng, 1984, 10: 352\u2013357","journal-title":"IEEE Trans Softw Eng"},{"key":"5150_CR26","first-page":"142","volume-title":"Proceedings of the 28th International Conference on Software Engineering, Shanghai","author":"G Misherghi","year":"2006","unstructured":"Misherghi G, Su Z. HDD: hierarchical delta debugging. In: Proceedings of the 28th International Conference on Software Engineering, Shanghai, 2006. 142\u2013151"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-014-5150-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-014-5150-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-014-5150-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:37:58Z","timestamp":1559403478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-014-5150-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":26,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["5150"],"URL":"https:\/\/doi.org\/10.1007\/s11432-014-5150-4","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12]]}}}