{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:54:44Z","timestamp":1725623684350},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245589"},{"type":"electronic","value":"9783642245596"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24559-6_36","type":"book-chapter","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T11:13:17Z","timestamp":1319195597000},"page":"537-552","source":"Crossref","is-referenced-by-count":2,"title":["Differencing Labeled Transition Systems"],"prefix":"10.1007","author":[{"given":"Zhenchang","family":"Xing","sequence":"first","affiliation":[]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"Agesen, O., Detlefs, D., Garthwaite, A., Knippel, R., Ramakrishna, Y., White, D.: An Efficient Meta-Lock for Implementing Ubiquitous Synchronization. In: OOPSLA 1999, pp. 207\u2013222 (1999)","DOI":"10.1145\/320384.320402"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Agrawal, H., Horgan, J., London, S., Wong, W.: Fault localization using execution slices and dataflow tests. In: ISSRE 1995, pp. 143\u2013151 (1995)","DOI":"10.1109\/ISSRE.1995.497652"},{"key":"36_CR3","unstructured":"Brookes, S.D., Roscoe, A.W., Walker, D.J.: An Operational Semantics for CSP. Technical report (1986)"},{"key":"36_CR4","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)"},{"issue":"5","key":"36_CR5","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TAC.2007.895849","volume":"52","author":"A. Girard","year":"2005","unstructured":"Girard, A., Pappas, G.: Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control\u00a052(5), 782\u2013798 (2005)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"36_CR6","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M. Herlihy","year":"1990","unstructured":"Herlihy, M., Wing, J.M.: Linearizability: A Correctness Condition for Concurrent Objects. ACM Trans. on Prog. Lang. and Syst (TOPLAS)\u00a012(3), 463\u2013492 (1990)","journal-title":"ACM Trans. on Prog. Lang. and Syst. (TOPLAS)"},{"issue":"6","key":"36_CR7","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1145\/93548.93574","volume":"25","author":"S. Horwitz","year":"1990","unstructured":"Horwitz, S.: Identifying the semantic and textual differences between two versions of a program. SIGPLAN Not.\u00a025(6), 234\u2013245 (1990)","journal-title":"SIGPLAN Not."},{"key":"36_CR8","volume-title":"Software Abstractions","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions. MIT Press, Cambridge (2006)"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Jackson, D., Ladd, D.: Semantic diff: A tool for summarizing the effects of modifications. In: ICSM 1994, pp. 243\u2013252 (1994)","DOI":"10.1109\/ICSM.1994.336770"},{"key":"36_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511619540","volume-title":"Model-Based Software Testing and Analysis with C#","author":"J. Jacky","year":"2007","unstructured":"Jacky, J., Veanes, M., Campbell, C., Schulte, W.: Model-Based Software Testing and Analysis with C#. Cambridge University Press, Cambridge (2007)"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Jones, J., Harrold, M.: Empirical evaluation of the tarantula automatic fault-localization technique. In: ASE 2005, pp. 273\u2013282 (2005)","DOI":"10.1145\/1101908.1101949"},{"key":"36_CR12","doi-asserted-by":"crossref","unstructured":"K\u00f6nighofer, R., Hofferek, G., Bloem, R.: Debugging formal specifications using simple counterstrategies. In: FMCAD 2009, pp. 152\u2013159 (2009)","DOI":"10.1109\/FMCAD.2009.5351127"},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Liu, Y., Sun, J., Dong, J.S.: An Analyzer for Extended Compositional Process Algebras. In: ICSE 2008 Companion, pp. 919\u2013920 (2008)","DOI":"10.1145\/1370175.1370187"},{"key":"36_CR14","unstructured":"Masri, W.: Fault localization based on information flow coverage. Technical report, AUB-CMPS-07-10 (2007)"},{"issue":"4","key":"36_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2006.12.030","volume":"174","author":"W. Mayer","year":"2007","unstructured":"Mayer, W., Stumptner, M.: Model-based debugging \u2013 state of the art and future challenges. Electron. Notes Theor. Comput. Sci.\u00a0174(4), 61\u201382 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"36_CR16","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"36_CR17","doi-asserted-by":"crossref","unstructured":"Milner, R.: Operational and algebraic semantics of concurrent processes, pp. 1201\u20131242 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"key":"36_CR18","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and merging of statecharts specifications. In: ICSE 2007, pp. 54\u201364 (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"36_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11691372_28","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S.K.O. Sokolsky","year":"2006","unstructured":"Sokolsky, S.K.O., Lee, I.: Simulation-based graph similarity. In: Hermanns, H. (ed.) TACAS 2006. LNCS, vol.\u00a03920, pp. 426\u2013440. Springer, Heidelberg (2006)"},{"key":"36_CR20","doi-asserted-by":"crossref","unstructured":"Person, S., Dwyer, M.B., Elbaum, S., P\u01ces\u01cereanu, C.S.: Differential symbolic execution. In: Nyberg, K. (ed.) FSE 2008. LNCS, vol.\u00a05086, pp. 226\u2013237. Springer, Heidelberg (2008)","DOI":"10.1145\/1453101.1453131"},{"key":"36_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/3-540-45657-0_9","volume-title":"Computer Aided Verification","author":"A. Pnueli","year":"2002","unstructured":"Pnueli, A., Xu, J., Zuck, L.: Liveness with (0,1,\u2009\u221e\u2009)-counter abstraction. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 107\u2013122. Springer, Heidelberg (2002)"},{"key":"36_CR22","doi-asserted-by":"crossref","unstructured":"Qi, D., Roychouhury, A., Liang, Z., Vaswani, K.: Darwin: an approach for debugging evolving programs. In: Dunkelman, O. (ed.) FSE 2009. LNCS, vol.\u00a05665, pp. 33\u201342. Springer, Heidelberg (2009)","DOI":"10.1145\/1595696.1595704"},{"key":"36_CR23","doi-asserted-by":"crossref","unstructured":"Siegel, S.F., Mironova, A., Avrunin, G.S., Clarke, L.A.: Using model checking with symbolic execution to verify parallel numerical programs. In: ISSTA 2006, pp. 157\u2013168 (2006)","DOI":"10.1145\/1146238.1146256"},{"key":"36_CR24","doi-asserted-by":"crossref","unstructured":"Sun, J., Liu, Y., Dong, J.S., Chen, C.Q.: Integrating Specification and Programs for System Modeling and Verification. In: TASE 2009, pp. 127\u2013135 (2009)","DOI":"10.1109\/TASE.2009.32"},{"key":"36_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/978-3-642-02658-4_59","volume-title":"Computer Aided Verification","author":"J. Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: Towards Flexible Verification under Fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 709\u2013714. Springer, Heidelberg (2009)"},{"key":"36_CR26","unstructured":"Treiber, R.K.: Systems Programming: Coping with Parallelism. Technical Report RJ 5118, IBM Almaden Research Center (1986)"},{"key":"36_CR27","doi-asserted-by":"crossref","unstructured":"Valmari, A.: Stubborn Set Methods for Process Algebras. In: PMIV 1996, pp. 213\u2013231 (1996)","DOI":"10.1090\/dimacs\/029\/12"},{"key":"36_CR28","unstructured":"Xing, Z.: Genericdiff: A general framework for model comparison. Technical report, National University of Singpore (2011), http:\/\/www.comp.nus.edu.sg\/~pat\/publications\/gendiff.pdf"},{"issue":"7","key":"36_CR29","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1002\/spe.4380210706","volume":"21","author":"W. Yang","year":"1991","unstructured":"Yang, W.: Identifying syntactic differences between two programs. Softw. Pract. Exper.\u00a021(7), 739\u2013755 (1991)","journal-title":"Softw. Pract. Exper."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24559-6_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T06:25:25Z","timestamp":1560839125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24559-6_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245589","9783642245596"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24559-6_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}