{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:44:02Z","timestamp":1725806642223},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319122403"},{"type":"electronic","value":"9783319122410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12241-0_9","type":"book-chapter","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T11:39:08Z","timestamp":1412768348000},"page":"116-130","source":"Crossref","is-referenced-by-count":2,"title":["Simulation Testing and Model Checking: A Case Study Comparing these Approaches"],"prefix":"10.1007","author":[{"given":"Richard","family":"Lipka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Pa\u0161ka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Potu\u017e\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Runeson, P.: A Survey of Unit Testing Practices. IEEE Software\u00a023(4), 22\u201329 (2006) ISSN: 0740-7459\/06","DOI":"10.1109\/MS.2006.91"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Stephens, M., Rosenberg, D.: Design Driven Testing: Test Smarter, Not Harder. Apress, Berkely (2010) ISBN: 978-1430229438","DOI":"10.1007\/978-1-4302-2944-5"},{"key":"9_CR3","volume-title":"Writing Effective Use Cases","author":"A. Cockburn","year":"2000","unstructured":"Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Boston (2000)"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/1216993.1217006","volume-title":"Proceedings of the 6th International Workshop on Software and Performance","author":"S. Becker","year":"2007","unstructured":"Becker, S., Koziolek, H., Reussner, R.: Model-Based Performance Prediction with the Palladio Component Model. In: Proceedings of the 6th International Workshop on Software and Performance, pp. 54\u201366. ACM, New York (2007)"},{"key":"9_CR5","volume-title":"Component Software \u2013 Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2000","unstructured":"Szyperski, C., Gruntz, D., Murer, S.: Component Software \u2013 Beyond Object-Oriented Programming. ACM Press, New York (2000)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/978-3-642-35843-2_36","volume-title":"SOFSEM 2013: Theory and Practice of Computer Science","author":"R. Lipka","year":"2013","unstructured":"Lipka, R., Potu\u017e\u00e1k, T., Brada, P., Herout, P.: SimCo \u2013 Hybrid Simulator for Testing of Component Based Applications. In: van Emde Boas, P., Groen, F.C.A., Italiano, G.F., Nawrocki, J., Sack, H. (eds.) SOFSEM 2013. LNCS, vol.\u00a07741, pp. 420\u2013431. Springer, Heidelberg (2013)"},{"key":"9_CR7","volume-title":"Parallel and Distributed Simulation Systems","author":"R.M. Fujimoto","year":"2000","unstructured":"Fujimoto, R.M.: Parallel and Distributed Simulation Systems. John Wiley & Sons, New York (2000)"},{"key":"9_CR8","volume-title":"Testing Object-Oriented Systems","author":"R. Binder","year":"2000","unstructured":"Binder, R.: Testing Object-Oriented Systems. Addison-Wesley, Boston (2000)"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1049\/ip-sen:19990602","volume":"146","author":"Y. Kim","year":"1999","unstructured":"Kim, Y., Honh, H., Cho, S., Bae, D., Cha, S.: Test Cases Generation from UML State Diagrams. IEE Proc. Software\u00a0146(4), 187\u2013192 (1999)","journal-title":"IEE Proc. Software"},{"key":"9_CR10","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. (ed.) UML 1999. LNCS, vol.\u00a01723, pp. 416\u2013429. Springer, Heidelberg (1999)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-36557-5_28","volume-title":"Objects, Components, Architectures, Services, and Applications for a Networked World","author":"M. Riebisch","year":"2003","unstructured":"Riebisch, M., Philippow, I., G\u00f6tze, M.: UML-Based Statistical Test Case Generation. In: Ak\u015fit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol.\u00a02591, pp. 394\u2013411. Springer, Heidelberg (2003)"},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"L. Briand","year":"2002","unstructured":"Briand, L., Labiche, Y.: A UML-Based Approach to System Testing. Journal of Software and System Modeling\u00a01(1), 10\u201342 (2002)","journal-title":"Journal of Software and System Modeling"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Lipka, R., Potuzak, T., Brada, P., Herout, P.: Verification of SimCo \u2013 Simulation Tool for Testing of Component-based Application. In: EUROCON 2013, Zagreb, pp. 467\u2013474 (2013)","DOI":"10.1109\/EUROCON.2013.6625023"},{"key":"9_CR14","unstructured":"Ka\u010der, J.: Testing Java software for embedded devices using J-Sim and serialization of threads. In: Proc. of Electronic Computers and Informatics, pp. 382\u2013387. VIENALA Press (2004)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Havelund, K., Pressburger, T.: Model Checking Java Programs Using Java Pathfinder. International Journal on Software Tools for Technology Transfer\u00a02(4) (2000)","DOI":"10.1007\/s100090050043"},{"key":"9_CR16","unstructured":"Mukund, M.: Finite-state Automata on Infinite Inputs, tutorial talk, Sixth National Seminar on Theoretical Computer Science, Banasthali Vidyapith, Banasthali Rajasthan (1996)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/3-540-36135-9_20","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"D. Giannakopoulou","year":"2002","unstructured":"Giannakopoulou, D., Lerda, F.: From States to Transitions: Improving translation of LTL formulae to B\u00fcchi automata. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, pp. 308\u2013326. Springer, Heidelberg (2002)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Corbett, J., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., Zheng, H.: Bandera: Extracting Finite-state Models from Java Source Code. In: Proc. of 22nd International Conference on Software Engineering, Limerick, Poland, pp. 439\u2013448 (2000)","DOI":"10.1145\/337180.337234"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Pa\u0161ka, M.: An Approach to Generating C Code with Proven LTL-based Properties. In: Proc. of International Conference on Computer as a Tool EUROCON, pp. 27\u201329 (2011)","DOI":"10.1109\/EUROCON.2011.5929273"},{"issue":"2","key":"9_CR20","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering\u00a010(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/3-540-45139-0_6","volume-title":"Model Checking Software","author":"F. Lerda","year":"2001","unstructured":"Lerda, F., Visser, W.: Addressing Dynamic Issues of Program Model Checking. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 80\u2013102. Springer, Heidelberg (2001)"},{"key":"9_CR22","unstructured":"Avrunin, G.S., Cobert, J.C., Dwyer, M.B., Pasarenau, C.S., Siegel, S.F.: Comparing finite-state verification techniques for concurrent software, Technical report UM-CS-1999-069, Department of Computer Science, Universitz of Massachusetts at Amherst, USA (1999)"},{"issue":"3","key":"9_CR23","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.489078","volume":"22","author":"J.C. Corbett","year":"1996","unstructured":"Corbett, J.C.: Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering\u00a022(3), 161\u2013179 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Widmaier, J.C., Smidts, C., Huang, X.: Producing more reliable software: Mature software engineering process vs. state-of-the-art technology. In: Proc. of 22nd International Conference on Software Engineering, Limerick, Ireland, pp. 87\u201394. ACM Press (2000)","DOI":"10.1145\/337180.337192"},{"issue":"2-3","key":"9_CR25","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/B:FORM.0000040027.28662.a4","volume":"25","author":"G. Brat","year":"2004","unstructured":"Brat, G., Drusinsky, D., Giannakopoulou, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, C., Venet, A., Visser, W., Washington, R.: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Journal of Formal Methods in System Design\u00a025(2-3), 167\u2013198 (2004)","journal-title":"Journal of Formal Methods in System Design"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-03850-6_9","volume-title":"Principles of Distributed Systems","author":"D. Cotroneo","year":"2013","unstructured":"Cotroneo, D., Natella, R., Russo, S., Scippacercola, F.: State-Driven Testing of Distributed Systems. In: Baldoni, R., Nisse, N., van Steen, M. (eds.) OPODIS 2013. LNCS, vol.\u00a08304, pp. 114\u2013128. Springer, Heidelberg (2013)"},{"key":"9_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2005.01.018","volume":"131","author":"C. Artho","year":"2005","unstructured":"Artho, C., Biere, A.: Combined Static and Dynamic Analysis. Electronic Notes in Theoretical Computer Science\u00a0131, 3\u201314 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9_CR28","unstructured":"Vorobyov, K., Padmanabhan, K.: Comparing model checking and static program analysis: A case study in error detection approaches. In: Proc. of 5th international Wokshop in System Software Verification, Vancouver, Canada, pp. 1\u20137 (2010)"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-540-24622-0_17","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"D. Engler","year":"2004","unstructured":"Engler, D., Musuvathi, M.: Static Analysis versus Software Model Checking for Bug Finding. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 191\u2013210. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12241-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T11:28:37Z","timestamp":1650367717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12241-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319122403","9783319122410"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12241-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}