{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:01:03Z","timestamp":1725552063060},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540265511"},{"type":"electronic","value":"9783540318934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11504894_45","type":"book-chapter","created":{"date-parts":[[2010,4,9]],"date-time":"2010-04-09T08:17:40Z","timestamp":1270801060000},"page":"321-331","source":"Crossref","is-referenced-by-count":2,"title":["A Holistic Approach to Test-Driven Model Checking"],"prefix":"10.1007","author":[{"given":"Fevzi","family":"Belli","sequence":"first","affiliation":[]},{"given":"Baris","family":"G\u00fcldali","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"Ammann, P., Black, P.E., Majurski, W.: Using Model Checking to Generate Tests from Specifications. In: ICFEM 1998, pp. 46\u201354 (1998)","DOI":"10.6028\/NIST.IR.6166"},{"key":"45_CR2","unstructured":"Ammann, P., Black, P.E., Ding, W.: Model Checkers in Software Testing. In: NIST-IR 6777, National Institute of Standards and Technology (2002)"},{"key":"45_CR3","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold, New York (1990)"},{"key":"45_CR4","first-page":"34","volume-title":"Proc. 12th ISSRE","author":"F. Belli","year":"2001","unstructured":"Belli, F.: Finite-State Testing and Analysis of Graphical User Interfaces. In: Proc. 12th ISSRE, pp. 34\u201343. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"45_CR5","volume-title":"Testing Object-Oriented Systems","author":"R.V. Binder","year":"2000","unstructured":"Binder, R.V.: Testing Object-Oriented Systems. Addison-Wesley, Reading (2000)"},{"key":"45_CR6","first-page":"91","volume-title":"Proc. COMPSAC 2002","author":"J.P. Bowen","year":"2002","unstructured":"Bowen, J.P., et al.: FORTEST: Formal Methods and Testing. In: Proc. COMPSAC 2002, pp. 91\u2013101. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"45_CR7","unstructured":"B\u00fcchi, J.R.: On a decision method in restricted second order arithmetic. In: Proc. Int. Cong. on Logic, Methodology, and Philosophy of Science, pp. 1\u201311. Stanford University Press (1962)"},{"key":"45_CR8","unstructured":"Callahan, J., Schneider, F., Easterbrook, S.: Automated Software Testing Using Model-Checking. In: Proc. of the 1996 SPIN Workshop, Rutgers University, New Brunswick, NJ, pp. 118\u2013127 (1996)"},{"issue":"3","key":"45_CR9","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing Software Designed Modeled by Finite-State Machines. IEEE Trans. Softw. Eng., 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"45_CR10","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"45_CR11","doi-asserted-by":"crossref","unstructured":"Engels, A., Feijs, L.M.G., Mauw, S.: Test Generation for Intelligent Networks Using Model Checking. In: Proc. TACAS, pp. 384\u2013398 (1997)","DOI":"10.1007\/BFb0035401"},{"key":"45_CR12","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-48166-4_10","volume-title":"Software Engineering \u2014 ESEC\/FSE \u201999","author":"Angelo Gargantini","year":"1999","unstructured":"Gargantini, A., Heitmeyer, C.: Using Model Checking to Generate Tests from Requirements Specification. In: Proc. ESEC\/FSE 1999, ACM SIGSOFT, pp. 146\u2013162 (1999)"},{"issue":"4","key":"45_CR13","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1002\/stvr.239","volume":"11","author":"S. Ghosh","year":"2001","unstructured":"Ghosh, S., Mathur, A.P.: Interface Mutation. Softw. Testing, Verif., and Reliability, 227\u2013247 (2001)","journal-title":"Software Testing, Verification and Reliability"},{"issue":"5","key":"45_CR14","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The Model Checker SPIN. IEEE Trans. Software Eng., 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"45_CR15","doi-asserted-by":"crossref","unstructured":"Offutt, J., Liu, S., Abdurazik, A., Ammann, P.: Generating Test Data From State-Based Specifications. Softw. Testing, Verif., and Reliability, 25\u201353 (2003)","DOI":"10.1002\/stvr.264"},{"key":"45_CR16","doi-asserted-by":"crossref","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black Box Checking. Journal of Automata, Languages and Combinatorics, 225\u2013246 (2002)","DOI":"10.1007\/978-0-387-35578-8_13"},{"key":"45_CR17","first-page":"332","volume-title":"Proc. 1st IEEE Symp. Logic in Computer Science (LICS 1986)","author":"M.Y. Vardi","year":"1986","unstructured":"Vardi, M.Y., Wolper, P.: An automata-theoric approach to automatic program verification. In: Proc. 1st IEEE Symp. Logic in Computer Science (LICS 1986), pp. 332\u2013344. IEEE Comp. Soc. Press, Los Alamitos (1986)"}],"container-title":["Lecture Notes in Computer Science","Innovations in Applied Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11504894_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T15:08:29Z","timestamp":1685545709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11504894_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540265511","9783540318934"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11504894_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}