{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:22:59Z","timestamp":1725560579518},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213772"},{"type":"electronic","value":"9783540247562"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24756-2_27","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:18:31Z","timestamp":1280261911000},"page":"501-520","source":"Crossref","is-referenced-by-count":2,"title":["Viewpoint-Based Testing of Concurrent Components"],"prefix":"10.1007","author":[{"given":"Luke","family":"Wildman","sequence":"first","affiliation":[]},{"given":"Roger","family":"Duke","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Strooper","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1007\/3-540-45251-6_33","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"B.K. Aichernig","year":"2001","unstructured":"Aichernig, B.K.: Test-case calculation through abstraction. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol.\u00a02021, pp. 571\u2013589. Springer, Heidelberg (2001)"},{"key":"27_CR2","volume-title":"Concurrent Programming: Principles and Practice","author":"G. Andrews","year":"1991","unstructured":"Andrews, G.: Concurrent Programming: Principles and Practice. Addison-Wesley, Reading (1991)"},{"key":"27_CR3","unstructured":"Bowman, H., Steen, M.W.A., Boiten, E.A., Derrick, J.: A formal framework for viewpoint consistency (full version). Computing Laboratory Technical Report 22-99, University of Kent at Canterbury, Canterbury, Kent, CT2 7NZ (December 1999)"},{"key":"27_CR4","unstructured":"Bujorianu, M.C., Maharaj, S., Bujorianu, M.: Towards a formalization of viewpoints testing. In: Robert M. Hierons and Thierry J\u00e9ron, editors, Formal Approaches To Testing of Software 2002 (FATES 2002), Research Report, 35042 Rennes, France, INRIA. A satellite workshop of CONCUR 2002 (August 2002)"},{"issue":"2","key":"27_CR5","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1002\/1099-1689(200006)10:2<111::AID-STVR204>3.0.CO;2-P","volume":"10","author":"D. Carrington","year":"2000","unstructured":"Carrington, D., MacColl, I., McDonald, J., Murray, L., Strooper, P.: From Object-Z Specifications to ClassBench Test Suites. Software Testing, Verification and Reliability\u00a010(2), 111\u2013137 (2000)","journal-title":"Software Testing, Verification and Reliability"},{"issue":"4","key":"27_CR6","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/s100090050046","volume":"2","author":"A. Cimatti","year":"2000","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NUSMV: A new symbolic model checker. International Journal on Software Tools for Technology Transfer\u00a02(4), 410\u2013425 (2000)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"27_CR7","series-title":"Cornerstones of Computing","volume-title":"Formal Object-Oriented Specification Using Object-Z","author":"R. Duke","year":"2000","unstructured":"Duke, R., Rose, G.: Formal Object-Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan Press Limited, UK (2000)"},{"key":"27_CR8","first-page":"173","volume-title":"Software Engineering and Formal Methods (SEFM 2003)","author":"R. Duke","year":"2003","unstructured":"Duke, R., Wildman, L., Long, B.: Modelling Java Concurrency with Object-Z. In: Cerone, A., Lindsay, P. (eds.) Software Engineering and Formal Methods (SEFM 2003), pp. 173\u2013181. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"27_CR9","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 2nd edn. Addison Wesley, Reading (2000), Also online at \n                    \n                      http:\/\/java.sun.com\/docs\/books\/jls\/index.html\n                    \n                    \n                   as at September 2002","edition":"2"},{"issue":"4","key":"27_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/226241.226249","volume":"4","author":"D. Jackson","year":"1995","unstructured":"Jackson, D.: Structuring Z specifications with views. ACM Transactions on Software Engineering and Methodology\u00a04(4), 365\u2013389 (1995)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"27_CR11","volume-title":"The Java Virtual Machine Specification","author":"T. Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification, 2nd edn. Addison-Wesley, Reading (1999)","edition":"2"},{"issue":"6","key":"27_CR12","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1109\/TSE.2003.1205182","volume":"29","author":"B. Long","year":"2003","unstructured":"Long, B., Hoffman, D., Strooper, P.: Tool support for testing concurrent Java components. IEEE Transactions of Software Engineering\u00a029(6), 555\u2013566 (2003)","journal-title":"IEEE Transactions of Software Engineering"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Long, B., Strooper, P.: A Classification of Concurrency Failures in Java Components. In: Proceedings of the 1st International Workshop on Parallel and Distributed Systems: Testing and Debugging (April 2003)","DOI":"10.1109\/IPDPS.2003.1213512"},{"key":"27_CR14","unstructured":"MacColl, I., Carrington, D.: Testing matis: A case study on specification-based testing of interactive systems. In: Formal Aspects of HCI (FAHCI 1998), pp. 57\u201369 (1998)"},{"key":"27_CR15","unstructured":"MacColl, I.D.: Specification-Based Testing of Interactive systems. PhD thesis, Information Technology and Electrical Engineering, The University of Queensland (Febraury 2003)"},{"key":"27_CR16","volume-title":"Concurrency: State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. John Wiley & Sons, Chichester (1999)"},{"key":"27_CR17","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/ASWEC.1997.623757","volume-title":"Proceedings of the Australian Software Engineering Conference ASWEC 1997","author":"L. Murray","year":"1997","unstructured":"Murray, L., Carrington, D., MacColl, I., Strooper, P.: Extending test templates with inheritance. In: Bailes, P.A. (ed.) Proceedings of the Australian Software Engineering Conference ASWEC 1997, September 1997, pp. 80\u201387. IEEE Computer Society, Los Alamitos (1997)"},{"key":"27_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/stvr.210","volume":"11","author":"K. Periyasamy","year":"2001","unstructured":"Periyasamy, K., Alagar, V.S.: A rigorous method for test templates generation from object-oriented specifications. Software Testing, Verification and Reliability\u00a011, 3\u201337 (2001)","journal-title":"Software Testing, Verification and Reliability"},{"issue":"11","key":"27_CR19","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/32.553698","volume":"22","author":"P. Stocks","year":"1996","unstructured":"Stocks, P., Carrington, D.: A framework for specification-based testing. IEEE Transactions on software Engineering\u00a022(11), 777\u2013793 (1996)","journal-title":"IEEE Transactions on software Engineering"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24756-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T10:40:05Z","timestamp":1552819205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24756-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213772","9783540247562"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24756-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}