{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:14:03Z","timestamp":1743045243178,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401230"},{"type":"electronic","value":"9783540448303"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44830-6_14","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:56:53Z","timestamp":1184605013000},"page":"180-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["An Automata-Based Approach to Property Testing in Event Traces"],"prefix":"10.1007","author":[{"given":"Hesham","family":"Hallal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergiy","family":"Boroday","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Ulrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"14_CR1","first-page":"359","volume-title":"SDL\u201995 with MSC in CASE","author":"B. Algayres","year":"1995","unstructured":"B. Algayres, Y. Lejeune, E. Hugonnet, \u201cGOAL: Observing SDL behaviors with GEODE\u201d, in SDL\u201995 with MSC in CASE (ed. R. Braek, A. Sarma), Proc. of the 7 th SDL Forum, Oslo, Norway, Sept. 1995, Elsevier Science Publishers B. V. (North Holland), pp. 359\u2013372."},{"key":"14_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-48320-9_10","volume-title":"CONCUR\u201999: Concurrency Theory, Tenth International Conference","author":"R. Alur","year":"1999","unstructured":"R. Alur and M. Yannakakis. \u201cModel Checking of Message Sequence Charts\u201d. In CONCUR\u201999: Concurrency Theory, Tenth International Conference, LNCS 1664, pages 114\u2013129, 1999."},{"key":"14_CR3","unstructured":"J. P. Black, M. H. Coffin, D. J. Taylor, T. Kunz, A. A. Basten, \u201cLinking Specifications, Abstraction, and Debugging,\u201d CCNG Technical Report E-232, Computer Communications and Network Group, University of Waterloo, Nov. 1993."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"R. Bonnet and M. Pouzet. \u201cLinear Extensions of Ordered Sets\u201d. In I. Rival, editor, Ordered Sets, pages 125\u2013170, D. Reidel Publishing Company, 1982.","DOI":"10.1007\/978-94-009-7798-3_4"},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K. Chandy","year":"1985","unstructured":"K. Chandy, L. Lamport, \u201cDistributed Snapshots: Determining Global States of Distributed Systems\u201d, ACM Transactions on Computing Systems 3(1), pp. 63\u201375, Feb. 1985.","journal-title":"ACM Transactions on Computing Systems"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"B. Charron-Bost, F. Mattern, and G. Tel. \u201cSynchronous, Asynchronous, and Causally Ordered Communications\u201d. Distributed Computing, 1995.","DOI":"10.1007\/s004460050018"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"F. Dietrich, X. Logean, S. Koppenhoefer, J.-P. Hubaux, \u201cTesting Temporal Logic Properties in Distributed Systems\u201d In Proc. of the 11 th International Workshop on Testing of Communicating Systems, Tomsk, Russia, Aug. 1998.","DOI":"10.1007\/978-0-387-35381-4_15"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"M. Dwyer, G. Avrunin, and J. Corbett, \u201cPatterns in Property Specifications for Finite-state Verification\u201d, In Proc. 21 st International Conference on Software Engineering, May 1999.","DOI":"10.1145\/302405.302672"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"M. Dwyer, L. Clarke, \u201cData Flow Analysis for Verifying Properties of Concurrent Programs\u201d, In Proc. of ACM SIGSOFT\u201994, New Orleans, LA, USA, 1994.","DOI":"10.1145\/193173.195295"},{"key":"14_CR10","unstructured":"A. Engels, S. Mauw, and M.A. Reniers. \u201cA Hierarchy of Communication Models for Message Sequence Charts\u201d. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, FORTE\/PSTV\u2019 97, pages 75\u201390, Osaka, Japan Nov. 1997. Chapman & Hall. To appear in Science of Computer Programming, 2002."},{"key":"14_CR11","unstructured":"Q. Fan. \u201cFormalizing Properties for Distributed System Testing\u201d, Master Thesis in Preparation."},{"key":"14_CR12","series-title":"Internal Publication","volume-title":"On the Fly Testing of Regular Patterns in Distributed Computations","author":"E. Fromentin","year":"1994","unstructured":"E. Fromentin, M. Raynal, V. Garg, and A. Tomlinson, \u201cOn the Fly Testing of Regular Patterns in Distributed Computations\u201d, Internal Publication # 817, IRISA, Rennes, France, 1994."},{"key":"14_CR13","unstructured":"R. Groz, \u201cUnrestricted Verification of Protocol Properties on a Simulation Using an Observer Approach\u201d, Protocol Specification, Testing and Verification, VI, Montr\u00e9al, Canada, North-Holland, 1986, pp. 255\u2013266."},{"key":"14_CR14","unstructured":"H. Hallal, A. Petrenko, A. Ulrich, S. Boroday, \u201cUsing SDL Tools to Test Properties of Distributed Systems\u201d, In proc. of Workshop on Formal Approaches to Testing of Software (FATES) in affiliation with CONCUR\u201901; Aalborg, Denmark; BRICS Technical Report NS-01-4, Aug. 2001."},{"issue":"5","key":"14_CR15","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"G.J. Holzmann. \u201cThe Model Checker SPIN\u201d. IEEE Transactions on Software Engineering, 23(5):279\u2013295, 1997.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR16","unstructured":"B. E. Jackl, \u201cEvent-Predicate Detection in the Debugging of Distributed Applications\u201d, Master\u2019s Thesis. Department of Computer Science, University of Waterloo, 1996."},{"key":"14_CR17","unstructured":"C. Jard, T. Jeron, G. V. Jourdan, and J. X. Rampon, \u201cA General Approach to Trace-checking in Distributed Computing Systems\u201d, In Proc. IEEE Int. Conf. on Distributed Computing Systems, Poznan, Poland, Jun. 1994."},{"key":"14_CR18","unstructured":"KLOCwork. Corporate website, http:\/\/www.KLOCwork.com\/ ."},{"issue":"5","key":"14_CR19","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01211629","volume":"7","author":"P. B. Ladkin","year":"1995","unstructured":"P. B. Ladkin and Stefan Leue. \u201cInterpreting Message Flow Graphs\u201d. Formal Aspects of Computing 7(5), p. 473\u2013509, Sept.\/Oct. 1995.","journal-title":"Formal Aspects of Computing"},{"key":"14_CR20","series-title":"DIMACS Series Volume","volume-title":"Procs of the DIMACS Workshop SPIN96, the 2nd Intl Workshop on the SPIN Verification System","author":"Leue","year":"1997","unstructured":"Leue and P.B. Ladkin. \u201cImplementing and Verifying MSC Specifications Using Promela\/Xspin\u201d. In J.-C. Gr\u00e9goire, G. Holzmann and D. Peled (eds.), Procs of the DIMACS Workshop SPIN96, the 2nd Intl Workshop on the SPIN Verification System. DIMACS Series Volume 32, American Mathematical Society, Providence, R.I., 1997"},{"key":"14_CR21","unstructured":"D. Luckham and B. Frasca, \u201cComplex Event Processing in Distributed Systems\u201d, Stanford University Technical Report CSL-TR-98-754, Mar. 1998, 28 pages."},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"N. Mansurov, D. Zhukov \u201cAutomatic Synthesis of SDL models in Use Case Methodology\u201d. In R. Dssouli, G. v. Bochmann, and Y. Lahav (eds.), SDL\u201999: The Next Millenium, Proc. of the ninth SDL Forum, Montreal, Qu\u00e9bec, Canada, Jun. 21\u201325, 1999.","DOI":"10.1016\/B978-044450228-5\/50016-3"},{"key":"14_CR23","unstructured":"B. Miller, J. Choi, \u201cBreakpoints and Halting in Distributed Programs\u201d, In Proc. of the 8 th IEEE Int. Conf. on Distributed Computing Systems, San Jose, Jul. 1988."},{"key":"14_CR24","unstructured":"Pattern Specification System http:\/\/www.cis.ksu.edu\/santos\/spec-patterns ."},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"G. Robert, F. Khendek and P. Grogono \u201cDeriving an SDL Specification with a Given Architecture from a Set of MSCs\u201d, In A. Cavalli and A. Sarma (eds.), SDL\u201997: Time for Testing \u2014 SDL, MSC and Trends, Proc. of the eight SDL Forum, Evry, France, Sept. 22\u201326, 1997.","DOI":"10.1016\/B978-044482816-3\/50014-9"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"R. L. Smith, G. S. Avrunin, L. Clarke, and L.J. Osterweil. \u201cAn Approach Supporting Property Elucidation\u201d. In Proc. of the 24th International Conference on Software Engineering, Orlando, FL, May 2002, pages 11\u201321.","DOI":"10.1109\/ICSE.2002.1007952"},{"key":"14_CR27","unstructured":"The SMV System http:\/\/www-2.cs.cmu.edu\/~modelcheck\/smv.html ."},{"key":"14_CR28","unstructured":"A. Tanenbaum. \u201cComputer Networks\u201d. Prentice Hall, 1996."},{"key":"14_CR29","unstructured":"Telelogic, \u201cObjectGEODE SDL Simulator Reference Manual\u201d."},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"A. Ulrich, H. Hallal, A. Petrenko, S. Boroday, \u201cVerifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis\u201d. In Proc. of the thirty-sixth Hawaii International Conference on System Sciences (HICSS-36), 2003.","DOI":"10.1109\/HICSS.2003.1174915"},{"key":"14_CR31","unstructured":"P. A. S. Ward, \u201cA Framework Algorithm for Dynamic Centralized Dimension-Bounded Timestamps\u201d, In Proc. of CASCON 2000, Mississauga, Ontario, Canada."}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44830-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:09:26Z","timestamp":1737288566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44830-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401230","9783540448303"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-44830-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"24 June 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}