{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:56:32Z","timestamp":1742392592688,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604068"},{"type":"electronic","value":"9783540455523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60406-5_13","type":"book-chapter","created":{"date-parts":[[2011,7,5]],"date-time":"2011-07-05T19:52:06Z","timestamp":1309895526000},"page":"154-172","source":"Crossref","is-referenced-by-count":4,"title":["A specification-based methodology for testing concurrent programs"],"prefix":"10.1007","author":[{"given":"Kuo-Chung","family":"Tai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard H.","family":"Carver","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,18]]},"reference":[{"key":"13_CR1","volume-title":"Concurrent Programming: Principles and Practice","author":"G. Andrews","year":"1991","unstructured":"Andrews, G., Concurrent Programming: Principles and Practice, Benjamin Cummings Pub. Co., Inc., Redwood, CA, 1991."},{"key":"13_CR2","unstructured":"Beizer, B., Software Testing Techniques, 2nd edition, Van Nostrand, 1990."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Carver, R. H., and Tai, K. C., \u201cReplay and testing for concurrent programs,\u201d IEEE Software,\u201d March 1991, 66\u201374.","DOI":"10.1109\/52.73751"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Carver, R. H., and Tai, K. C., \u201cStatic analysis of concurrent software for deriving synchronization constraints,\u201d Proc. IEEE Int. Conf. on Distributed Computing Systems, May 1991, 544\u2013551.","DOI":"10.1109\/ICDCS.1991.148724"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Carver, R. H., and Tai, K. C., \u201cTest sequence generation from formal specification of distributed programs\u201d, Proc. IEEE Inter. Conf. Distributed Computing Systems, June 1995, 360\u2013367.","DOI":"10.1109\/ICDCS.1995.500040"},{"key":"13_CR6","unstructured":"Carver, R., and Durham, R., \u201cIntegrating formal methods and testing for concurrent programs,\u201d to appear in Proc. 10th IEEE Conf. on Computer Assurance (COMPASS), June 1995."},{"issue":"No.1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Parrow, J., and Steffen, B., \u201cThe concurrency workbench: a semantics tool for the verification of concurrent systems\u201d, ACM Trans. Programming Languages and Systems, Vol. 15, No. 1, Jan. 1993, 36\u201372.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Dillon, L. K., and Yu, Q., \u201cOracles for checking temporal properties of concurrent systems,\u201d Proc. 2nd ACM SIGSOFT Symp. Foundations of Software Engineering, 1994.","DOI":"10.1145\/193173.195401"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Fischer, J., and Gerber, R., \u201cCompositional Model Checking of Ada Tasking Programs,\u201d Proc. 9th IEEE Conf. on Computer Assurance (COMPASS), 1994.","DOI":"10.1109\/CMPASS.1994.318460"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Helmbold, D., and Luckham, D., \u201cTSL: task sequencing language,\u201d Proc. Ada Intern. Conf., 1985, 255\u2013274.","DOI":"10.1145\/324422.324398"},{"key":"13_CR11","volume-title":"Design and Validation of Computer Protocols","author":"G. J. Holzman","year":"1991","unstructured":"Holzman, G. J., Design and Validation of Computer Protocols, Prentice-Hall, Englewood Cliffs, NJ, 1991."},{"issue":"No.2","key":"13_CR12","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1983","unstructured":"Lamport, L., \u201cSpecifying concurrent program modules,\u201d ACM Trans. Programming Languages and Systems, Vol. 5, No. 2, April 1983, 191\u2013222.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3-540-58043-3_23","volume":"803","author":"L. Lamport","year":"1993","unstructured":"Lamport, L., \u201cVerification and specification of concurrent programs,\u201d Lecture Notes in Computer Science, Vol. 803, A decade of Concurrency \u2014 Reflections and Perspectives, 1993, 347\u2013374.","journal-title":"Lecture Notes in Computer Science"},{"key":"13_CR14","unstructured":"Milner, R., Communiction and Concurrency, Preentice-Hall, 1989."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Offutt, A. J., Rothermel, C. Z., and Zapf. C., \u201cAn experimental evaluation of selective mutation,\u201d Proc. Int. Conference on Software Engineering, 1993, 100\u2013107.","DOI":"10.1109\/ICSE.1993.346062"},{"key":"13_CR16","volume-title":"Ph.D. Thesis","author":"L. F. Pires","year":"1994","unstructured":"Pires, L. F., \u201cArchitectural notes: a framework for distributed system development,\u201d Ph.D. Thesis, Centre for Telematics and Information Technology, The Netherlands, 1994."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Richardson, D. J., \u201cTAOS: Testing with analysis and oracle support,\u201d Proc. Inter. Symp. Software testing and Analysis, 1994.","DOI":"10.1145\/186258.187158"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Rosenblum, D., \u201cSpecifying concurrent systems with TSL,\u201d IEEE Software, May 1991, 52\u201361.","DOI":"10.1109\/52.88944"},{"issue":"No.1","key":"13_CR19","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/32.67578","volume":"17","author":"K. C. Tai","year":"1991","unstructured":"Tai, K. C., Carver, R. H., and Obaid, E. E., \u201cDebugging concurrent Ada programs by deterministic execution,\u201d IEEE Trans. Soft. Eng., Vol. 17, No. 1, Jan., 1991, 45\u201363.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Tai, K. C., \u201cPredicate-based test generation for computer programs,\u201d Proc. Int. Conf. on Software Engineering, 1993, 267\u2013276.","DOI":"10.1109\/ICSE.1993.346037"},{"key":"13_CR21","unstructured":"Tai, K. C., and Carver, R. H., \u201cUse of Sequencing Constraints for Specifying, Testing, and Debugging of Concurrent Programs\u201d, Proc. Inter. Conf. on Parallel and Distributed Systems, Dec. 1994, 280\u2013287."},{"key":"13_CR22","unstructured":"Tai, K. C., and Carver, R. H., \u201cTesting of Distributed Programs\u201d, a chapter in Handbook of Parallel and Distributed Computing, ed. A. Zoyama, to be published by McGraw-Hill, 1995."},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Taylor, R. N., Levine, D. L., and Kelly, C. D., \u201cStructural testing of concurrent programs,\u201d IEEE Trans. on Software Eng., Vol. 18, No. 3, March 1992.","DOI":"10.1109\/32.126769"},{"issue":"No.5","key":"13_CR24","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/32.286420","volume":"20","author":"E. Weyuker","year":"1994","unstructured":"Weyuker, E., Goradia, T., and Singh, A., \u201cAutomatically generating test data from boolean specification,\u201d IEEE Trans. Software Eng., Vol. 20, No. 5, May 1994, 353\u2013363.","journal-title":"IEEE Trans. Software Eng."},{"key":"13_CR25","unstructured":"Vouk, M., McAllister, D., and Tai, K. C., \u201cAn experimental evaluation of the effectiveness of random testing of fault-tolerant software,\u201d Proc. Software Testing Workshop, July 1986, 74\u201381."},{"issue":"No.1","key":"13_CR26","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0950-5849(92)90093-5","volume":"34","author":"R. D. Yang","year":"1992","unstructured":"R. D. Yang and C. G. Chung, \u201cPath analysis testing of concurrent programs,\u201d Information and Software Technology, Vol. 34. No. 1, Jan. 1992, 43\u201356.","journal-title":"Information and Software Technology"}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60406-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T23:32:46Z","timestamp":1741303966000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60406-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604068","9783540455523"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-60406-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}