{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:50:34Z","timestamp":1740124234367,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T00:00:00Z","timestamp":1553126400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001807","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","doi-asserted-by":"publisher","award":["2013\/07375-0"],"award-info":[{"award-number":["2013\/07375-0"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012100","name":"Royal Statistical Society","doi-asserted-by":"publisher","award":["NI150186"],"award-info":[{"award-number":["NI150186"]}],"id":[{"id":"10.13039\/100012100","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s11219-018-9431-9","type":"journal-article","created":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T08:17:37Z","timestamp":1553156257000},"page":"529-562","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Fault-based refinement-testing for CSP"],"prefix":"10.1007","volume":"27","author":[{"given":"Ana","family":"Cavalcanti","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1454-2607","authenticated-orcid":false,"given":"Adenilso","family":"Simao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,3,21]]},"reference":[{"key":"9431_CR1","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.infsof.2016.04.003","volume":"81","author":"A Alberto","year":"2017","unstructured":"Alberto, A., Cavalcanti, A.L.C., Gaudel, M.-C., Simao, A. (2017). Formal mutation testing for Circus. Information and Software Technology,  81,  131\u2013153.","journal-title":"Information and Software Technology"},{"key":"9431_CR2","doi-asserted-by":"crossref","unstructured":"Andrews, Z., Payne, R., Romanovsky, A., Didier, A., Mota, A. (2013). Model-based development of fault tolerant systems of systems. In 2013 IEEE International Systems Conference (SysCon) (pp. 356\u2013363).","DOI":"10.1109\/SysCon.2013.6549906"},{"key":"9431_CR3","unstructured":"Cavalcanti, A.L.C., & Gaudel, M.-C. (2007). Testing for refinement in CSP. In 9th International Conference on Formal Engineering Methods, volume 4789 of Lecture Notes in Computer Science (pp. 151\u2013170): Springer-Verlag."},{"issue":"2","key":"9431_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s00236-011-0133-z","volume":"48","author":"ALC Cavalcanti","year":"2011","unstructured":"Cavalcanti, A.L.C., & Gaudel, M.-C. (2011). Testing for refinement in Circus. Acta Informatica,  48(2), 97\u2013147.","journal-title":"Acta Informatica"},{"key":"9431_CR5","doi-asserted-by":"crossref","unstructured":"Cavalcanti, A.L.C., & Gaudel, M.-C. (2014). Data flow coverage for Circus-based testing. In Fundamental Approaches to Software Engineering, volume 8441 of Lecture Notes in Computer Science (pp. 415\u2013429).","DOI":"10.1007\/978-3-642-54804-8_29"},{"issue":"0","key":"9431_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2014.08.012","volume":"563","author":"ALC Cavalcanti","year":"2015","unstructured":"Cavalcanti, A.L.C., & Gaudel, M.-C. (2015). Test selection for traces refinement. Theoretical Computer Science,  563(0), 1\u201342.","journal-title":"Theoretical Computer Science"},{"key":"9431_CR7","doi-asserted-by":"crossref","unstructured":"Cavalcanti, A.L.C., & Hierons, R. M. (2013). Testing with inputs and outputs in CSP. In Fundamental Approaches to Software Engineering, volume 7793 of Lecture Notes in Computer Science (pp. 359\u2013374).","DOI":"10.1007\/978-3-642-37057-1_26"},{"key":"9431_CR8","unstructured":"Cavalcanti, A.L.C., & Sim\u00e3o, A. (2017). Fault-based testing for refinement in CSP. In Yevtushenko, N., Cavalli, A. R., Yenig\u00fcn, H. (Eds.) 29th IFIP WG 6.1 International Conference on Testing Software and Systems, volume 10533 of Lecture Notes in Computer Science (pp. 21\u201337): Springer."},{"issue":"3","key":"9431_CR9","first-page":"267\u2014289","volume":"10","author":"ALC Cavalcanti","year":"1999","unstructured":"Cavalcanti, A.L.C., & Woodcock, J.C.P. (1999). ZRC\u2014a refinement calculus for Z. Formal Aspects of Computing,  10(3), 267\u2014289.","journal-title":"Formal Aspects of Computing"},{"issue":"2 - 3","key":"9431_CR10","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/s00165-003-0006-5","volume":"15","author":"ALC Cavalcanti","year":"2003","unstructured":"Cavalcanti, A.L.C., Sampaio, A.C.A., Woodcock, J.C.P. (2003). A refinement strategy for Circus. Formal Aspects of Computing,  15(2 - 3), 146\u2013181.","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"9431_CR11","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow, T.S. (1978). Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering,  4(3), 178\u2013187.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9431_CR12","volume-title":"A discipline of programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W. (1976). A discipline of programming. Upper Saddle River: Prentice-Hall."},{"issue":"4","key":"9431_CR13","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1134\/S0361768812040019","volume":"38","author":"KA El-Fakih","year":"2012","unstructured":"El-Fakih, K.A., Dorofeeva, R., Yevtushenko, N.V., Bochmann, G.V. (2012). FSM-based testing from user defined faults adapted to incremental and mutation testing. Programming and Computer Software,  38(4), 201\u2013209.","journal-title":"Programming and Computer Software"},{"key":"9431_CR14","unstructured":"Fujiwara, S., & von Bochmann, G. (1991). Testing non-deterministic state machines with fault coverage. In: IFIP TC6\/WG6.1 4th Int. Wshop on Protocol Test Systems IV, pages 267\u2013280. North-Holland."},{"key":"9431_CR15","doi-asserted-by":"crossref","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W. (2014). FDR3 \u2014 a modern refinement checker for CSP. In Tools and Algorithms for the Construction and Analysis of Systems (pp. 187\u2013201).","DOI":"10.1007\/978-3-642-54862-8_13"},{"issue":"4","key":"9431_CR16","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/606612.606615","volume":"11","author":"RM Hierons","year":"2002","unstructured":"Hierons, R.M. (2002). Comparing test sets and criteria in the presence of test hypotheses and fault domains. ACM Transactions on Software Engineering and Methodology,  11(4), 427\u2013448.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"5","key":"9431_CR17","doi-asserted-by":"publisher","first-page":"618","DOI":"10.1109\/TC.2006.80","volume":"55","author":"RM Hierons","year":"2006","unstructured":"Hierons, R.M., & Ural, H. (2006). Optimizing the length of checking sequences. IEEE Trans. on Computers,  55(5), 618\u2013629.","journal-title":"IEEE Trans. on Computers"},{"key":"9431_CR18","doi-asserted-by":"crossref","unstructured":"Huang, W.-L., & Peleska, J. (2013). Exhaustive model-based equivalence class testing. In: Testing software and systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013 Proceedings, pp. 49\u201364.","DOI":"10.1007\/978-3-642-41707-8_4"},{"key":"9431_CR19","doi-asserted-by":"crossref","unstructured":"Koufareva, I., Petrenko, A., Yevtushenko, N. (1999). Test generation driven by user-defined fault models. In: Testing of communicating systems method and applications, IFIP TC6 12th International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary, pp 215\u2013236.","DOI":"10.1007\/978-0-387-35567-2_14"},{"issue":"2","key":"9431_CR20","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/32.265636","volume":"20","author":"G Luo","year":"1994","unstructured":"Luo, G., Bochmann, G.V., Petrenko, A. (1994). Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method. IEEE Transactions on Software Engineering,  20(2), 149\u2013162.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9431_CR21","unstructured":"Milner, A.J.R.G. (1980). A calculus of communicating systems, volume 92. Springer Verlag."},{"key":"9431_CR22","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.scico.2016.05.004","volume":"126","author":"A Moraes","year":"2016","unstructured":"Moraes, A., de L. Andrade, W., Machado, P.D.L. (2016). A family of test selection criteria for timed input-output symbolic transition system models. Sci Comput. Program.,  126,  52\u201372.","journal-title":"Sci Comput. Program."},{"issue":"8","key":"9431_CR23","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1109\/32.57623","volume":"16","author":"LJ Morell","year":"1990","unstructured":"Morell, L.J. (Aug 1990). A theory of fault-based testing. IEEE Transactions on Software Engineering,  16(8), 844\u2013857.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9431_CR24","unstructured":"Morgan, C.C. (1994). Programming from specifications. Prentice-hall 2nd edition."},{"key":"9431_CR25","unstructured":"Mota, A., Farias, A., Didier, A., Woodcock, J. (2014). Rapid prototyping of a semantically well founded Circus model checker. In: Software engineering and formal methods, volume 8702 of LNCS, pages 235\u2013249. Springer."},{"issue":"3","key":"9431_CR26","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/s00165-012-0258-z","volume":"26","author":"S Nogueira","year":"2014","unstructured":"Nogueira, S., Sampaio, A.C.A., Mota, A.C. (2014). Test generation from state based use case models. Formal Aspects of Computing,  26(3), 441\u2013490.","journal-title":"Formal Aspects of Computing"},{"key":"9431_CR27","unstructured":"Peleska, J., & Siegel, M. (1996). Test automation of safety-critical reactive systems. In: Formal methods Europe, industrial benefits and advances in formal methods, volume 1051 of lecture notes in computer science."},{"key":"9431_CR28","doi-asserted-by":"crossref","unstructured":"Petrenko, A., & Yevtushenko, N. (2005). Testing from partial deterministic FSM specifications. IEEE Trans. on Computers, 54(9).","DOI":"10.1109\/TC.2005.152"},{"issue":"1","key":"9431_CR29","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/S0169-7552(96)00019-0","volume":"29","author":"A Petrenko","year":"1996","unstructured":"Petrenko, A., Bochmann, G.V., Yao, M.Y. (1996). On fault coverage of tests for finite state specifications. Computer Networks and ISDN Systems,\n                           29(1), 81\u2013106.","journal-title":"Computer Networks and ISDN Systems,"},{"issue":"4","key":"9431_CR30","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1002\/cpe.4330030406","volume":"3","author":"PJ Probert","year":"1991","unstructured":"Probert, P.J., Djian, D., Hu, H. (1991). Transputer architectures for sensing in a robot controller formal methods for design. Concurrency: Practice and Experience,  3(4), 283\u2013292.","journal-title":"Concurrency: Practice and Experience"},{"key":"9431_CR31","unstructured":"Qin, S., Dong, J.S., Chin, W.N. (2003). A semantic foundation for TCOZ in unifying theories of programming. In Araki, K., Gnesi, S., Mandrioli, D. (Eds.) FME2003: Formal Methods, volume 2805 of lecture notes in computer science (pp. 321\u2013340)."},{"key":"9431_CR32","unstructured":"Roscoe, A.W. (2011). Understanding concurrent systems. Texts in computer science. Springer."},{"key":"9431_CR33","unstructured":"Schneider, S. (2000). Concurrent and real-time systems: the CSP approach. Wiley."},{"key":"9431_CR34","unstructured":"Schneider, S., & Treharne, H. (2002). Communicating B machines. In Bert, D., Bowen, J., Henson, M., Robinson, K. (Eds.) ZB\u20192002: Formal specification and development in Z and B, volume 2272 of lecture notes in computer science (pp. 416\u2013435)."},{"key":"9431_CR35","unstructured":"Tretmans, J. (1996). Test generation with inputs, outputs, and quiescence. In TACAS\u201996, volume 1055 of LNCS, pages 127\u2013146: Springer."},{"issue":"2-3","key":"9431_CR36","first-page":"375","volume":"3","author":"M Weiglhofer","year":"2009","unstructured":"Weiglhofer, M., Aichernig, B.K., Wotawa, F. (2009). Fault-based conformance testing in practice. Int. J Software and Informatics,  3(2-3), 375\u2013411.","journal-title":"Int. J Software and Informatics"},{"key":"9431_CR37","unstructured":"Woodcock, J.C.P., & Davies, J. (1996). Using Z\u2014specification, refinement, and proof. Prentice-Hall."},{"issue":"2","key":"9431_CR38","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.infsof.2011.09.005","volume":"54","author":"YT Yu","year":"2012","unstructured":"Yu, Y.T., & Lau, M.F. (2012). Fault-based test suite prioritization for specification-based testing. Information and Software Technology,  54(2), 179\u2013202.","journal-title":"Information and Software Technology"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-018-9431-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-018-9431-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-018-9431-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,20]],"date-time":"2020-03-20T00:15:00Z","timestamp":1584663300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-018-9431-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,21]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9431"],"URL":"https:\/\/doi.org\/10.1007\/s11219-018-9431-9","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2019,3,21]]},"assertion":[{"value":"21 March 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}