{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T16:05:14Z","timestamp":1759939514473,"version":"3.35.0"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[2000,1]]},"DOI":"10.1007\/bf02951930","type":"journal-article","created":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T19:54:45Z","timestamp":1221335685000},"page":"84-95","source":"Crossref","is-referenced-by-count":4,"title":["Timing-sequence testing of parallel programs"],"prefix":"10.1007","volume":"15","author":[{"given":"Yu","family":"Liang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chengde","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02951930_CR1","unstructured":"Boris Beizer. Software Testing Techniques. Van Nostrand Reinhold Company, New York, ISBN: 0-442-24592-0, 1983."},{"key":"BF02951930_CR2","unstructured":"Tai K C, Carver Richard H. Testing of Distributed Programs. Parallel & Distributed Computing Handbook, Albert Y Zomaya (ed.), McGraw-Hill Series on Computer Engineering, 1996, pp. 955\u2013978."},{"key":"BF02951930_CR3","unstructured":"Stephen P Masticola, Barbara Gyder G. Static Infinite Wait Anomaly Detection in Polynomial Time. In1990 International Conference on Parallel Processing, 1990, pp.II.78-II.87."},{"key":"BF02951930_CR4","unstructured":"Richard J Linn, M Umit Uyar. Conformance Testing Methodologies & Architecture for OSI (Open System Interconnection) Protocols. IEEE Computer Society Press, Los Alamitos, California."},{"key":"BF02951930_CR5","unstructured":"Claire Diehl, Claude Jard, Jean-Xavier Rampon. Reachability Analysis on Distributed Executions."},{"key":"BF02951930_CR6","doi-asserted-by":"crossref","unstructured":"Netzer R H B, Miller B P. Optimal tracing and replay for debugging message-passing parallel programs. InProceedings of Supercomputing 1992, Minneapolis, MN, Nov. 1992, pp.502\u2013511.","DOI":"10.1109\/SUPERC.1992.236654"},{"issue":"7","key":"BF02951930_CR7","first-page":"486","volume":"8","author":"Ning Huang","year":"1997","unstructured":"HUANG Ning, JIN Maozhong. The improvement and application of optimal tracing strategy in PVM based parallel programs.Journal of Software, 1997, 8(7): 486\u2013492.","journal-title":"Journal of Software"},{"key":"BF02951930_CR8","doi-asserted-by":"crossref","unstructured":"Leu E, Schiper A, Zramdini A. Efficient execution replay techniques for distributed memory architectures. InProc. of the Second European Distributed Memory Computing Conference, Arndt Bode (ed.), Munich, 1991, pp.315\u2013324.","DOI":"10.1007\/BFb0032948"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02951930.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02951930\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02951930","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T22:56:46Z","timestamp":1738364206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02951930"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["BF02951930"],"URL":"https:\/\/doi.org\/10.1007\/bf02951930","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}