{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:59:43Z","timestamp":1725749983135},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642399541"},{"type":"electronic","value":"9783642399558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39955-8_8","type":"book-chapter","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T05:17:35Z","timestamp":1380086255000},"page":"85-96","source":"Crossref","is-referenced-by-count":3,"title":["A Modular Approach to Model-Based Testing of Concurrent Programs"],"prefix":"10.1007","author":[{"given":"Richard","family":"Carver","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Lei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Koppol, P.V., Carver, R.H., Tai, K.C.: Incremental Integration Testing of concurrent Programs. IEEE Transactions on Software Engineering\u00a028(6) (2002)","DOI":"10.1109\/TSE.2002.1010062"},{"key":"8_CR2","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)"},{"key":"8_CR3","unstructured":"Tai, K.C.: On testing concurrent programs. In: Proc. COMPSAC, vol.\u00a085, pp. 310\u2013317 (1985)"},{"key":"8_CR4","unstructured":"Tai, K.C., Carver, R.H.: Testing of distributed programs. In: Zoyama, A. (ed.) Handbook of Parallel and Dist. Computing, ch. 33, pp. 955\u2013978. McGraw Hill (1996)"},{"issue":"6","key":"8_CR5","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1109\/TSE.2006.56","volume":"32","author":"Y. Lei","year":"2006","unstructured":"Lei, Y., Carver, R.H.: Reachability testing of concurrent programs. IEEE Transactions on Software Engineering\u00a032(6), 382\u2013403 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR6","unstructured":"Chen, J., Carver, R.: Selecting and Mapping Test Sequences from Formal Specifications of Concurrent Programs. In: Proc. of the High-Assurance Systems Eng., pp. 112\u2013119 (1996)"},{"key":"8_CR7","unstructured":"Brinksma, E.: A Theory for the Derivation of Tests. In: Aggarwal, S., Sabnani, K. (eds.) Protocol Specification, Testing and Verification, VIII, pp. 63\u201374 (1988)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Carver, R., Lei, Y.: A Modular Approach to Model-Based Testing of Concurrent Programs. Technical report GMU-CS-TR-2013-5, Dept. of Computer Science, George Mason University (2013)","DOI":"10.1007\/978-3-642-39955-8_8"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Dist. System. Comm. ACM, 558\u2013565 (1978)","DOI":"10.1145\/359545.359563"},{"issue":"1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The Concurrency Workbench: A Semantics Tool for the Verification of Concurrent Systems. ACM Tran. Programming Languages and Systems\u00a015(1), 36\u201372 (1993)","journal-title":"ACM Tran. Programming Languages and Systems"},{"key":"8_CR11","unstructured":"Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework. International Standard IS-9646. ISO, Geneve (1991)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Feijs, L.M.G., Goga, N., Mauw, S., Tretmans, J.: Test Selection, Trace Distance and Heuristics. In: Proc. IFIP 14th Int. Conference on Testing Communicating Systems - TestCom, pp. 267\u2013282 (2002)","DOI":"10.1007\/978-0-387-35497-2_20"},{"key":"8_CR13","unstructured":"Tretmans, J., Brinksma, E.: TorX: Automated Model-Based Testing. In: Proc. First European Conference on Model-Driven Software Engineering, pp. 31\u201343 (2003)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge Univ. Press (2008)","DOI":"10.1017\/CBO9780511809163"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing Concurrent Systems: A Formal Approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 46\u201365. Springer, Heidelberg (1999)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Carver, R., Tai, K.C.: Modern Multithreading: Wiley (2006), \n                    \n                      http:\/\/www.cs.gmu.edu\/~rcarver\/ModernMultithreading\/","DOI":"10.1002\/0471744174"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/358527.358537","volume":"24","author":"G. Ricart","year":"1981","unstructured":"Ricart, G., Agrawala, A.K.: An optimal algorithm for mutual exclusion in computer networks. Communications of the ACM\u00a024(1), 9\u201317 (1981)","journal-title":"Communications of the ACM"},{"key":"8_CR18","volume-title":"Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL","author":"K.J. Turner","year":"1993","unstructured":"Turner, K.J.: Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL. John Wiley & Sons, Inc., New York (1993)"},{"issue":"4","key":"8_CR19","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1145\/6110.214406","volume":"3","author":"I. Suzuki","year":"1985","unstructured":"Suzuki, I., Kasami, T.: A distributed mutual exclusion algorithm. ACM Transactions on Computer Systems\u00a03(4), 344\u2013349 (1985)","journal-title":"ACM Transactions on Computer Systems"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"Computer Aided Verification","author":"J. Fernandez","year":"1996","unstructured":"Fernandez, J., Garavel, H., Kerbrat, A., Mateescu, R., Mounier, L., Sighireanu, M.: CADP: A Protocol Validation and Verification Toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 437\u2013440. Springer, Heidelberg (1996)"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-46002-0_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Lang","year":"2002","unstructured":"Lang, F.: Compositional Verification using SVL Scripts. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 465\u2013469. Springer, Heidelberg (2002)"},{"issue":"2","key":"8_CR22","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/stvr.308","volume":"15","author":"Y.-S. Ma","year":"2005","unstructured":"Ma, Y.-S., Offutt, J., Kwon, Y.-R.: \u03bcJava: An Automated Class Mutation System. Journal of Soft. Testing, Verif. and Reliability\u00a015(2), 97\u2013133 (2005), \n                    \n                      http:\/\/ise.gmu.edu\/~ofut\/mujava\/","journal-title":"Journal of Soft. Testing, Verif. and Reliability"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M. Bijl van der","year":"2004","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional Testing with IOCO. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 86\u2013100. Springer, Heidelberg (2004)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11754008_15","volume-title":"Testing of Communicating Systems","author":"R. Gotzhein","year":"2006","unstructured":"Gotzhein, R., Khendek, F.: Compositional Testing of Communication Systems. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 227\u2013244. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Multicore Software Engineering, Performance, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39955-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T14:45:42Z","timestamp":1558104342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39955-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399541","9783642399558"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39955-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}