{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,5]],"date-time":"2023-10-05T04:48:47Z","timestamp":1696481327488},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T00:00:00Z","timestamp":1078099200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["STTT"],"published-print":{"date-parts":[[2004,3]]},"DOI":"10.1007\/s10009-003-0133-6","type":"journal-article","created":{"date-parts":[[2004,3,19]],"date-time":"2004-03-19T18:53:20Z","timestamp":1079722400000},"page":"124-139","source":"Crossref","is-referenced-by-count":11,"title":["Validation and automatic test generation on UML models: the AGATHA approach"],"prefix":"10.1007","volume":"5","author":[{"given":"David","family":"Lugato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9line","family":"Bigot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannick","family":"Valot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Gallois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Terrier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,3,1]]},"reference":[{"key":"133_CR2","doi-asserted-by":"crossref","unstructured":"Buy U, Orso A, Pezz\u00e9 M (2000) Automated testing of classes. In: Proceedings of ISSTA\u201900, Portland, OR, 21\u201324 August 2000, pp 39\u201348","DOI":"10.1145\/347324.348870"},{"key":"133_CR4","unstructured":"Clarke EM, Grumberg O, Peled DA (1999) Model checking. MIT Press, Cambridge, MA"},{"issue":"3","key":"133_CR5","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"-2","author":"LA Clarke","year":"1976","unstructured":"Clarke LA (1976) A system to generate test data and symbolically execute programs. IEEE Trans Softw Eng SE-2(3):215\u2013222","journal-title":"IEEE Trans Softw Eng SE"},{"key":"133_CRdershowitz","doi-asserted-by":"crossref","unstructured":"Dershowitz N, Jouannaud J-P (1990) Rewrite systems. In: van Leeuwen J (ed) Handbook of theoretical computer science, vol B. Elsevier, North-Holland, pp 243\u2013320","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"133_CR6","doi-asserted-by":"crossref","unstructured":"Fernandez J-C, Jard C, Jeron T, Viho C (1996) Using on the fly verification techniques for the generation of test suites. In: Proceedings of CAV\u201996, New Brunswick, NJ, 31 July\u20133 August 1996. Lecture notes in computer science, vol 1102. Springer, Berlin Heidelberg New York","DOI":"10.1007\/3-540-61474-5_82"},{"key":"133_CR3","first-page":"145","volume":"46","author":"J-P Gallois","year":"1997","unstructured":"Gallois J-P, Lanusse A (1997) Le tests structurel pour la v\u00e9rification de sp\u00e9cifications de syst\u00e8mes industriels. G\u00e9nie logiciel 46:145\u2013150","journal-title":"G\u00e9nie logiciel"},{"key":"133_CR7","unstructured":"Gallois J-P, Lapitre A, L\u00e9 P (1999) Analyse de sp\u00e9cifications industrielles et g\u00e9n\u00e9ration automatique de tests. In: Proceedings of ICSSEA\u201999, CNAM-Paris, France, 8\u201310 December 1999, vol 3"},{"key":"133_CRseb","unstructured":"G\u00e9rard S (2000) The ACCORD\/UML profile. CEA-LIST, Internal report, Gif sur Yvette, France"},{"key":"133_CR8","unstructured":"G\u00e9rard S, Voros NS, Koulamas C (2000) Efficient system modeling of complex real-time industry; networks using the ACCORD\/UML methodology. In: Proceedings of DIPES\u201900, Schloss Eringerfeld, Germany, 18\u201319 October 2000, pp 11\u201322"},{"key":"133_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Programm 8:231\u2013274","journal-title":"Sci Comput Programm"},{"key":"133_CR10","doi-asserted-by":"crossref","unstructured":"Hartmann J, Imoberdorf C, Meisinger M (2000) UML-based integration testing. In: Proceedings of ISSTA\u201900, Portland, OR, 21\u201324 August 2000, pp 60\u201370","DOI":"10.1145\/347324.348872"},{"key":"133_CRlin","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"Hennessy","year":"1995","unstructured":"Hennessy M, Lin H (1995) Symbolic bisimulations. Theor Comput Sci 138:353\u2013389","journal-title":"Theor Comput Sci"},{"key":"133_CRTCTL","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Nicollin X, Sifakis J, Yovine S (1992) Symbolic model checking for real-time systems. In: Proceedings of the 7th IEEE conference on logics in computer science (LICS), Santa Cruz, CA, pp 394\u2013406","DOI":"10.1109\/LICS.1992.185551"},{"key":"133_CR11","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1145\/356651.356652","volume":"7","author":"Huang","year":"1975","unstructured":"Huang J-C (1975) An approach to program testing. ACM Comput Surv 7(3):113\u2013128","journal-title":"ACM Comput Surv"},{"key":"133_CR12","unstructured":"Ishisone M, Sawada T (2001) Brute: brute force rewriting engine. JAIST \u2013 Japan Advanced Institute of Science and Technology, January. http:\/\/www.theta.theta.ro\/cafeobj"},{"key":"133_CR13","unstructured":"ISO (1997) Estelle \u2013 a formal description technique based on an extended state transition model. ISO\/TC97\/SC21, IS 9074"},{"key":"133_CRCTL","unstructured":"Kamp G, Wache H (1996) CTL: a description logic with expressive concrete domains. In: Holldobler St (ed) Proceedings of KI-96, 20. Deutsche Jahrestagung f\u00fcr K\u00fcnstliche Intelligenz, Springer, Berlin Heidelberg New York"},{"key":"133_CR15","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"King","year":"1976","unstructured":"King J-C (1976) Symbolic execution and program testing. Commun ACM 19(7):385\u2013394","journal-title":"Commun ACM"},{"key":"133_CRklop","doi-asserted-by":"crossref","unstructured":"Klop JW (1991) Term of rewriting systems. In: Gabbay D, Abramski S, Maibaum T (eds) Handbook of logic in computer science, vol 1. Oxford University Press, Oxford, UK","DOI":"10.1007\/3-540-61254-8_16"},{"key":"133_CRarnault","unstructured":"Lapitre A (2002) Proc\u00e9dure de r\u00e9duction pour les syst\u00e8mes \u00e0 base d\u2019automates comunnicants: formalisation et mise en oeuvre. PhD thesis, University of Paris XI, France, in collaboration with the CEA, December"},{"key":"133_CR16","unstructured":"Lugato D, Rapin N, Gallois J-P (2001) Verification and tests generation for SDL industrial specifications with the AGATHA toolset. In: Proceedings of the workshop on real-time tools (CONCUR\u201901), Aalborg, Denmark, 21\u201324 August 2001"},{"key":"133_CR17","unstructured":"Milner R (1989) Communication and concurrency. Prentice-Hall, Upper Saddle River, NJ"},{"key":"133_CROMG-UML","doi-asserted-by":"crossref","unstructured":"OMG (2003) Unified Modelling Language 1.4. OMG, Report formal\/2000-03-01, March 2003. http:\/\/www.omg.org","DOI":"10.1016\/S1351-4180(03)01120-6"},{"key":"133_CRjyp","unstructured":"Pierron J-Y (2003) D\u00e9finition de crit\u00e8res de s\u00e9lection de tests fonctionnels pour la validation des syst\u00e8mes \u00e9lectroniques embarqu\u00e9s. PhD thesis, University of Evry, France, in collaboration with the CEA and PSA, April"},{"key":"133_CR19","unstructured":"Pierron J-Y, Gallois J-P, Fievet E, Lapitre A, Lugato D (2000) Validation de syst\u00e8mes industriels par le test symbolique sur sp\u00e9cification STATEMATE. In: Proceedings of ICSSEA\u201900, CNAM-Paris, France, 5\u20138 December, vol 2"},{"key":"133_CRPresburger","unstructured":"Presburger M (1929) \u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetic. Comptes rendus du premier Congr\u00e8s de Math\u00e9matiques des Pays Slaves 395:92\u2013101"},{"key":"133_CR21","unstructured":"Rumbaugh J, Jacobson I, Booch G (1998) The unified modelling language reference manual. Addison-Wesley, Reading, MA"},{"key":"133_CRpatrick","doi-asserted-by":"crossref","unstructured":"Tessier P, G\u00e9rard S, Mraidha C, Terrier F, Geib J-M (2003) A component-based methodology for embedded systems prototyping. In: Proceedings of the workshop on rapid system prototyping, San Diego, 9\u201311 June 2003","DOI":"10.1109\/IWRSP.2003.1207024"},{"key":"133_CR22","doi-asserted-by":"crossref","unstructured":"Wolper P, Godefroid P (1993) Partial-order methods for temporal verification. In: Proceedings of CONCUR\u201993, Hildesheim, Belgium, August 1993, pp 233\u2013246","DOI":"10.1007\/3-540-57208-2_17"},{"key":"133_CRWonnacott","unstructured":"Wonnacott DG (1995) Constraint based array dependence analysis. PhD Thesis, University of Maryland, College Park, MD"},{"issue":"1\/2","key":"133_CR24","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S Yovine","year":"1997","unstructured":"Yovine S (1997) Kronos: a verification tool for real time systems. Int J Softw Tools Technol Transfer 1(1\/2):123\u2013133","journal-title":"Int J Softw Tools Technol Transfer"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0133-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-003-0133-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0133-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0133-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T17:56:28Z","timestamp":1585677388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-003-0133-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3]]},"references-count":31,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2004,3]]}},"alternative-id":["133"],"URL":"https:\/\/doi.org\/10.1007\/s10009-003-0133-6","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,3]]}}}