{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:31Z","timestamp":1725487111022},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732297"},{"type":"electronic","value":"9783540732303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73230-3_5","type":"book-chapter","created":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T17:04:42Z","timestamp":1183136682000},"page":"55-68","source":"Crossref","is-referenced-by-count":3,"title":["On Detecting Double Literal Faults in Boolean Expressions"],"prefix":"10.1007","author":[{"given":"Man F.","family":"Lau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsong Y.","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuen T.","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1109\/32.57623","volume":"16","author":"L.J. Morell","year":"1990","unstructured":"Morell, L.J.: A theory of fault-based testing. IEEE Transactions on Software Engineering\u00a016, 844\u2013857 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Atlee, J., Buckley, M.: A logic-model semantics for SCR software requirements. In: ISSTA\u201996. Proceedings of 1996 International Symposium on Software Testing and Analysis, pp. 280\u2013292 (1996)","DOI":"10.1145\/229000.226326"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/32.210305","volume":"19","author":"J. Atlee","year":"1993","unstructured":"Atlee, J., Gannon, J.: State-based model checking of event-driven system requirements. IEEE Transactions on Software Engineering\u00a019, 24\u201340 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","first-page":"19","volume-title":"FME 1993","author":"J. Dick","year":"1993","unstructured":"Dick, J., Faivre, A.: Automating the generation and sequencing of test cases from model-based specifications. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 19\u201323. Springer, Heidelberg (1993)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N","volume":"7","author":"R.M. Hierons","year":"1997","unstructured":"Hierons, R.M.: Testing from a Z specification. Software Testing, Verification, and Reliability\u00a07, 19\u201333 (1997)","journal-title":"Software Testing, Verification, and Reliability"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1002\/stvr.264","volume":"13","author":"J.A. Offutt","year":"2003","unstructured":"Offutt, J.A., Liu, S., Abdurazik, A., Ammann, P.: Generating test data from state-based specifications. Software Testing, Verification and Reliability\u00a013, 25\u201353 (2003)","journal-title":"Software Testing, Verification and Reliability"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1018979130614","volume":"4","author":"A.M. Paradkar","year":"1997","unstructured":"Paradkar, A.M., Chung, T.K., Vouk, M.A.: Specification-based testing using cause-effect graphs. Annals of Software Engineering\u00a04, 133\u2013157 (1997)","journal-title":"Annals of Software Engineering"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/32.553698","volume":"22","author":"P. Stocks","year":"1996","unstructured":"Stocks, P., Carrington, D.: A framework for specification-based testing. IEEE Transactions on Software Engineering\u00a022, 777\u2013793 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/32.286420","volume":"20","author":"E. Weyuker","year":"1994","unstructured":"Weyuker, E., Goradia, T., Singh, A.: Automatically generating test data from a Boolean specification. IEEE Transactions on Software Engineering\u00a020, 353\u2013363 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1002\/stvr.221","volume":"11","author":"T.Y. Chen","year":"2001","unstructured":"Chen, T.Y., Lau, M.F.: Test case selection strategies based on boolean specifications. Software Testing, Verification and Reliability\u00a011, 165\u2013180 (2001)","journal-title":"Software Testing, Verification and Reliability"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/322993.322996","volume":"8","author":"D.R. Kuhn","year":"1999","unstructured":"Kuhn, D.R.: Fault classes and error detection capability of specification-based testing. ACM Transactions on Software Engineering and Methodology\u00a08, 411\u2013424 (1999)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1109\/32.536956","volume":"22","author":"K.C. Tai","year":"1996","unstructured":"Tai, K.C.: Theory of fault-based predicate testing for computer programs. IEEE Transactions on Software Engineering\u00a022, 552\u2013563 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/1072997.1072998","volume":"14","author":"M.F. Lau","year":"2005","unstructured":"Lau, M.F., Yu, Y.T.: An extended fault class hierarchy for specification-based testing. ACM Transactions on Software Engineering and Methodology\u00a014, 247\u2013276 (2005)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/504087.504089","volume":"11","author":"T. Tsuchiya","year":"2002","unstructured":"Tsuchiya, T., Kikuno, T.: On fault classes and error detection capability of specification-based testing. ACM Transactions on Software Engineering and Methodology\u00a011, 58\u201362 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Lau, M.F., Liu, Y., Yu, Y.T.: On the detection conditions of double faults related to terms in boolean expressions. In: Proceedings of the Thirtieth Annual International Computer Software and Applications Conference, pp. 403\u2013410 (2006)","DOI":"10.1109\/COMPSAC.2006.63"},{"key":"5_CR16","unstructured":"Marick, B.: Two experiments in software testing. Technical Report Technical Report UIUCDCS-R-90-1644, University of Illinois at Urbana-Champaign (1990)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Wallace, D., Kuhn, D.: Failure modes in medical device software: i an analysis of 15 years of recall data. International Journal of Reliability, Quality, and Safety Engineering, vol. 8 (2001)","DOI":"10.1142\/S021853930100058X"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/stvr.4370050103","volume":"5","author":"K.S. How Tai Wah","year":"1995","unstructured":"How Tai Wah, K.S.: Fault coupling in finite bijective functions. Software Testing, Verification and Reliability\u00a05, 3\u201347 (1995)","journal-title":"Software Testing, Verification and Reliability"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/(SICI)1099-1689(200003)10:1<3::AID-STVR196>3.0.CO;2-P","volume":"10","author":"K.S. How Tai Wah","year":"2000","unstructured":"How Tai Wah, K.S.: A theoretical study of fault coupling. Software Testing, Verification and Reliability\u00a010, 3\u201345 (2000)","journal-title":"Software Testing, Verification and Reliability"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Offutt, A.J.: The coupling effect: fact or fiction. In: Proceedings of the Third Workshop on Software Testing, Verification, and Analysis, pp. 131\u2013140 (1989)","DOI":"10.1145\/75308.75324"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/125489.125473","volume":"1","author":"A.J. Offutt","year":"1992","unstructured":"Offutt, A.J.: Investigations of the software testing coupling effect. ACM Transactions on Software Engineering and Methodology\u00a01, 5\u201320 (1992)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5_CR22","unstructured":"Lau, M.F., Yu, Y.T.: On the relationship between single and double faults in logical expression. In: ISSRE 2004. Supplementary Proceedings of the 15th International Symposium on Software Reliability Engineering, pp. 41\u201342 (2004)"},{"key":"5_CR23","unstructured":"Lau, M.F., Liu, Y.: The investigation of double faults related to literals. Technical Report SUTICT-TR2006.03, Swinburne University of Technology (2006)"},{"key":"5_CR24","unstructured":"Lau, M.F., Liu, Y.: On detecting double faults related to literals. Technical Report SUTICT-TR2006.04, Swinburne University of Technology (2006)"},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1016\/j.jss.2005.08.016","volume":"79","author":"Y.T. Yu","year":"2006","unstructured":"Yu, Y.T., Lau, M.F., Chen, T.Y.: Automatic generation of test cases from Boolean specifications using the MUMCUT strategy. Journal of Systems and Software\u00a079, 820\u2013840 (2006)","journal-title":"Journal of Systems and Software"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada Europe 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73230-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:12:42Z","timestamp":1605762762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73230-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540732297","9783540732303"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73230-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}