{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:15:13Z","timestamp":1725538513574},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044243"},{"type":"electronic","value":"9783642044250"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04425-0_5","type":"book-chapter","created":{"date-parts":[[2009,9,30]],"date-time":"2009-09-30T05:52:04Z","timestamp":1254289924000},"page":"47-61","source":"Crossref","is-referenced-by-count":4,"title":["A UML\/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Marwa","family":"Shousha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Chen, L.: The Challenge of Race Conditions in Parallel Programming. Sun Developer Network, Sun Microsystems, http:\/\/developers.sun.com\/solaris\/articles\/raceconditions.html"},{"key":"5_CR2","first-page":"200","volume-title":"1st International Conference on Software Testing, Verification and Validation","author":"B. Lei","year":"2008","unstructured":"Lei, B., Wang, L., Li, X.: UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. In: 1st International Conference on Software Testing, Verification and Validation, pp. 200\u2013209. IEEE Press, Los Alamitos (2008)"},{"key":"5_CR3","unstructured":"Petriu, D.C.: Performance analysis with the SPT profile. In: Gerard, S., Babau, J., Champeau, J. (eds.) Model-Driven Engineering of Distributed and Embedded Systems, pp. 205\u2013224. Wiley-ISTE (2005)"},{"key":"5_CR4","volume-title":"Safeware: System Safety and Computers","author":"N. Leveson","year":"1995","unstructured":"Leveson, N.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Demathieu, S., Thomas, F., Andre, C., Gerard, S., Terrier, F.: First experiments using the UML profile for MARTE. In: 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing, pp. 50\u201357. The Printing House (2008)","DOI":"10.1109\/ISORC.2008.36"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Mradiha, C., Tanguy, Y., Jouvray, C., Terrier, F., Gerard, S.: An execution framework for MARTE-based models. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, pp. 222\u2013227. The Printing House (2008)","DOI":"10.1109\/ICECCS.2008.37"},{"key":"5_CR7","unstructured":"Downey, A.B.: The Little Book of Semaphores, 2nd edn. Green Tea Press (2005)"},{"issue":"5","key":"5_CR8","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/358438.349328","volume":"35","author":"C. Flanagan","year":"2000","unstructured":"Flanagan, C., Freund, S.N.: Type-Based Race Detection for Java. ACM SIGPLAN Notices\u00a035(5), 219\u2013232 (2000)","journal-title":"ACM SIGPLAN Notices"},{"issue":"5","key":"5_CR9","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1145\/543552.512558","volume":"37","author":"C. Flanagan","year":"2002","unstructured":"Flanagan, C., Rustan, K., Leino, M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended Static Checker for Java. ACM SIGPLAN Notices\u00a037(5), 234\u2013245 (2002)","journal-title":"ACM SIGPLAN Notices"},{"key":"5_CR10","volume-title":"Practical genetic algorithms","author":"R.L. Haupt","year":"1998","unstructured":"Haupt, R.L., Haupt, S.E.: Practical genetic algorithms. Wiley, Chichester (1998)"},{"issue":"2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/1119479.1119480","volume":"28","author":"M. Abadi","year":"2006","unstructured":"Abadi, M., Flanagan, C., Freund, S.N.: Types for Safe Locking: Static Race Detection for Java. ACM TOPLAS\u00a028(2), 207\u2013255 (2006)","journal-title":"ACM TOPLAS"},{"key":"5_CR12","unstructured":"OMG: Unified Modeling Language (UML). Version 2.1.2, http:\/\/www.omg.org\/cgi-bin\/doc?formal\/09-02-02.pdf"},{"key":"5_CR13","unstructured":"Shousha, M., Briand, L.C., Labiche, Y.: A UML\/MARTE Model Analysis Methodology for Detection of Starvation and Deadlocks in Concurrent Systems. Technical Report SCE-09-01. Carleton University, Canada (2009)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-73368-3_26","volume-title":"Computer Aided Verification","author":"V. Kahlon","year":"2007","unstructured":"Kahlon, V., Yang, Y., Sankaranarayanan, S., Gupta, A.: Fast and Accurate Static Data-Race Detection for Concurrent Programs. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 226\u2013239. Springer, Heidelberg (2007)"},{"key":"5_CR15","volume-title":"MDA Explained - The Model Driven Architecture: Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained - The Model Driven Architecture: Practice and Promise. Addison-Wesley, Reading (2003)"},{"key":"5_CR16","first-page":"263","volume-title":"Proceedings of European Conference on Artificial Life","author":"T. Back","year":"1992","unstructured":"Back, T.: Self-adaptation in genetic algorithms. In: Proceedings of European Conference on Artificial Life, pp. 263\u2013271. MIT Press, Cambridge (1992)"},{"issue":"1","key":"5_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0167-8191(94)00071-H","volume":"21","author":"S.W. Mahfoud","year":"1995","unstructured":"Mahfoud, S.W., Goldberg, D.E.: Parallel recombinative simulated annealing: a genetic algorithm. Parallel Computing\u00a021(1), 1\u201328 (1995)","journal-title":"Parallel Computing"},{"key":"5_CR18","volume-title":"Genetic programming: on the programming of computers by means of natural selection","author":"J.R. Koza","year":"1992","unstructured":"Koza, J.R.: Genetic programming: on the programming of computers by means of natural selection. MIT Press, Cambridge (1992)"},{"key":"5_CR19","unstructured":"OMG: UML Profile for Modeling and Analysis of Real-time and Embedded Systems, http:\/\/www.omg.org\/cgi-bin\/apps\/doc?ptc\/08-06-08.pdf"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1375581.1375620","volume-title":"ACM PLDI","author":"R. Chugh","year":"2008","unstructured":"Chugh, R., Voung, J.W., Jhala, R., Lerner, S.: Dataflow Analysis for Concurrent Programs Using Datarace Detection. In: ACM PLDI, pp. 316\u2013326. ACM, New York (2008)"},{"issue":"4","key":"5_CR21","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM TOCS\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM TOCS"},{"key":"5_CR22","unstructured":"Brat, G., Havelund, K., Park, S., Visser, W.: Java Pathfinder Second Generation of a Java Model Checker. In: Proceedings of Workshop on Advances in Verification (2000)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/978-3-540-87875-9_34","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Shousha","year":"2008","unstructured":"Shousha, M., Briand, L., Labiche, Y.: A UML\/SPT model analysis methodology for concurrent systems based on genetic algorithms. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 475\u2013489. Springer, Heidelberg (2008)"},{"key":"5_CR24","unstructured":"OMG: UML Profile for Schedulability, Performance and Time Specification, http:\/\/www.omg.org\/docs\/formal\/05-01-02.pdf"},{"key":"5_CR25","unstructured":"Ali, S., Briand, L.C., Hemmati, H., Panesar-Walawege, R.K.: A Systematic Review of the Application and Empirical Investigation of Search-based Test-Case Generation. Technical Report Simula. SE. 293. Simula Research Laboratory, Norway (2009)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04425-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T19:01:14Z","timestamp":1558551674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04425-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044243","9783642044250"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04425-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}