{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T04:05:33Z","timestamp":1782878733491,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,5,10]],"date-time":"2008-05-10T00:00:00Z","timestamp":1210377600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,10]]},"DOI":"10.1145\/1368088.1368157","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T14:36:48Z","timestamp":1210862208000},"page":"501-510","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":276,"title":["Automatic generation of software behavioral models"],"prefix":"10.1145","author":[{"given":"Davide","family":"Lorenzoli","sequence":"first","affiliation":[{"name":"University of Milano Bicocca, Milan, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leonardo","family":"Mariani","sequence":"additional","affiliation":[{"name":"University of Milano Bicocca, Milan, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[{"name":"University of Milano Bicocca, Milan, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,5,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/aspectwerkz.codehaus.org\/, visited","year":"2007","unstructured":"Aspectwerkz. http:\/\/aspectwerkz.codehaus.org\/, visited in 2007."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"e_1_3_2_1_3_1","volume-title":"http:\/\/logging.apache.org\/log4j\/, visited","year":"2007","unstructured":"Apache Software Foundation. Log4java. http:\/\/logging.apache.org\/log4j\/, visited in 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693017_10"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1162\/153244304773936063"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146267"},{"key":"e_1_3_2_1_9_1","unstructured":"D. Detlefs G. Nelson and J. Saxe. Simplify: A theorem prover for program checking. Technical Report HPL-2003-148 HP Labs 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294948.1294972"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581377"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776824"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_19"},{"key":"e_1_3_2_1_15_1","volume-title":"http:\/\/www.eclipse.org\/tptp\/, visited","author":"BM.","year":"2007","unstructured":"IBM. Eclipse test & performance tools platform. http:\/\/www.eclipse.org\/tptp\/, visited in 2007."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138919"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.26"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2007.138"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940110"},{"key":"e_1_3_2_1_20_1","volume-title":"proceedings of the Workshop on Runtime Verification","author":"Nimmer J. W.","year":"2001","unstructured":"J. W. Nimmer and M. D. Ernst. Static verification of dynamically detected program invariants: Integrating daikon and ESC\/Java. In proceedings of the Workshop on Runtime Verification, 2001."},{"key":"e_1_3_2_1_21_1","volume-title":"http:\/\/jabref.sourceforge.net\/, visited","year":"2007","unstructured":"Open Source Project. Jabref. http:\/\/jabref.sourceforge.net\/, visited in 2007."},{"key":"e_1_3_2_1_22_1","unstructured":"Open Source Project. jcvs. http:\/\/www.jcvs.org visited in 2007."},{"key":"e_1_3_2_1_23_1","unstructured":"Open Source Project. jedit. http:\/\/www.jedit.org visited in 2007."},{"key":"e_1_3_2_1_24_1","volume-title":"http:\/\/www.squirrelsql.org\/, visited","year":"2007","unstructured":"Open Source Project. Squiller. http:\/\/www.squirrelsql.org\/, visited in 2007."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62964"},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","volume-title":"An incremental interactive algorithm for regular grammar inference","author":"Parekh R.","year":"1996","unstructured":"R. Parekh and V. Honavar. An incremental interactive algorithm for regular grammar inference. In L. Miclet and C. Higuera, editors, proceedings of the International Colloquium on Grammatical Inference (ICGI), volume 1147 of LNCS. Springer, 1996."},{"key":"e_1_3_2_1_27_1","series-title":"LNCS","volume-title":"A polynomial time incremental algorithm for learning DFA. In proceedings of the International Colloquium on Grammatical Inference (ICGI)","author":"Parekh R.","year":"1998","unstructured":"R. Parekh, C. Nichitiu, and V. Honavar. A polynomial time incremental algorithm for learning DFA. In proceedings of the International Colloquium on Grammatical Inference (ICGI), volume 1433 of LNCS. Springer, 1998."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265734"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00114841"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581378"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381497"},{"key":"e_1_3_2_1_32_1","volume-title":"http:\/\/makagiga.sourceforge.net, visited","author":"Twardowski K.","year":"2007","unstructured":"K. Twardowski. Makagiga. http:\/\/makagiga.sourceforge.net, visited in 2007."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/299917.299919"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"}],"event":{"name":"ICSE '08: International Conference on Software Engineering","location":"Leipzig Germany","acronym":"ICSE '08","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 30th international conference on Software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1368088.1368157","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1368088.1368157","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T13:50:12Z","timestamp":1773582612000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1368088.1368157"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,10]]},"references-count":34,"alternative-id":["10.1145\/1368088.1368157","10.1145\/1368088"],"URL":"https:\/\/doi.org\/10.1145\/1368088.1368157","relation":{},"subject":[],"published":{"date-parts":[[2008,5,10]]},"assertion":[{"value":"2008-05-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}