{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:07Z","timestamp":1746115867746,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642417061"},{"type":"electronic","value":"9783642417078"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41707-8_12","type":"book-chapter","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T10:56:38Z","timestamp":1383130598000},"page":"180-195","source":"Crossref","is-referenced-by-count":0,"title":["Techniques and Toolset for Conformance Testing against UML Sequence Diagrams"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Pascoal","family":"Faria","sequence":"first","affiliation":[]},{"given":"Ana C. R.","family":"Paiva","sequence":"additional","affiliation":[]},{"given":"M\u00e1rio Ventura","family":"de Castro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"OMG Unified Modeling LanguageTM (OMG UML), Superstructure, v. 2.4.1, OMG (2011)","key":"12_CR1"},{"issue":"5","key":"12_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MS.2003.1231145","volume":"20","author":"S.J. Mellor","year":"2003","unstructured":"Mellor, S.J., Clark, A.N., Futagami, T.: Model-Driven Development. IEEE Software Magazine\u00a020(5), 14\u201318 (2003)","journal-title":"IEEE Software Magazine"},{"unstructured":"Uttin, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann (2007)","key":"12_CR3"},{"doi-asserted-by":"crossref","unstructured":"Faria, J.P., Paiva, A., Yang, Z.: Test Generation from UML Sequence Diagrams. In: 8th Int. Conf. on the Quality of Information and Communications Technology, pp. 245\u2013250 (2012)","key":"12_CR4","DOI":"10.1109\/QUATIC.2012.57"},{"unstructured":"JUnit testing framework, http:\/\/www.junit.org","key":"12_CR5"},{"unstructured":"Enterprise Architect, http:\/\/www.sparxsystems.com.au","key":"12_CR6"},{"unstructured":"AspectJ, http:\/\/www.eclipse.org\/aspectj","key":"12_CR7"},{"unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education (1994)","key":"12_CR8"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0164-1212(94)90112-0","volume":"27","author":"P.D. Stotts","year":"1994","unstructured":"Stotts, P.D., Pugh, W.: Parallel Finite Automata for Modeling Concurrent Software Systems. J. of Software and Systems\u00a027, 27\u201343 (1994)","journal-title":"J. of Software and Systems"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s10270-010-0157-9","volume":"10","author":"Z. Micskei","year":"2011","unstructured":"Micskei, Z., Waeselynck, H.: The Many Meanings of UML 2 Sequence Diagrams: a Survey. J. of Software and Systems Modeling\u00a010, 489\u2013514 (2011)","journal-title":"J. of Software and Systems Modeling"},{"unstructured":"Castro, M.V.: Automating Scenario Based Testing with UML and AOP, http:\/\/www.fe.up.pt\/~ei06064\/AutomatingSBTwithUMLandAOP.pdf (in Portuguese)","key":"12_CR11"},{"issue":"2","key":"12_CR12","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10270-007-0054-z","volume":"7","author":"D. Harel","year":"2008","unstructured":"Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. J. of Software and Systems Modeling\u00a07(2), 237\u2013253 (2008)","journal-title":"J. of Software and Systems Modeling"},{"issue":"1","key":"12_CR13","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s00165-005-0082-9","volume":"18","author":"H. Hallal","year":"2006","unstructured":"Hallal, H., Boroday, S., Petrenko, A., Ulrich, A.: A Formal Approach to Property Testing in Causally Consistent Distributed Traces. Formal Aspects of Computing\u00a018(1), 63\u201383 (2006)","journal-title":"Formal Aspects of Computing"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-69489-2_6","volume-title":"Models in Software Engineering","author":"A. Knapp","year":"2007","unstructured":"Knapp, A., Wuttke, J.: Model Checking of UML 2.0 Interactions. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 42\u201351. Springer, Heidelberg (2007)"},{"issue":"9","key":"12_CR15","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1109\/TSE.2006.96","volume":"32","author":"L. Briand","year":"2006","unstructured":"Briand, L., Labiche, Y., Leduc, J.: Towards the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software. IEEE Trans. on Soft. Eng.\u00a032(9), 642\u2013663 (2006)","journal-title":"IEEE Trans. on Soft. Eng."},{"doi-asserted-by":"crossref","unstructured":"Kansomkeat, S., Offutt, J., Abdurazik, A., Baldini, A.: A Comparative Evaluation of Tests Generated from Different UML Diagrams. In: SNPD 2008, pp. 867\u2013872 (2008)","key":"12_CR16","DOI":"10.1109\/SNPD.2008.48"},{"doi-asserted-by":"crossref","unstructured":"Philip, S., Joseph, A.T.: Test Sequence Generation from UML Sequence Diagrams. In: SNPD 2008, pp. 879\u2013887 (2008)","key":"12_CR17","DOI":"10.1109\/SNPD.2008.100"},{"issue":"1","key":"12_CR18","first-page":"71","volume":"2","author":"P. Samuel","year":"2008","unstructured":"Samuel, P., Mall, R.: A Novel Test Case Design Technique using Dynamic Slicing of UML Sequence Diagrams. e-Informatica\u00a02(1), 71\u201392 (2008)","journal-title":"e-Informatica"},{"issue":"2","key":"12_CR19","doi-asserted-by":"publisher","first-page":"115","DOI":"10.5381\/jot.2010.9.2.a2","volume":"9","author":"A. Nayak","year":"2010","unstructured":"Nayak, A., Samanta, D.: Automatic Test Data Synthesis using UML Sequence Diagrams. J. of Object Technology\u00a09(2), 115\u2013144 (2010)","journal-title":"J. of Object Technology"},{"unstructured":"Benattou, M., Bruel, J., Hameurlain, N.: Generating Test Data from OCL Specification. In: ECOOP Workshop Integration and Transformation of UML Models (2002)","key":"12_CR20"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-69489-2_23","volume-title":"Models in Software Engineering","author":"G. Engels","year":"2007","unstructured":"Engels, G., G\u00fcldali, B., Lohmann, M.: Towards Model-Driven Unit Testing. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 182\u2013192. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Fraikin, F., Leonhardt, T.: SeDiTeC-testing based on sequence diagrams. In: Proc. of the 17th IEEE Int. Conf. on Automated Software Engineering (ASE 2002). IEEE (2002)","key":"12_CR22","DOI":"10.1109\/ASE.2002.1115026"},{"unstructured":"Wittevrongel, J., Maurer, F.: SCENTOR: Scenario-Based Testing of E-Business Applications. In: 2nd Int. Workshop on Automation of Software Test (AST) (2007)","key":"12_CR23"},{"doi-asserted-by":"crossref","unstructured":"Javed, A., Strooper, P., Watson, G.: Automated Generation of Test Cases using Model-Driven Architecture. In: 2nd Int. Workshop on Automation of Software Test (AST) (2007)","key":"12_CR24","DOI":"10.1109\/AST.2007.2"},{"unstructured":"IBM\u00ae Rational\u00ae Rhapsody\u00ae Automatic Test Conductor Add On User Guide, v2.5.2 (2013)","key":"12_CR25"},{"key":"12_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-05031-2_4","volume-title":"Testing of Software and Communication Systems","author":"S. Boroday","year":"2009","unstructured":"Boroday, S., Petrenko, A., Ulrich, A.: Implementing MSC Tests with Quiescence Observation. In: N\u00fa\u00f1ez, M., Baker, P., Merayo, M.G. (eds.) TESTCOM 2009. LNCS, vol.\u00a05826, pp. 49\u201365. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41707-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T18:59:49Z","timestamp":1746039589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41707-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642417061","9783642417078"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41707-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}