{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:13:55Z","timestamp":1725711235829},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357947"},{"type":"electronic","value":"9783642357954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35795-4_5","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T09:49:42Z","timestamp":1357292982000},"page":"34-44","source":"Crossref","is-referenced-by-count":0,"title":["Software Testing is Necessary But Not Sufficient for Software Trustworthiness"],"prefix":"10.1007","author":[{"given":"Mitra","family":"Nami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Witold","family":"Suryn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Nami, M., Suryn, W.: From Requirements to Software Trustworthiness using Scenarios and Finite State Machine, Montreal (2012)","DOI":"10.1109\/IECON.2012.6389399"},{"key":"5_CR2","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Pearson (2005)"},{"issue":"2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/52.268953","volume":"11","author":"P. Hsia","year":"1994","unstructured":"Hsia, P., et al.: Formal Approach to Scenario Analysis. IEEE Software\u00a011(2), 33\u201341 (1994)","journal-title":"IEEE Software"},{"key":"5_CR4","unstructured":"M\u00e4kinen, E., Syst\u00e4, T.: An Interactive Approach for Synthesizing UML Statechart Diagrams from Sequence Diagrams. In: Proceedings of OOPSLA 2000 Workshop: Scenario Based Round-trip Engineering (October 2000)"},{"key":"5_CR5","unstructured":"Behrens, H.: Requirements Analysis and Prototyping using Scenarios and Statecharts. In: Proceedings of ICSE 2002 Workshop: Scenarios and State Machines: Models, Algorithms, and Tools (2002)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Oncina, J., Garcia, P.: Regular Languages in Polynomial Update Time. In: Reze de la Blanca, N., Sanfeliu, A., Vidal, E. (eds.) Pattern Recognition and Image Analysis, pp. 49\u201361. World Scientific (1992)","DOI":"10.1142\/9789812797902_0004"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Dupont, P.: Incremental Regular Inference, Grammatical Inference. Learning Syntax Form Sentences, 222\u2013237 (1996)","DOI":"10.1007\/BFb0033357"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Damas, C., et al.: Generating Annotated Behavior Models from End-User Scenarios. IEEE Transactions on Software Engineering\u00a031(12) (December 2005)","DOI":"10.1109\/TSE.2005.138"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R. Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Transactions on Software Engineering and Methodology\u00a015(1), 1\u201338 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5_CR10","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. John Wiley & Sons (1999)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-73368-3_18","volume-title":"Computer Aided Verification","author":"H. Garavel","year":"2007","unstructured":"Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP\u00a02006: A Toolbox for the Construction and Analysis of Distributed Processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 158\u2013163. Springer, Heidelberg (2007)"},{"key":"5_CR12","unstructured":"Pressman, R.S.: Software Engineering: A Practitioner\u2019s Approach, 3rd edn. McGraw-Hill (1992)"},{"key":"5_CR13","unstructured":"Dijkstra, E.W., Dahl, O.J., Hoare, C.A.R.: Structured programming. Academic Press (1972)"},{"key":"5_CR14","unstructured":"Wegener, J., Pitschinetz, R.: TESSY \u2013 Yet Another Computer-Aided Software Testing Tool? In: Proceedings of the Second International Conference on Software Testing, Analysis and Review, Bruxelles, Belgium (1994)"},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","volume":"1","author":"J.B. Goodenough","year":"1975","unstructured":"Goodenough, J.B., Gerhart, S.L.: Toward a theory of test data selection. IEEE Transactions on Software Engineering\u00a01(2), 156\u2013173 (1975)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR16","unstructured":"Hayhurst, K.J., Veerhusen, D.S., Chilenski, J.J., Rierson, L.K.: A practical tutorial on modified condition\/decision coverage. Technical Report NASA\/TM-2001-210876, NASA (May 2001)"},{"key":"5_CR17","unstructured":"Applied Software Measurement, Capers Jones (1996)"},{"key":"5_CR18","unstructured":"Voas, J.: Software Testing Past, Present, and Future, http:\/\/www.rstcorp.com"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Whittle, J., Schumann, J.: Generating Statechart Designs From Scenarios. In: Proceedings of OOPSLA 2000 Workshop: Scenario Based Round-trip Engineering, October 2000, Tampere University of Technology, Software Systems Laboratory, Report 20 (2000)","DOI":"10.1145\/337180.337217"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1471-7727(01)00007-0","volume":"12","author":"M. Hertzum","year":"2002","unstructured":"Hertzum, M.: The importance of trust in software engineers\u2019 assessment and choice of information sources. Information and Organization\u00a012, 1\u201318 (2002)","journal-title":"Information and Organization"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Wieringa, R.: Requirements Level Semantics for UML Statecharts. In: Proceedings of Formal Methods for Open Object-Based Distributed Systems IV, Stanford, California (2000)","DOI":"10.1007\/978-0-387-35520-7_6"},{"key":"5_CR22","unstructured":"Uchitel, S., Kramer, J.: A Workbench for Synthesizing Behavior Models from Scenarios. In: Proc. of the 23rd IEEE International Conference on Software Engineering (ICSE 2001), Toronto, Canada (May 2001)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Dupont, P.: Incremental Regular Inference, Grammatical Inference. Learning Syntax Form Sentences, 222\u2013237 (1996)","DOI":"10.1007\/BFb0033357"},{"issue":"1","key":"5_CR24","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF02802919","volume":"3","author":"C. Rolland","year":"1998","unstructured":"Rolland, C., et al.: A proposal for a scenario classification framework. Requirements Engineering Journal\u00a03(1), 23\u201347 (1998)","journal-title":"Requirements Engineering Journal"},{"key":"5_CR25","unstructured":"Wilkie, I., et al.: UML Action Specification Language (ASL) Reference Guide (2001), http:\/\/www.kc.com\/download\/index.html"}],"container-title":["Communications in Computer and Information Science","Trustworthy Computing and Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35795-4_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:31:11Z","timestamp":1620135071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35795-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357947","9783642357954"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35795-4_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}