{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:30Z","timestamp":1725456210926},"publisher-location":"Berlin\/Heidelberg","reference-count":27,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019404","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:18:27Z","timestamp":1132640307000},"page":"101-116","source":"Crossref","is-referenced-by-count":7,"title":["Hierarchy in testing distributed programs"],"prefix":"10.1007","author":[{"given":"Sridhar","family":"Alagar","sequence":"first","affiliation":[]},{"given":"S.","family":"Venkatesan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Ahuja, M., Kshemkalyani, A., and Carlson, T. A basic unit of computation in distributed systems. In Proceedings of the Tenth International Conference on Distributed Computing Systems (1990), IEEE, pp. 12\u201319.","DOI":"10.1109\/ICDCS.1990.89327"},{"key":"8_CR2","unstructured":"Alagar, S., and Venkatesan, S. Hierarchy in testing distributed programs. Computer Science Technical Report UTDCS-8-92, The University of Texas at Dallas, September 1992."},{"issue":"4","key":"8_CR3","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0164-1212(83)90011-0","volume":"3","author":"P. Bates","year":"1983","unstructured":"Bates, P., and Wiledon, J. High-level debugging of distributed systems: The behavioral abstraction approach. Journal of Systems and Software 3, 4 (1983), 255\u2013264.","journal-title":"Journal of Systems and Software"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Carver, R., and Tai, K. Static analysis of concurrent software for deriving synchronization constraints. In Proceedings of the Eleventh International Conference on Distributed Computing Systems (1991), IEEE, pp. 544\u2013551.","DOI":"10.1109\/ICDCS.1991.148724"},{"issue":"1","key":"8_CR5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K. Chandy","year":"1985","unstructured":"Chandy, K., and Lamport, L. Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Syst. 3, 1 (1985), 63\u201375.","journal-title":"ACM Trans. Comput. Syst."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Cooper, R., and Marzullo, K. Consistent detection of global predicates. Sigplan Notices (1991), 167\u2013174.","DOI":"10.1145\/127695.122774"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Fagerstrom, J. Design and test of distributed applications. In Proceedings of the Tenth International Conference of Software Engineering (1988), pp. 88\u201392.","DOI":"10.1109\/ICSE.1988.93691"},{"key":"8_CR8","unstructured":"Fidge, J. Timestamps in message passing systems that preserve the partial ordering. In Proceedings of the 11th Australian Computer Science Conference (1988), pp. 55\u201366."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Garg, V., and Waldecker, B. Detection of unstable predicates in distributed programs. In Proceedings of the International Conference on Foundations of Software Technology and Theoretical Computer Science (1992), Springer Verlag.","DOI":"10.1007\/3-540-56287-7_110"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Goldberg, A., Gopal, A., Lowry, A., and Strom, R. Restoring consistent global computation of distributed computations. Sigplan Notices (1991), 144\u2013154.","DOI":"10.1145\/127695.122772"},{"key":"8_CR11","unstructured":"Howden, W. E. A survey of dynamic analysis methods. In Tutorial: Software Testing and Validation Techniques, E. Miller and W. Howden, Eds., second ed. IEEE Computer Society Press, 1981, pp. 209\u2013231."},{"issue":"7","key":"8_CR12","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 (1978), 558\u2013565.","journal-title":"Commun. ACM"},{"issue":"4","key":"8_CR13","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1109\/TC.1987.1676929","volume":"C-36","author":"T. Leblanc","year":"1987","unstructured":"Leblanc, T., and Mellor-Crummy, J. Debugging parallel programs with instant replay. IEEE Transactions on Computers C-36, 4 (1987), 471\u2013482.","journal-title":"IEEE Transactions on Computers"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Lloyd, W., and Kearns, P. Using tracing to direct our reasoning about distributed programs. In The 11th IEEE International Conference on Distributed Computing Systems (1991), pp. 552\u2013559.","DOI":"10.1109\/ICDCS.1991.148725"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Manabe, Y., and Imase, M. Global conditions in debugging distributed programs. Journal of Parallel and Distributed Computing (1992), 62\u201369.","DOI":"10.1016\/0743-7315(92)90058-U"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Marzullo, K., and Neiger, G. Detection of global state predicates. In Distributed Algorithms Proceedings of 3rd International Workshop. Springer-Verlag, 1991, pp. 254\u2013272.","DOI":"10.21236\/ADA243444"},{"key":"8_CR17","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, M. Cosnard et. al., Ed. Elsevier Science Publishers B. V., 1989, pp. 215\u2013226."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Miller, B., and Choi, J.-D. Breakpoints and halting in distributed programs. In The 8th IEEE International Conference on Distributed Computing Systems (1988), pp. 316\u2013323.","DOI":"10.1109\/DCS.1988.12532"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Muhlhauser, M. Software engineering for distributed applications: The design project. In Proceedings of the Tenth International Conference on Software Engineering (1988), pp. 93\u2013101.","DOI":"10.1109\/ICSE.1988.93692"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Netzer, R. H. B., and Miller, B. P. Optimal tracing and replay for debugging message-passing parallel programs. In Supercomputing (1992), pp. 502\u2013511.","DOI":"10.1109\/SUPERC.1992.236654"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Ramarao, K., and Venkatesan, S. Distributed problem solving in spite of process failures. In Proceedings of the 11th Symposium on Reliable Distributed systems (1992), pp. 164\u2013171.","DOI":"10.1109\/RELDIS.1992.235130"},{"key":"8_CR22","volume-title":"PhD thesis","author":"M. Spezialetti","year":"1989","unstructured":"Spezialetti, M.A generalized approach to monitoring distributed computations for event occurrences. PhD thesis, University of Pittsburgh, Pittsburgh, Pennsylvania, 1989."},{"key":"8_CR23","unstructured":"Spezialetti, M., and Kearns, P. Simultaneous regions: A framework for the consistent monitoring of distributed computations. In Proceedings of the Ninth International Conference on Distributed Computing Systems (1989), IEEE, pp. 61\u201368."},{"issue":"3","key":"8_CR24","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/32.126769","volume":"18","author":"R. Taylor","year":"1992","unstructured":"Taylor, R., Levine, D., and Kelly, C. Structural testing of concurrent programs. IEEE Trans. Softw. Eng. 18, 3 (1992), 206\u2013215.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR25","unstructured":"Venkatesan, S. Reproducible execution of distributed programs. Computer Science Technical Report UTDCS-8-91, The University of Texas at Dallas, 1991."},{"key":"8_CR26","unstructured":"Venkatesan, S., and Dathan, B. Testing and debugging distributed programs distributively. In Proceedings of Thirtieth Annual Allerton Conference on Communication, Control and Computing (1992)."},{"issue":"4","key":"8_CR27","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1147\/rd.224.0393","volume":"22","author":"C. West","year":"1978","unstructured":"West, C. General technique for communications protocol validation. IBM Journal of Research and Development 22, 4 (1978), 393\u2013404.","journal-title":"IBM Journal of Research and Development"}],"container-title":["Lecture Notes in Computer Science","Automated and Algorithmic Debugging"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0019404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,5]],"date-time":"2019-11-05T03:07:45Z","timestamp":1572923265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0019404","relation":{},"subject":[]}}