{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T05:44:03Z","timestamp":1673070243437},"reference-count":30,"publisher":"Elsevier BV","issue":"8","license":[{"start":{"date-parts":[[1992,8,1]],"date-time":"1992-08-01T00:00:00Z","timestamp":712627200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1992,8]]},"DOI":"10.1016\/0950-5849(92)90146-g","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T01:31:39Z","timestamp":1060306299000},"page":"523-531","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic method of test data generation for distributed software"],"prefix":"10.1016","volume":"34","author":[{"given":"B","family":"Korel","sequence":"first","affiliation":[]},{"given":"H","family":"Wedde","sequence":"additional","affiliation":[]},{"given":"R","family":"Ferguson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"No 1","key":"10.1016\/0950-5849(92)90146-G_BIB1","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/TSE.1979.226498","article-title":"SMOTL \u2014 a system to construct samples for data processing program debugging","volume":"Vol 5","author":"Bicevskis","year":"1979","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"No 6","key":"10.1016\/0950-5849(92)90146-G_BIB2","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1145\/390016.808445","article-title":"SELECT \u2014 a formal system for testing and debugging programs by symbolic execution","volume":"Vol 10","author":"Boyer","year":"1975","journal-title":"SIGPLAN Notices"},{"issue":"No 3","key":"10.1016\/0950-5849(92)90146-G_BIB3","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","article-title":"A system to generate test data and symbolically execute programs","volume":"Vol 2","author":"Clarke","year":"1976","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"No 4","key":"10.1016\/0950-5849(92)90146-G_BIB4","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1109\/TSE.1977.231144","article-title":"Symbolic testing and the DISSECT symbolic evaluation system","volume":"Vol 4","author":"Howden","year":"1977","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"No 4","key":"10.1016\/0950-5849(92)90146-G_BIB5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TSE.1976.233835","article-title":"On the automated generation of program test data","volume":"Vol 2","author":"Ramamoorthy","year":"1976","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0950-5849(92)90146-G_BIB6","series-title":"Proc. Workshop Software Testing","first-page":"164","article-title":"Structural testing of concurrent programs","author":"Taylor","year":"1986"},{"key":"10.1016\/0950-5849(92)90146-G_BIB7","series-title":"Proc. 2nd Workshop Software Testing, Verification, and Analysis","first-page":"106","article-title":"A formal framework for the study of concurrent program testing","author":"Weiss","year":"1988"},{"issue":"No 3","key":"10.1016\/0950-5849(92)90146-G_BIB8","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/32.126769","article-title":"Structural testing of concurrent programs","volume":"Vol 18","author":"Taylor","year":"1992","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"No 3","key":"10.1016\/0950-5849(92)90146-G_BIB9","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/356651.356652","article-title":"An approach to program testing","volume":"Vol 7","author":"Huang","year":"1975","journal-title":"ACM Comput. Surv."},{"issue":"No 5","key":"10.1016\/0950-5849(92)90146-G_BIB10","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1145\/69586.69587","article-title":"A general-purpose algorithm for analyzing concurrent programs","volume":"Vol 26","author":"Taylor","year":"1983","journal-title":"Commun. ACM"},{"issue":"No 10","key":"10.1016\/0950-5849(92)90146-G_BIB11","doi-asserted-by":"crossref","first-page":"1499","DOI":"10.1109\/32.6195","article-title":"Combining static concurrency analysis with symbolic execution","volume":"Vol 14","author":"Young","year":"1988","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"No 3","key":"10.1016\/0950-5849(92)90146-G_BIB12","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.21759","article-title":"Detection of Ada static deadlock using Petri net invariants","volume":"Vol 15","author":"Murata","year":"1989","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0950-5849(92)90146-G_BIB13","series-title":"Proc. 24th Hawaii Int. Conf. System Sciences","first-page":"400","article-title":"A critical path approach for testing distributed real-time systems","author":"Wedde","year":"1991"},{"key":"10.1016\/0950-5849(92)90146-G_BIB14","series-title":"SoftFair: A 2-d Conf. Software Development Tools, Techniques, and Alternatives","first-page":"114","article-title":"Reproducible testing of concurrent Ada programs","author":"Tai","year":"1985"},{"key":"10.1016\/0950-5849(92)90146-G_BIB15","series-title":"Proc. 11th Int. Computer Software & Applications Conf. (Compsac-87)","first-page":"331","article-title":"Reproducible testing of communication software","author":"Tai","year":"1987"},{"issue":"No 1","key":"10.1016\/0950-5849(92)90146-G_BIB16","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/32.67578","article-title":"Debugging concurrent Ada programs by deterministic execution","volume":"Vol 17","author":"Tai","year":"1991","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"No 1","key":"10.1016\/0950-5849(92)90146-G_BIB17","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/comjnl\/30.1.63","article-title":"The automatic generation of test data","volume":"Vol 30","author":"Ince","year":"1987","journal-title":"Computer J."},{"key":"10.1016\/0950-5849(92)90146-G_BIB18","series-title":"Program flow analysis: theory and applications","year":"1981"},{"key":"10.1016\/0950-5849(92)90146-G_BIB19","series-title":"Proc. COMPSAC-91 Conf.","first-page":"680","article-title":"Automated test data generation for distributed software","author":"Korel","year":"1991"},{"key":"10.1016\/0950-5849(92)90146-G_BIB20","series-title":"Numerical methods for constrainted optimization","year":"1974"},{"issue":"No 1","key":"10.1016\/0950-5849(92)90146-G_BIB21","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/321250.321256","article-title":"Sequential search: a method for solving constrained optimization problems","volume":"Vol 12","author":"Glass","year":"1965","journal-title":"J. ACM"},{"issue":"No 8","key":"10.1016\/0950-5849(92)90146-G_BIB22","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","article-title":"Automated test data generation","volume":"Vol 16","author":"Korel","year":"1990","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"No 9","key":"10.1016\/0950-5849(92)90146-G_BIB23","doi-asserted-by":"crossref","first-page":"1253","DOI":"10.1109\/32.6169","article-title":"PELAS \u2014 program error locating assistant system","volume":"Vol 14","author":"Korel","year":"1988","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0950-5849(92)90146-G_BIB24","series-title":"Proc. 6th Int. Conf. Software Testing","article-title":"TESTGEN \u2014 a structural test data generation system","author":"Korel","year":"1989"},{"key":"10.1016\/0950-5849(92)90146-G_BIB25","series-title":"Proc. Conf. Software Maintenance","first-page":"311","article-title":"A dynamic approach of automated test data generation","author":"Korel","year":"1990"},{"issue":"No 3","key":"10.1016\/0950-5849(92)90146-G_BIB26","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","article-title":"The program dependence graph and its use in optimization","volume":"Vol 9","author":"Ferrante","year":"1987","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"10.1016\/0950-5849(92)90146-G_BIB27","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0020-0190(87)90102-5","article-title":"The program dependence graph in static program testing","volume":"Vol 24","author":"Korel","year":"1987","journal-title":"Inf. Process. Lett."},{"key":"10.1016\/0950-5849(92)90146-G_BIB28","series-title":"Proc. Workshop Parallel and Distributed Debugging","first-page":"141","article-title":"A mechanism for efficient debugging of parallel programs","author":"Miller","year":"1988"},{"issue":"No 3","key":"10.1016\/0950-5849(92)90146-G_BIB29","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0020-0190(88)90054-3","article-title":"Dynamic program slicing","volume":"Vol 29","author":"Korel","year":"1988","journal-title":"Inf. Process. Lett."},{"key":"10.1016\/0950-5849(92)90146-G_BIB30","article-title":"Dynamic program slicing for distributed programs","author":"Korel","year":"1991"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095058499290146G?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095058499290146G?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:26:59Z","timestamp":1552624019000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/095058499290146G"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,8]]},"references-count":30,"journal-issue":{"issue":"8","published-print":{"date-parts":[[1992,8]]}},"alternative-id":["095058499290146G"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(92)90146-g","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1992,8]]}}}