{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:45:30Z","timestamp":1725615930596},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,3,18]]},"DOI":"10.1145\/1167253.1167320","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"306-310","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Object-oriented behavioral testing through trace generation"],"prefix":"10.1145","author":[{"given":"Anastasia","family":"Tircuit","sequence":"first","affiliation":[{"name":"Tulane University, New Orleans, LA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Belkhouche","sequence":"additional","affiliation":[{"name":"Tulane University, New Orleans, LA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Testing Computer Software","author":"Kaner C.","year":"1993","unstructured":"C. Kaner , J. Falk , and H. Q. Nguyen , Testing Computer Software . International Thomson Computer Press , second ed., 1993 . C. Kaner, J. Falk, and H. Q. Nguyen, Testing Computer Software. International Thomson Computer Press, second ed., 1993."},{"key":"e_1_3_2_1_2_1","volume-title":"rep","author":"Egyed A. F.","year":"2000","unstructured":"A. F. Egyed , \"Automatically Validating Model Consistency During Refinement,\" tech. rep ., University of Southern California , 2000 . A. F. Egyed, \"Automatically Validating Model Consistency During Refinement,\" tech. rep., University of Southern California, 2000."},{"key":"e_1_3_2_1_3_1","volume-title":"Rigorous Testing by Merging Structural and Behavioral Uml Representations,\" Proceedings of the Sixth International Conference on the Unified Modeling Language","author":"Pilskalns O.","year":"2003","unstructured":"O. Pilskalns , A. Andrews , S. Ghosh , and R. France , \" Rigorous Testing by Merging Structural and Behavioral Uml Representations,\" Proceedings of the Sixth International Conference on the Unified Modeling Language , 2003 . O. Pilskalns, A. Andrews, S. Ghosh, and R. France, \"Rigorous Testing by Merging Structural and Behavioral Uml Representations,\" Proceedings of the Sixth International Conference on the Unified Modeling Language, 2003."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503235"},{"key":"e_1_3_2_1_5_1","volume-title":"Rule-based Specifications of Behavioral Consistency based on the Uml Meta-Model,\" Proceedings of the Fourth Iinternational Conference on the Unified Modeling Language","author":"Engels G.","year":"2001","unstructured":"G. Engels , R. Heckel , and J. M. K\u00fcster , \" Rule-based Specifications of Behavioral Consistency based on the Uml Meta-Model,\" Proceedings of the Fourth Iinternational Conference on the Unified Modeling Language , 2001 . G. Engels, R. Heckel, and J. M. K\u00fcster, \"Rule-based Specifications of Behavioral Consistency based on the Uml Meta-Model,\" Proceedings of the Fourth Iinternational Conference on the Unified Modeling Language, 2001."},{"key":"e_1_3_2_1_6_1","first-page":"84","author":"Finkelstein A.","year":"1993","unstructured":"A. Finkelstein , D. Gabbay , A. Hunter , J. Kramer , and B. Nuseibeh , \"Iinconsistency Handeling in Multi-perspective Specifications,\" Proceedings of the Fourth European Software Engineering Conference , pp. 84 -- 99 , 1993 . A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh, \"Iinconsistency Handeling in Multi-perspective Specifications,\" Proceedings of the Fourth European Software Engineering Conference, pp. 84--99, 1993.","journal-title":"\"Iinconsistency Handeling in Multi-perspective Specifications,\" Proceedings of the Fourth European Software Engineering Conference"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/318774.319258"},{"key":"e_1_3_2_1_8_1","first-page":"344","volume-title":"Combining Object-Oriented Modeling and Formal Description Techniques,\" Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP'94)","author":"Moreira A.","year":"1994","unstructured":"A. Moreira and R. Clark , \" Combining Object-Oriented Modeling and Formal Description Techniques,\" Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP'94) , pp. 344 -- 364 , 1994 . A. Moreira and R. Clark, \"Combining Object-Oriented Modeling and Formal Description Techniques,\" Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP'94), pp. 344--364, 1994."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/504087.504091"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/577656"},{"key":"e_1_3_2_1_11_1","volume-title":"Rapid Prototyping in Software Development,\" IEEE Computer Soc. Computer","author":"Tanik M. M.","year":"1990","unstructured":"M. M. Tanik and R. T. Y. (guest editors), \" Rapid Prototyping in Software Development,\" IEEE Computer Soc. Computer , vol. 22 , 1990 . M. M. Tanik and R. T. Y. (guest editors), \"Rapid Prototyping in Software Development,\" IEEE Computer Soc. Computer, vol. 22, 1990."},{"key":"e_1_3_2_1_12_1","volume-title":"Communicating Sequential Processes","author":"Hoare C.","year":"1985","unstructured":"C. Hoare , Communicating Sequential Processes . Prentice-Hall , 1985 . C. Hoare, Communicating Sequential Processes. Prentice-Hall, 1985."},{"key":"e_1_3_2_1_13_1","first-page":"220","volume-title":"SERP '04","author":"Belkhouche B.","year":"2004","unstructured":"B. Belkhouche and A. Nix , \" Formal Analysis of Uml-based Designs,\" Proceedings of the International Conference on Software Engineering Research and Practice , SERP '04 , vol. I , pp. 220 -- 226 , June 2004 . B. Belkhouche and A. Nix, \"Formal Analysis of Uml-based Designs,\" Proceedings of the International Conference on Software Engineering Research and Practice, SERP '04, vol. I, pp. 220--226, June 2004."}],"event":{"name":"ACM SE05: ACM Southeast Regional Conference 2005","sponsor":["ACM Association for Computing Machinery"],"location":"Kennesaw Georgia","acronym":"ACM SE05"},"container-title":["Proceedings of the 43rd annual Southeast regional conference - Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1167253.1167320","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T00:57:05Z","timestamp":1673312225000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1167253.1167320"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3,18]]},"references-count":13,"alternative-id":["10.1145\/1167253.1167320","10.1145\/1167253"],"URL":"https:\/\/doi.org\/10.1145\/1167253.1167320","relation":{},"subject":[],"published":{"date-parts":[[2005,3,18]]},"assertion":[{"value":"2005-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}