{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:19Z","timestamp":1750220959490,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T00:00:00Z","timestamp":1585526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Ministerio de Econom\u00eda, Industria y Competitividad, Gobierno de Espa\u00f1a","award":["RTI2018-093608-B-C31"],"award-info":[{"award-number":["RTI2018-093608-B-C31"]}]},{"name":"Direcci\u00f3n General de Universidades e Investigaci\u00f3n","award":["S2018\/TCS-4314"],"award-info":[{"award-number":["S2018\/TCS-4314"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,30]]},"DOI":"10.1145\/3341105.3373920","type":"proceedings-article","created":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:13:52Z","timestamp":1585484032000},"page":"1936-1943","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Estimating fault masking using squeeziness based on R\u00e9nyi's entropy"],"prefix":"10.1145","author":[{"given":"Alfredo","family":"Ibias","sequence":"first","affiliation":[{"name":"Universidad Complutense de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[{"name":"Universidad Complutense de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2016.2620435"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"P. Ammann and J. Offutt. 2017. Introduction to Software Testing (2nd ed.). Cambridge University Press.  P. Ammann and J. Offutt. 2017. Introduction to Software Testing (2nd ed.). Cambridge University Press.","DOI":"10.1017\/9781316771273"},{"volume-title":"36th Int. Conf. on Software Engineering, ICSE'14","author":"Androutsopoulos K.","key":"e_1_3_2_1_3_1","unstructured":"K. Androutsopoulos , D. Clark , H. Dan , R.M. Hierons , and M. Harman . 2014. An analysis of the relationship between conditional entropy and failed error propagation in software testing . In 36th Int. Conf. on Software Engineering, ICSE'14 . ACM Press, 573--583. K. Androutsopoulos, D. Clark, H. Dan, R.M. Hierons, and M. Harman. 2014. An analysis of the relationship between conditional entropy and failed error propagation in software testing. In 36th Int. Conf. on Software Engineering, ICSE'14. ACM Press, 573--583."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-019-02980-w"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2907180"},{"volume-title":"17th Int. Conf. on Information Security, ISC'14","author":"Boreale M.","key":"e_1_3_2_1_6_1","unstructured":"M. Boreale and M. Paolini . 2014. On Formally Bounding Information Leakage by Statistical Estimation . In 17th Int. Conf. on Information Security, ISC'14 , LNCS 8783. Springer, 216--236. M. Boreale and M. Paolini. 2014. On Formally Bounding Information Leakage by Statistical Estimation. In 17th Int. Conf. on Information Security, ISC'14, LNCS 8783. Springer, 216--236."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2017.11.005"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.05.010"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12243-015-0457-8"},{"volume-title":"19th European Symposium on Research in Computer Security, ESORICS'14","author":"Chothia T.","key":"e_1_3_2_1_10_1","unstructured":"T. Chothia , Y. Kawamoto , and C. Novakovic . 2014. LeakWatch: Estimating Information Leakage from Java Programs . In 19th European Symposium on Research in Computer Security, ESORICS'14 , LNCS 8713. Springer, 219--236. T. Chothia, Y. Kawamoto, and C. Novakovic. 2014. LeakWatch: Estimating Information Leakage from Java Programs. In 19th European Symposium on Research in Computer Security, ESORICS'14, LNCS 8713. Springer, 219--236."},{"key":"e_1_3_2_1_11_1","first-page":"8","article-title":"Squeeziness: An information theoretic measure for avoiding fault masking","volume":"112","author":"Hierons D. Clarkand R. M.","year":"2012","unstructured":"D. Clarkand R. M. Hierons . 2012 . Squeeziness: An information theoretic measure for avoiding fault masking . Inform. Process. Lett. 112 , 8 -- 9 (2012), 335--340. D. Clarkand R. M. Hierons. 2012. Squeeziness: An information theoretic measure for avoiding fault masking. Inform. Process. Lett. 112, 8--9 (2012), 335--340.","journal-title":"Inform. Process. Lett."},{"key":"e_1_3_2_1_12_1","unstructured":"T. M. Cover and J. A. Thomas. 1991. Elements of Information Theory. Wiley Interscience.  T. M. Cover and J. A. Thomas. 1991. Elements of Information Theory . Wiley Interscience."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-018-9425-7"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.01.008"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2629"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"R. M. Hierons K. Bogdanov J.P. Bowen R. Cleaveland J. Derrick J. Dick M. Ghe-orghe M. Harman K. Kapoor P. Krause G. Luettgen A.J.H Simons S. Vilkomir M.R. Woodward and H. Zedan. 2009. Using formal specifications to support testing. Comput. Surveys 41 2 (2009) 9:1--9:76.  R. M. Hierons K. Bogdanov J.P. Bowen R. Cleaveland J. Derrick J. Dick M. Ghe-orghe M. Harman K. Kapoor P. Krause G. Luettgen A.J.H Simons S. Vilkomir M.R. Woodward and H. Zedan. 2009. Using formal specifications to support testing. Comput. Surveys 41 2 (2009) 9:1--9:76.","DOI":"10.1145\/1459352.1459354"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2016.02.004"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2800093"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.03.011"},{"volume-title":"IWANN'19","author":"Ibias A.","key":"e_1_3_2_1_20_1","unstructured":"A. Ibias , D. Gri\u00f1\u00e1n , and M. N\u00fa\u00f1ez . 2019. GPTSG: a Genetic Programming Test Suite Generator using Information Theory measures. In 15th Int. Work-Conf. on Artificial Neural Networks , IWANN'19 , LNCS 11506. Springer, 716--728. A. Ibias, D. Gri\u00f1\u00e1n, and M. N\u00fa\u00f1ez. 2019. GPTSG: a Genetic Programming Test Suite Generator using Information Theory measures. In 15th Int. Work-Conf. on Artificial Neural Networks, IWANN'19, LNCS 11506. Springer, 716--728."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2019.04.012"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"e_1_3_2_1_23_1","first-page":"89","article-title":"A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. Advances in Computers, Vol. 98. Elsevier","volume":"3","author":"Marinescu R.","year":"2015","unstructured":"R. Marinescu , C. Seceleanu , H. Le Guen , and P. Pettersson . 2015 . A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. Advances in Computers, Vol. 98. Elsevier , Chapter 3 , 89 -- 140 . R. Marinescu, C. Seceleanu, H. Le Guen, and P. Pettersson. 2015. A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. Advances in Computers, Vol. 98. Elsevier, Chapter 3, 89--140.","journal-title":"Chapter"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-017-0308-0"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.07.013"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"G. J. Myers C. Sandler and T. Badgett. 2011. The Art of Software Testing (3rd ed.). John Wiley & Sons.  G. J. Myers C. Sandler and T. Badgett. 2011. The Art of Software Testing (3rd ed.). John Wiley & Sons.","DOI":"10.1002\/9781119202486"},{"key":"e_1_3_2_1_27_1","volume-title":"Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday","author":"Neider D.","year":"2019","unstructured":"D. Neider , R. Smetsers , F. W. Vaandrager , and H. Kuppens . 2019 . Benchmarks for Automata Learning and Conformance Testing. In Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday , T. Margaria, S. Graf, and K. G. Larsen (Eds.). Springer , 390--416. D. Neider, R. Smetsers, F. W. Vaandrager, and H. Kuppens. 2019. Benchmarks for Automata Learning and Conformance Testing. In Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, T. Margaria, S. Graf, and K. G. Larsen (Eds.). Springer, 390--416."},{"key":"e_1_3_2_1_28_1","volume-title":"On Measures of Entropy and Information. In 4th Berkeley Symposium on Mathematical Statistics and Probability","volume":"561","author":"R\u00e9nyi A.","year":"1961","unstructured":"A. R\u00e9nyi . 1961 . On Measures of Entropy and Information. In 4th Berkeley Symposium on Mathematical Statistics and Probability , Volume 1: Contributions to the Theory of Statistics. University of California Press, 547-- 561 . A. R\u00e9nyi. 1961. On Measures of Entropy and Information. In 4th Berkeley Symposium on Mathematical Statistics and Probability, Volume 1: Contributions to the Theory of Statistics. University of California Press, 547--561."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-013-0291-0"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1948.tb01338.x"}],"event":{"name":"SAC '20: The 35th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Brno Czech Republic","acronym":"SAC '20"},"container-title":["Proceedings of the 35th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3373920","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341105.3373920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:12Z","timestamp":1750204452000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3373920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,30]]},"references-count":30,"alternative-id":["10.1145\/3341105.3373920","10.1145\/3341105"],"URL":"https:\/\/doi.org\/10.1145\/3341105.3373920","relation":{},"subject":[],"published":{"date-parts":[[2020,3,30]]},"assertion":[{"value":"2020-03-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}