{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:06:58Z","timestamp":1742911618851,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878780"},{"type":"electronic","value":"9783540878797"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-87879-7_5","type":"book-chapter","created":{"date-parts":[[2008,10,8]],"date-time":"2008-10-08T22:23:08Z","timestamp":1223504588000},"page":"71-85","source":"Crossref","is-referenced-by-count":0,"title":["Carmen: Software Component Model Checker"],"prefix":"10.1007","author":[{"given":"Ale\u0161","family":"Pl\u0161ek","sequence":"first","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Ad\u00e1mek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Carmen Project (2008), \n                    \n                      http:\/\/www.lifl.fr\/~plsek\/projects\/carmen\/","key":"5_CR1"},{"unstructured":"CoCoMe Project (2008), \n                    \n                      http:\/\/agrausch.informatik.uni-kl.de\/CoCoME","key":"5_CR2"},{"unstructured":"Fractal Project (2008), \n                    \n                      http:\/\/fractal.ow2.org\/","key":"5_CR3"},{"unstructured":"Java PathFinder Model Checker (2008), \n                    \n                      http:\/\/javapathfinder.sourceforge.net\/","key":"5_CR4"},{"unstructured":"SOFA Project (2008), \n                    \n                      http:\/\/sofa.objectweb.org\/","key":"5_CR5"},{"unstructured":"Adamek, J., Bures, T., Jezek, P., Kofron, J., Mencl, V., Parizek, P., Plasil, F.: Component Reliability Extensions for Fractal Component Model (2008), \n                    \n                      http:\/\/kraken.cs.cas.cz\/ft\/public\/public_index.phtml","key":"5_CR6"},{"key":"5_CR7","volume-title":"Handbook of Process Algebra","author":"J.A. Bergstra","year":"2001","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"unstructured":"Bulej, L., Bures, T., Coupaye, T., Decky, M., Jezek, P., Parizek, P., Plasil, F., Poch, T., Rivierre, N., Sery, O., Tuma, P.: CoCoME in Fractal. In: Proceedings of the CoCoME project (June 2007)","key":"5_CR8"},{"key":"5_CR9","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"doi-asserted-by":"crossref","unstructured":"Corbett, J., Dwyer, M., Hatcliff, J., Pasareanu, C., Laubach, R.S., Zheng, H.: Bandera: Extracting Finite-state Models from Java Source Code. In: Proc. of the 22nd International Conference on Software Engineering (June 2000)","key":"5_CR10","DOI":"10.1145\/337180.337234"},{"doi-asserted-by":"crossref","unstructured":"Engler, D., Dunbar, D.: Under-constrained Execution: Making Automatic Code Destruction Easy and Scalable. In: International Symposium on Software Testing and Analysis (ISSTA) (2007)","key":"5_CR11","DOI":"10.1145\/1273463.1273464"},{"doi-asserted-by":"crossref","unstructured":"Groce, A., Visser, W.: Heuristics for Model Checking Java Programs. Int. Journal on Software Tools for Technology Transfer (STTT)\u00a06(4)","key":"5_CR12","DOI":"10.1007\/s10009-003-0130-9"},{"doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Pasareanu, C.S., Barringer, H.: Component Verification with Automatically Generated Assumptions. Journal of Automated Software Engineering\u00a012(3) (July 2005)","key":"5_CR13","DOI":"10.1007\/s10515-005-2641-y"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Khurshid","year":"2003","unstructured":"Khurshid, S., Pasareanu, C.S., Visser, W.: Generalized Symbolic Execution for Model Checking and Testing. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619. Springer, Heidelberg (2003)"},{"issue":"1","key":"5_CR15","first-page":"22","volume":"6","author":"M. Mach","year":"2005","unstructured":"Mach, M., Plasil, F., Kofron, J.: Behavior Protocol Verification: Fighting State Explosion. Published in the Int. Journal of Computer and Inf. Science\u00a06(1), 22\u201330 (2005)","journal-title":"Published in the Int. Journal of Computer and Inf. Science"},{"doi-asserted-by":"crossref","unstructured":"Parizek, P., Plasil, F.: Specification and Generation of Environment for Model Checking of Software components. In: Proc. of Formal Foundations of Embedded Software and Component-Based Software Architectures, vol.\u00a0176(2) (May 2007)","key":"5_CR16","DOI":"10.1016\/j.entcs.2006.02.036"},{"doi-asserted-by":"crossref","unstructured":"Parizek, P., Plasil, F., Kofron, J.: Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. In: Proceedings of 30th IEEE\/ NASA Software Engineering Workshop (SEW-30) (January 2007)","key":"5_CR17","DOI":"10.1109\/SEW.2006.23"},{"doi-asserted-by":"crossref","unstructured":"Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering\u00a028(11) (November 2002)","key":"5_CR18","DOI":"10.1109\/TSE.2002.1049404"},{"unstructured":"Plsek, A.: Extending Java PathFinder with Behavior Protocols. Master Thesis (2006), \n                    \n                      http:\/\/www.lifl.fr\/~plsek\/projects\/carmen\/download\/documents\/masterThesis.pdf","key":"5_CR19"},{"key":"5_CR20","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Professional, Boston (2002)","edition":"2"},{"doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering Journal\u00a010(2) (2003)","key":"5_CR21","DOI":"10.1023\/A:1022920129859"}],"container-title":["Lecture Notes in Computer Science","Quality of Software Architectures. Models and Architectures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87879-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:33:55Z","timestamp":1558265635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87879-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540878780","9783540878797"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87879-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}