{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:15:28Z","timestamp":1748751328769,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662491911"},{"type":"electronic","value":"9783662491928"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49192-8_18","type":"book-chapter","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T15:47:27Z","timestamp":1452181647000},"page":"217-228","source":"Crossref","is-referenced-by-count":0,"title":["Run-Time Checking Multi-threaded Java Programs"],"prefix":"10.1007","author":[{"given":"Frank S.","family":"de Boer","sequence":"first","affiliation":[]},{"given":"Stijn","family":"de Gouw","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,8]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Aftandilian, E., Guyer, S.Z., Vechev, M.T., Yahav, E.: Asynchronous assertions. In: Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, Part of SPLASH 2011, Portland, OR, USA, pp. 275\u2013288 (2011)","key":"18_CR1","DOI":"10.1145\/2048066.2048090"},{"doi-asserted-by":"crossref","unstructured":"Araujo, W., Briand, L.C., Labiche, Y.: Enabling the runtime assertion checking of concurrent contracts for the java modeling language. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, USA, pp. 786\u2013795 (2011)","key":"18_CR2","DOI":"10.1145\/1985793.1985903"},{"doi-asserted-by":"crossref","unstructured":"Bodden, E., Havelund, K.: Racer: effective race detection using AspectJ. In: Proceedings of the ACM\/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, pp. 155\u2013166 (2008)","key":"18_CR3","DOI":"10.1145\/1390630.1390650"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-642-14295-6_42","volume-title":"Computer Aided Verification","author":"E Cohen","year":"2010","unstructured":"Cohen, E., Moskal, M., Schulte, W., Tobies, S.: Local verification of global invariants in concurrent programs. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 480\u2013494. Springer, Heidelberg (2010)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-55099-7_1","volume-title":"Transactions on Aspect-Oriented Software Development XI","author":"FS Boer de","year":"2014","unstructured":"de Boer, F.S., de Gouw, S., Johnsen, E.B., Kohn, A., Wong, P.Y.H.: Run-time assertion checking of data- and protocol-oriented properties of java programs: an industrial case study. In: Chiba, S., Tanter, \u00c9., Bodden, E., Maoz, S., Kienzle, J. (eds.) Transactions on AOSD XI. LNCS, vol. 8400, pp. 1\u201326. Springer, Heidelberg (2014)"},{"doi-asserted-by":"crossref","unstructured":"Hurlin, C.: Specifying and checking protocols of multithreaded classes. In: ACM Symposium on Applied Computing (SAC 2009), pp. 587\u2013592. ACM Press (2009)","key":"18_CR6","DOI":"10.1145\/1529282.1529407"},{"doi-asserted-by":"crossref","unstructured":"Kandziora, J., Huisman, M., Bockisch, Ch., Zaharieva-Stojanovski, M.: Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. In: Proceedings of the 17th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2015, Prague, Czech Republic, pp. 8:1\u20138:6. ACM, New York (2015)","key":"18_CR7","DOI":"10.1145\/2786536.2786541"},{"doi-asserted-by":"crossref","unstructured":"Klint, P., van der Storm, T., Vinju, J.: Rascal: a domain specific language for source code analysis and manipulation. In: Walenstein, A., Schupp, S. (eds.) Proceedings of the IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009), pp. 168\u2013177 (2009)","key":"18_CR8","DOI":"10.1109\/SCAM.2009.28"},{"issue":"2","key":"18_CR9","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"DE Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages. Math. Syst. Theory 2(2), 127\u2013145 (1968)","journal-title":"Math. Syst. Theory"},{"doi-asserted-by":"crossref","unstructured":"Luo, Q., Rosu, G.: EnforceMOP: a runtime property enforcement system for multithreaded programs. In: International Symposium on Software Testing and Analysis, ISSTA 2013, Lugano, Switzerland, pp. 156\u2013166 (2013)","key":"18_CR10","DOI":"10.1145\/2483760.2483766"},{"issue":"5","key":"18_CR11","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/S0020-0190(99)00020-4","volume":"69","author":"M Mizuno","year":"1999","unstructured":"Mizuno, M.: A structured approach for developing concurrent programs in Java. Inf. Process. Lett. 69(5), 233\u2013238 (1999)","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"18_CR12","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s00165-007-0042-7","volume":"20","author":"M M\u00f6ller","year":"2008","unstructured":"M\u00f6ller, M., Olderog, E.-R., Rasch, H., Wehrheim, H.: Integrating a formal method into a software engineering process with UML and Java. Formal Asp. Comput. 20(2), 161\u2013204 (2008)","journal-title":"Formal Asp. Comput."},{"doi-asserted-by":"crossref","unstructured":"Nonaka, Y., Ushijima, K., Serizawa, H., Murata, S., Cheng, J.: A run-time deadlock detector for concurrent Java programs. In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), Macau, China, pp. 45\u201352 (2001)","key":"18_CR13","DOI":"10.1109\/APSEC.2001.991458"},{"key":"18_CR14","volume-title":"The Definitive ANTLR Reference","author":"T Parr","year":"2007","unstructured":"Parr, T.: The Definitive ANTLR Reference. Pragmatic Bookshelf, Lewisville (2007)"},{"key":"18_CR15","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1007\/11531142_24","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"Edwin Rodr\u00edguez","year":"2005","unstructured":"Rodr\u00edguez, E., Dwyer, M.B., Flanagan, C., Hatcliff, J., Leavens, G.T., Robby: Extending JML for modular specification and verification of multi-threaded programs. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 551\u2013576. Springer, Heidelberg (2005)"},{"issue":"3","key":"18_CR16","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1002\/cpe.1066","volume":"19","author":"G Rosu","year":"2007","unstructured":"Rosu, G., Sen, K.: An instrumentation technique for online analysis of multithreaded programs. Concurrency Comput. Pract. Experience 19(3), 311\u2013325 (2007)","journal-title":"Concurrency Comput. Pract. Experience"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2016: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49192-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T02:19:15Z","timestamp":1748744355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49192-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662491911","9783662491928"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49192-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}