{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T11:19:13Z","timestamp":1708082353899},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T00:00:00Z","timestamp":1418083200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s10009-014-0354-x","type":"journal-article","created":{"date-parts":[[2014,12,8]],"date-time":"2014-12-08T13:51:56Z","timestamp":1418046716000},"page":"285-304","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets"],"prefix":"10.1007","volume":"18","author":[{"given":"Jo\u00e3o Pascoal","family":"Faria","sequence":"first","affiliation":[]},{"given":"Ana C. R.","family":"Paiva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,12,9]]},"reference":[{"key":"354_CR1","unstructured":"OMG Unified Modeling Language $$^{{\\rm TM}}$$ TM (OMG UML): Superstructure, Version 2.4.1. Object Management Group (OMG) (2011)"},{"issue":"5","key":"354_CR2","first-page":"1418","volume":"20","author":"SJ Mellor","year":"2003","unstructured":"Mellor, S.J., Clark, A.N., Futagami, T.: Model-driven development. IEEE Softw. Mag. 20(5), 1418 (2003)","journal-title":"IEEE Softw. Mag."},{"key":"354_CR3","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Uttin","year":"2007","unstructured":"Uttin, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, Burlington (2007)"},{"key":"354_CR4","doi-asserted-by":"crossref","unstructured":"Faria, J.P., Paiva, A.C.R., Yang, Z.: Test generation from UML sequence diagrams. In: 8th International Conference on the Quality of Information and Communications Technology, pp. 245\u2013250 (2012)","DOI":"10.1109\/QUATIC.2012.57"},{"key":"354_CR5","unstructured":"JUnit testing framework: http:\/\/www.junit.org (2014)"},{"key":"354_CR6","doi-asserted-by":"crossref","unstructured":"Faria, J.P., Castro, M.V., Paiva, A.C.R.: Techniques and toolset for conformance testing against UML sequence diagrams. In: 25th IFIP International Conference on Testing Software and Systems (ICTSS\u201913), LNCS vol. 8254, pp. 180\u2013195. Springer, Berlin, Heidelberg, New York\u00a0\u00a0(2013). http:\/\/link.springer.com\/chapter\/10.1007%2F978-3-642-41707-8_12#","DOI":"10.1007\/978-3-642-41707-8_12"},{"key":"354_CR7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0164-1212(94)90112-0","volume":"27","author":"PD Stotts","year":"1994","unstructured":"Stotts, P.D., Pugh, W.: Parallel finite automata for modeling concurrent software systems. J. Syst. Softw. 27, 27\u201343 (1994)","journal-title":"J. Syst. Softw."},{"key":"354_CR8","doi-asserted-by":"crossref","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. Softw. Syst. Model. 10, 489\u2013514 (2011)","journal-title":"J. Softw. Syst. Model."},{"key":"354_CR9","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Trans. 9, 213\u2013254 (2007). (Springer)","journal-title":"Int. J. Softw. Tools Technol. Trans."},{"key":"354_CR10","doi-asserted-by":"crossref","unstructured":"Jorgensen, P.C.: Event-driven Petri nets. In: Modeling Software Behavior: A Craftsman\u2019s Approach, pp. 137\u2013153. Auerbach Publications, Boca Raton (2009)","DOI":"10.1201\/b15296-9"},{"key":"354_CR11","unstructured":"Faria, J.P., Paiva, A.C.R.: UML Checker: Formal Specification in VDM++ of the Petri Net-based Conformance Checking Engine, TR-SDBT-2013-04, FEUP (2013). https:\/\/blogs.fe.up.pt\/sdbt\/files\/2013\/04\/TR-2013-04.pdf"},{"key":"354_CR12","unstructured":"Enterprise Architect. http:\/\/www.sparxsystems.com.au (2014)"},{"key":"354_CR13","unstructured":"AspectJ. http:\/\/www.eclipse.org\/aspectj (2014)"},{"key":"354_CR14","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Pearson, London (1994)"},{"issue":"1","key":"354_CR15","doi-asserted-by":"crossref","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 Comput. 18(1), 63\u201383 (2006)","journal-title":"Formal Aspects Comput."},{"key":"354_CR16","unstructured":"Castro, M.V.: Automating Scenario Based Testing with UML and AOP. MSc thesis, FEUP (2013) https:\/\/blogs.fe.up.pt\/sdbt\/files\/2013\/04\/Castro.pdf (in Portuguese)"},{"key":"354_CR17","unstructured":"JaCoCo Java Code Coverage Library. http:\/\/www.eclemma.org\/jacoco\/ (2014)"},{"key":"354_CR18","unstructured":"Google\u2019s Guava libraries. https:\/\/code.google.com\/p\/guava-libraries\/ (2014)"},{"issue":"2","key":"354_CR19","doi-asserted-by":"crossref","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. Softw. Syst. Model. 7(2), 237\u2013253 (2008). (Springer)","journal-title":"J. Softw. Syst. Model."},{"key":"354_CR20","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-540-69489-2_6","volume":"4364","author":"A Knapp","year":"2007","unstructured":"Knapp, A., Wuttke, J.: Model checking of UML 2.0 interactions. Models Softw. Eng. LNCS 4364, 42\u201351 (2007). (Springer)","journal-title":"Models Softw. Eng. LNCS"},{"key":"354_CR21","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1016\/j.ins.2012.12.024","volume":"232","author":"T Bouabana-Tebibel","year":"2013","unstructured":"Bouabana-Tebibel, T., Rubin, S.H.: An interleaving semantics for UML 2 interactions using Petri nets. Inform. Sci. 232, 276\u2013293 (2013)","journal-title":"Inform. Sci."},{"key":"354_CR22","doi-asserted-by":"crossref","unstructured":"Fernandes, J.M., Tjell, S., J\u00f8rgensen, J.B., Ribeiro, O.: Designing tool support for translating use cases and UML 2.0 sequence diagrams into coloured Petri net. In: SCESM\u201907, IEEE CS (2007)","DOI":"10.1109\/SCESM.2007.1"},{"issue":"9","key":"354_CR23","doi-asserted-by":"crossref","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. Soft. Eng. 32(9), 642\u2013663 (2006)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"354_CR24","first-page":"867","volume":"2008","author":"S Kansomkeat","year":"2008","unstructured":"Kansomkeat, S., Offutt, J., Abdurazik, A., Baldini, A.: A comparative evaluation of tests generated from different UML diagrams. SNPD 2008, 867\u2013872 (2008)","journal-title":"SNPD"},{"key":"354_CR25","first-page":"879","volume":"2008","author":"S Philip","year":"2008","unstructured":"Philip, S., Joseph, A.T.: Test sequence generation from UML sequence diagrams. SNPD 2008, 879\u2013887 (2008)","journal-title":"SNPD"},{"issue":"1","key":"354_CR26","first-page":"71","volume":"2","author":"P Samuel","year":"2008","unstructured":"Samuel, P., Mall, R.: A novelt test case design technique using dynamic slicing of UML sequence diagrams. e-Informatica 2(1), 71\u201392 (2008)","journal-title":"e-Informatica"},{"issue":"2","key":"354_CR27","doi-asserted-by":"crossref","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. Object Technol. 9(2), 115\u2013144 (2010)","journal-title":"J. Object Technol."},{"key":"354_CR28","unstructured":"Benattou, M., Bruel, J., Hameurlain, N.: Generating test data from OCL specification. In: ECOOP Workshop Integration and Transformation of UML Models (2002)"},{"key":"354_CR29","doi-asserted-by":"crossref","unstructured":"Engels, G., Gldali, B., Lohmann, M.: Towards model-driven unit testing. In: Khne, T. (ed.) MoDELS 2006 Workshops, LNCS, vol. 4364, pp. 182\u2013192 (2007)","DOI":"10.1007\/978-3-540-69489-2_23"},{"key":"354_CR30","doi-asserted-by":"crossref","unstructured":"Fraikin, F., Leonhardt, T.: SeDiTeC-testing based on sequence diagrams. In: Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), IEEE (2002)","DOI":"10.1109\/ASE.2002.1115026"},{"key":"354_CR31","unstructured":"Wittevrongel, J., Maurer, F.: SCENTOR: scenario-based testing of E-business applications. In: 2nd International Workshop on Automation of Software Test (AST) (2007)"},{"key":"354_CR32","doi-asserted-by":"crossref","unstructured":"Javed, A., Strooper, P., Watson, G.: Automated generation of test cases using model-driven architecture. In: 2nd International Workshop on Automation of Software Test (AST) (2007)","DOI":"10.1109\/AST.2007.2"},{"key":"354_CR33","unstructured":"IBM Rational Rhapsody: IBM Rational Rhapsody Automatic Test Conductor Add on User Guide, v2.5.2 (2013)"},{"key":"354_CR34","doi-asserted-by":"crossref","unstructured":"Boroday, S., Petrenko, A., Ulrich, A.: Implementing MSC tests with quiescence observation. In: TESTCOM\/FATES 2009. LNCS, vol. 5826, pp. 49\u201365 (2009)","DOI":"10.1007\/978-3-642-05031-2_4"},{"key":"354_CR35","unstructured":"Ambler, S.: Agile Modeling (AM) Home Page\u2014Effective Practices for Modeling and Documentation. http:\/\/www.agilemodeling.com (2014)"}],"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-014-0354-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0354-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0354-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T06:50:29Z","timestamp":1566111029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0354-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,9]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["354"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0354-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,9]]}}}