{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:48:20Z","timestamp":1725986900584},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11431855_35","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T11:08:10Z","timestamp":1279105690000},"page":"504-518","source":"Crossref","is-referenced-by-count":5,"title":["A Method for Information Systems Testing Automation"],"prefix":"10.1007","author":[{"given":"Pedro Santos","family":"Neto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodolfo","family":"Resende","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clarindo","family":"P\u00e1dua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","unstructured":"NIST, Planning Report 02-3, The Economic Impacts of Inadequate Infrastructure for Software Testing, 2002 last access on (November 2004), \n                    \n                      http:\/\/www.nist.gov\/director\/prog-ofc\/report02-3.pdf"},{"key":"35_CR2","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Rumbaugh, J., Booch, G.: The Unified Software Development Process. Addison Wesley, Reading (1999)"},{"key":"35_CR3","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley, Reading (1999)"},{"key":"35_CR4","volume-title":"The Object Constraint Language","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language, 2nd edn. Addison-Wesley, Reading (2003)","edition":"2"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Maes, P.: Concepts and Experiments in Computational Reflection. In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 1987), Orlando, Florida, pp. 147\u2013155 (December 1987)","DOI":"10.1145\/38765.38821"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"35_CR7","unstructured":"OMG, UML Testing Profile, Object Management Group document (March 2003) (last access on November 2004), available from \n                    \n                      http:\/\/www.omg.org"},{"key":"35_CR8","unstructured":"OMG, XML Metadata Interchange (XMI). Object Management Group document (July 1998) (last access on November 2004), available from \n                    \n                      http:\/\/www.omg.org\/"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Basili, V., Selby, R., Hutchens, D.: Experimentation in Software Engineering. IEEE Transactions on Software Engineering\u00a012(7) (July 1986)","DOI":"10.1109\/TSE.1986.6312975"},{"key":"35_CR10","unstructured":"Rational Software Corporation, Rational Rose User\u2019s Guide (last access on November 2004), available from \n                    \n                      http:\/\/www.rational.com\/"},{"key":"35_CR11","unstructured":"Abbott, Abbot Java GUI Test Framework (last access on November 2004), available from \n                    \n                      http:\/\/abbot.sourceforge.net\/"},{"key":"35_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Offutt","year":"1999","unstructured":"Offutt, J., Abdurazik, A.: Generating Tests from UML Specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 416\u2013429. Springer, Heidelberg (1999)"},{"key":"35_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/3-540-45441-1_15","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"L. Briand","year":"2001","unstructured":"Briand, L., Labiche, Y.: A UML-Based Approach to System Testing. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 194\u2013208. Springer, Heidelberg (2001)"},{"key":"35_CR14","doi-asserted-by":"crossref","unstructured":"Hartmann, A., Nagin, K.: The AGEDIS Tools for Model Based Testing. In: International Symposium on Software Testing and Analysis (ISSTA 2004), Boston, Massachusetts, USA (July 2004)","DOI":"10.1145\/1007512.1007529"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Hartmann, J., Imoberdorf, C., Meisinger, M.: UML-Based Integration Testing. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2000), Portland, Oregon, United States, August 2000, pp. 60\u201370 (2000)","DOI":"10.1145\/347324.348872"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Pickin, S., Jard, C., Le Traon, Y., J\u00e9ron, T., J\u00e9z\u00e9quel, J.-M., Le Guennec, A.: System Test Synthesis from UML Models of Distributed Software. In: Proceedings of 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2002), Houston, Texas, November 2002, pp. 97\u2013113 (2002)","DOI":"10.1007\/3-540-36135-9_7"},{"key":"35_CR17","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R. DeMillo","year":"1978","unstructured":"DeMillo, R., Lipton, R., Sayward, F.: Hints on Test Data Selection: Help for the Practicing Programmer. IEEE Computer\u00a011, 34\u201341 (1978)","journal-title":"IEEE Computer"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11431855_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,16]],"date-time":"2019-03-16T15:47:00Z","timestamp":1552751220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11431855_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783319981765","9783319981772"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11431855_35","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2005]]}}}