{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:41:00Z","timestamp":1725550860148},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008989"},{"type":"electronic","value":"9783540365778"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36577-x_43","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:04Z","timestamp":1269882724000},"page":"591-596","source":"Crossref","is-referenced-by-count":10,"title":["Automatic Test Generation with AGATHA"],"prefix":"10.1007","author":[{"given":"C\u00e9line","family":"Bigot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Faivre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Gallois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnault","family":"Lapitre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lugato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Yves","family":"Pierron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Rapin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"43_CR1","volume-title":"The Unified Modelling Language Reference Manual","author":"I. Rumbaugh","year":"1998","unstructured":"Rumbaugh, I. Jacobson, G. Booch, The Unified Modelling Language Reference Manual, Reading, MA: Addison-Wesley, 1998."},{"key":"43_CR2","unstructured":"Union Internationale des TELECOMMUNICATION, Langage de programmation-Langage de description et de sp\u00e9cification du CCITT-Norme SDL, Recommandation UIT T Z.100, 03\/93."},{"key":"43_CR3","unstructured":"D. Lugato, Nicolas Rapin, J.-P. Gallois, Verification and tests generation for SDL industrial specifications with the AGATHA toolset, Proceeding of Workshop on Real-Time Tools, CONCUR\u201901."},{"key":"43_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel, Statecharts: a Visual Formalism for Complex Systems, Science of Computer Programming, vol. 8, pp. 231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"43_CR5","unstructured":"ISO, Information processing system, system interconnection, a formal description based on an extended state transition model, Geneva, 1997."},{"key":"43_CR6","unstructured":"AIT-WOODDES Project N IST-1999-10069, http:\/\/wooddes.intranet.gr\/ ."},{"key":"43_CR7","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"SE-2","author":"L. A. Clarke","year":"1976","unstructured":"L. A. Clarke. A system to generate test data and symbolically execute programs, IEEE Transactions on software Engineering, vol. SE-2, n\u00b03, September 1976, pp 215\u2013222.","journal-title":"IEEE Transactions on software Engineering"},{"issue":"3","key":"43_CR8","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/356651.356652","volume":"7","author":"J.C. Huang","year":"1975","unstructured":"J.C. Huang. An approach to program testing, ACM computing surveys.7(3): 113\u2013128, September 1975.","journal-title":"An approach to program testing, ACM computing surveys"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"J. C. King. Symbolic execution and program testing, Communication of the ACM,19(7). July 1976.","DOI":"10.1145\/360248.360252"},{"key":"43_CR10","unstructured":"M. Ishisone, T. Sawada, Brute: brute force rewriting engine, GAIST, January 2001, http:\/\/www.theta.theta.ro\/cafeobj ."},{"key":"43_CR11","unstructured":"W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman, D. Wonnacott, The Omega Library version 1.1.0, University of Maryland, November 1996, http:\/\/www.cs.umd.edu\/projects\/omega ."},{"key":"43_CR12","unstructured":"R. Milner. Communication and concurrency, Prentice Hall International, 1989."},{"key":"43_CR13","unstructured":"M. Worner, M. Frohlich, DaVinci Tool version 2.1, Bremen University, July 98, http:\/\/www.informatik.uni-bremen.de\/davinci ."},{"key":"43_CR14","unstructured":"Objecteering Tool version 5, Softeam Paris, 2001, http:\/\/www.softeam.fr ."},{"key":"43_CR15","doi-asserted-by":"crossref","unstructured":"S. G\u00e9rard, N. S. Voros, C. Koulamas, Efficient system modeling of complex real-time industry; networks using the ACCORD\/UML methodology, DIPES 2000.","DOI":"10.1007\/978-0-387-35409-5_2"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36577-X_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:51:02Z","timestamp":1558968662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36577-X_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008989","9783540365778"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-36577-x_43","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}