{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:09:38Z","timestamp":1743095378598,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231691"},{"type":"electronic","value":"9783540302339"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30233-9_26","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T12:06:08Z","timestamp":1287921968000},"page":"351-365","source":"Crossref","is-referenced-by-count":8,"title":["Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing"],"prefix":"10.1007","author":[{"given":"A.","family":"Bucchiarone","sequence":"first","affiliation":[]},{"given":"H.","family":"Muccini","sequence":"additional","affiliation":[]},{"given":"P.","family":"Pelliccione","sequence":"additional","affiliation":[]},{"given":"P.","family":"Pierini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","first-page":"10","volume-title":"Proceedings of the 18th Digital Avionics Systems Conference (DASC 1999)","author":"P. Ammann","year":"1999","unstructured":"Ammann, P., Black, P.: Abstracting formal specifications to generate software tests via model checking. In: Proceedings of the 18th Digital Avionics Systems Conference (DASC 1999), October 1999, vol.\u00a02, p. 10.A.6. IEEE, Los Alamitos (1999)"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P.: Architecture-based software testing. In: Proc. ISAW 1996 (October 1996)","DOI":"10.1145\/243327.243599"},{"key":"26_CR3","unstructured":"Bertolino, A.: Software Testing. In: SWEBOK: Guide to the Software Engineering Body of Knowledge, IEEE"},{"key":"26_CR4","first-page":"1","volume-title":"Proc. of the International Congress of Logic, Methodology and Philosophy of Science","author":"R. Buchi","year":"1960","unstructured":"Buchi, R.: On a decision method in restricted second order arithmetic. In: Proc. of the International Congress of Logic, Methodology and Philosophy of Science, pp. 1\u201311. Standford University Press, Stanford (1960)"},{"key":"26_CR5","unstructured":"Callahan, J., Schneider, F., Easterbrook, S.: Automated software testing using modelchecking. In: Proceedings 1996 SPIN Workshop (August 1996)"},{"key":"26_CR6","unstructured":"Charmy Project. Charmy web site (March 2004), \n                    \n                      http:\/\/www.di.univaq.it\/charmy"},{"key":"26_CR7","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking, 2nd edn. The MIT Press, Cambridge (2000)","edition":"2"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-45236-2_8","volume-title":"FME 2003: Formal Methods","author":"D. Compare","year":"2003","unstructured":"Compare, D., Inverardi, P., Pelliccione, P., Sebastiani, A.: Integrating modelchecking architectural analysis and validation in a real software life-cycle. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 114\u2013132. Springer, Heidelberg (2003)"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., P\u0103s\u0103reanu, C.S., Robby, Zheng, H.: Bandera: extracting finite-state models from java source code. In: International Conference on Software Engineering, pp. 439\u2013448 (2000)","DOI":"10.1145\/337180.337234"},{"issue":"4","key":"26_CR10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R.A. DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: Help for the practicing programmer. IEEE Comp.\u00a011(4), 34\u201341 (1978)","journal-title":"IEEE Comp."},{"key":"26_CR11","unstructured":"Formal Methods for Software Architectures. Tutorial book on Software Architectures and formal methods. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804 (2003)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Gargantini, A., Heitmeyer, C.L.: Using model checking to generate tests from requirements specifications. In: ESEC \/ SIGSOFT FSE, pp. 146\u2013162 (1999)","DOI":"10.1007\/3-540-48166-4_10"},{"key":"26_CR13","volume-title":"Software Architecture. Encyclopedia of Software Engineering","author":"D. Garlan","year":"2001","unstructured":"Garlan, D.: Software Architecture. Encyclopedia of Software Engineering. John Wiley & Sons, Inc., Chichester (2001)"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Heimdahl, M.P., Rayadurgam, S., Visser, W., Devaraj, G., Gao, J.: Autogenerating test sequences using model checkers: A case study. In: FATES 2003 (2003)","DOI":"10.1007\/978-3-540-24617-6_4"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Holzmann, J.G.: The logic of bugs. In: Proc. Foundations of Software Engineering (SIGSOFT 2002\/FSE-10) (2002)","DOI":"10.1145\/587063.587064"},{"key":"26_CR16","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual, September 2003. Addison-Wesley, Reading (2003)"},{"key":"26_CR17","unstructured":"Inverardi, P., Muccini, H., Pelliccione, P.: Charmy: A framework for model based consistency checking. TR., Dept. of Comp. Science, Univ. of L\u2019Aquila (May 2004)"},{"key":"26_CR18","unstructured":"Peterson, I.: Fatal Defect: Chasing Killer Computer Bugs. Random House Publisher (1995)"},{"key":"26_CR19","unstructured":"Muccini, H.: Software Architecture for Testing, Coordination Models and Views Model Checking. PhD thesis, University of L\u2019Aquila, year (2002), On-line at: \n                    \n                      http:\/\/www.HenryMuccini.com\/publications.htm"},{"issue":"3","key":"26_CR20","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/TSE.2004.1271170","volume":"30","author":"H. Muccini","year":"2004","unstructured":"Muccini, H., Bertolino, A., Inverardi, P.: Using Software Architecture for Code Testing. IEEE Transactions on Software Engineering\u00a030(3), 160\u2013171 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. 18th IEEE Symposium on Foundation of Computer Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"26_CR22","unstructured":"Rayadurgam, S., Heimdahl, M.P.E.: Coverage based test-case generation using model checkers. In: 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS) (April 2001)"},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"Richardson, D.J., Wolf, A.L.: Software testing at the architectural level. In: ISAW-2 in Joint Proc. of the ACM SIGSOFT 1996 Workshops, pp. 68\u201371 (1996)","DOI":"10.1145\/243327.243605"},{"key":"26_CR24","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Applying Formal Methods: Testing, Performance, and M\/E-Commerce"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30233-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:07:50Z","timestamp":1558292870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30233-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231691","9783540302339"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30233-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}