{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:51Z","timestamp":1750220091239,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,18]],"date-time":"2022-05-18T00:00:00Z","timestamp":1652832000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,18]]},"DOI":"10.1145\/3524482.3527657","type":"proceedings-article","created":{"date-parts":[[2022,7,21]],"date-time":"2022-07-21T22:06:57Z","timestamp":1658441217000},"page":"113-123","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Property-driven testing of black-box functions"],"prefix":"10.1145","author":[{"given":"Arnab","family":"Sharma","sequence":"first","affiliation":[{"name":"Paderborn University, Paderborn, Germany"}]},{"given":"Vitalik","family":"Melnikov","sequence":"additional","affiliation":[{"name":"Paderborn University, Paderborn, Germany"}]},{"given":"Eyke","family":"H\u00fcllermeier","sequence":"additional","affiliation":[{"name":"LMU Munich, Munich, Germany"}]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[{"name":"University of Oldenburg, Oldenburg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. Crowbar. https:\/\/github.com\/stedolan\/crowbar.  [n.d.]. Crowbar. https:\/\/github.com\/stedolan\/crowbar."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96562-8_3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354245"},{"key":"e_1_3_2_1_4_1","first-page":"294","article-title":"Generic implementation of finite element methods in the Distributed and Unified Numerics Environment (DUNE)","volume":"46","author":"Bastian Peter","year":"2010","unstructured":"Peter Bastian , Felix Heimann , and Sven Marnach . 2010 . Generic implementation of finite element methods in the Distributed and Unified Numerics Environment (DUNE) . Kybernetika 46 , 2 (2010), 294 -- 315 . http:\/\/www.kybernetika.cz\/content\/2010\/2\/294 Peter Bastian, Felix Heimann, and Sven Marnach. 2010. Generic implementation of finite element methods in the Distributed and Unified Numerics Environment (DUNE). Kybernetika 46, 2 (2010), 294--315. http:\/\/www.kybernetika.cz\/content\/2010\/2\/294","journal-title":"Kybernetika"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/AITest.2019.000-6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9459-1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33012446"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397357"},{"volume-title":"Aggregation Functions","author":"Grabisch Michel","key":"e_1_3_2_1_13_1","unstructured":"Michel Grabisch , Jean-Luc Marichal , Radko Mesiar , and Endre Pap . 2009. Aggregation Functions . Cambridge University Press , Cambridge . Michel Grabisch, Jean-Luc Marichal, Radko Mesiar, and Endre Pap. 2009. Aggregation Functions. Cambridge University Press, Cambridge."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.59"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.292"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.328993"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.05.006"},{"key":"e_1_3_2_1_19_1","first-page":"151","article-title":"System testing in scientific numerical software frameworks using the example of DUNE","volume":"5","author":"Kempf Dominic","year":"2017","unstructured":"Dominic Kempf and Timo Koch . 2017 . System testing in scientific numerical software frameworks using the example of DUNE . Archive of Numerical Software 5 , 1 (2017), 151 -- 168 . Dominic Kempf and Timo Koch. 2017. System testing in scientific numerical software frameworks using the example of DUNE. Archive of Numerical Software 5, 1 (2017), 151--168.","journal-title":"Archive of Numerical Software"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360607"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2018.00017"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96562-8_2"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16573-3_16"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46227-1_47"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of The Eleventh Asian Conference on Machine Learning (Proceedings of Machine Learning Research","volume":"1125","author":"Melnikov Vitalik","year":"2019","unstructured":"Vitalik Melnikov and Eyke H\u00fcllermeier . 2019 . Learning to Aggregate: Tackling the Aggregation\/Disaggregation Problem for OWA . In Proceedings of The Eleventh Asian Conference on Machine Learning (Proceedings of Machine Learning Research , Vol. 101), Wee Sun Lee and Taiji Suzuki (Eds.). PMLR, Nagoya, Japan, 1110-- 1125 . http:\/\/proceedings.mlr.press\/v101\/melnikov19a.html Vitalik Melnikov and Eyke H\u00fcllermeier. 2019. Learning to Aggregate: Tackling the Aggregation\/Disaggregation Problem for OWA. In Proceedings of The Eleventh Asian Conference on Machine Learning (Proceedings of Machine Learning Research, Vol. 101), Wee Sun Lee and Taiji Suzuki (Eds.). PMLR, Nagoya, Japan, 1110--1125. http:\/\/proceedings.mlr.press\/v101\/melnikov19a.html"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 27th International Conference on Machine Learning (ICML-10)","author":"Nair Vinod","year":"2010","unstructured":"Vinod Nair and Geoffrey E. Hinton . 2010. Rectified Linear Units Improve Restricted Boltzmann Machines . In Proceedings of the 27th International Conference on Machine Learning (ICML-10) , June 21 --24 , 2010 , Haifa, Israel, Johannes F\u00fcrnkranz and Thorsten Joachims (Eds.). Omnipress, 807--814. https:\/\/icml.cc\/Conferences\/2010\/papers\/432.pdf Vinod Nair and Geoffrey E. Hinton. 2010. Rectified Linear Units Improve Restricted Boltzmann Machines. In Proceedings of the 27th International Conference on Machine Learning (ICML-10), June 21--24, 2010, Haifa, Israel, Johannes F\u00fcrnkranz and Thorsten Joachims (Eds.). Omnipress, 807--814. https:\/\/icml.cc\/Conferences\/2010\/papers\/432.pdf"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034654.2034663"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAISE.2015.11"},{"key":"e_1_3_2_1_29_1","volume-title":"China (IFIP Conference Proceedings","volume":"240","author":"Peled Doron A.","year":"1999","unstructured":"Doron A. Peled , Moshe Y. Vardi , and Mihalis Yannakakis . 1999 . Black Box Checking. In Formal Methods for Protocol Engineering and Distributed Systems, FORTE, October 5--8, 1999, Beijing , China (IFIP Conference Proceedings , Vol. 156), Jianping Wu, Samuel T. Chanson, and Qiang Gao (Eds.). Kluwer, 225-- 240 . Doron A. Peled, Moshe Y. Vardi, and Mihalis Yannakakis. 1999. Black Box Checking. In Formal Methods for Protocol Engineering and Distributed Systems, FORTE, October 5--8, 1999, Beijing, China (IFIP Conference Proceedings, Vol. 156), Jianping Wu, Samuel T. Chanson, and Qiang Gao (Eds.). Kluwer, 225--240."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/398"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/306"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLA52953.2021.00123"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397352"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2020.3009401"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96562-8_4"},{"key":"e_1_3_2_1_36_1","volume-title":"PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach. CoRR abs\/1812.08329","author":"Weng Tsui-Wei","year":"2018","unstructured":"Tsui-Wei Weng , Pin-Yu Chen , Lam M. Nguyen , Mark S. Squillante , Ivan V. Oseledets , and Luca Daniel . 2018 . PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach. CoRR abs\/1812.08329 (2018). Tsui-Wei Weng, Pin-Yu Chen, Lam M. Nguyen, Mark S. Squillante, Ivan V. Oseledets, and Luca Daniel. 2018. PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach. CoRR abs\/1812.08329 (2018)."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2017.46"},{"key":"e_1_3_2_1_38_1","volume-title":"Garnett (Eds.)","volume":"30","author":"Zaheer Manzil","year":"2017","unstructured":"Manzil Zaheer , Satwik Kottur , Siamak Ravanbakhsh , Barnabas Poczos , Russ R Salakhutdinov , and Alexander J Smola . 2017 . Deep Sets. In Advances in Neural Information Processing Systems, I. Guyon, U. V. Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R . Garnett (Eds.) , Vol. 30 . Curran Associates, Inc. https:\/\/proceedings.neurips.cc\/paper\/ 2017\/file\/f22e4747da1aa27e363d86d40ff442fe-Paper.pdf Manzil Zaheer, Satwik Kottur, Siamak Ravanbakhsh, Barnabas Poczos, Russ R Salakhutdinov, and Alexander J Smola. 2017. Deep Sets. In Advances in Neural Information Processing Systems, I. Guyon, U. V. Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R. Garnett (Eds.), Vol. 30. Curran Associates, Inc. https:\/\/proceedings.neurips.cc\/paper\/2017\/file\/f22e4747da1aa27e363d86d40ff442fe-Paper.pdf"}],"event":{"name":"FormaliSE '22: International Conference on Formal Methods in Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Pittsburgh Pennsylvania","acronym":"FormaliSE '22"},"container-title":["Proceedings of the IEEE\/ACM 10th International Conference on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524482.3527657","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3524482.3527657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:51Z","timestamp":1750183791000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524482.3527657"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,18]]},"references-count":37,"alternative-id":["10.1145\/3524482.3527657","10.1145\/3524482"],"URL":"https:\/\/doi.org\/10.1145\/3524482.3527657","relation":{},"subject":[],"published":{"date-parts":[[2022,5,18]]},"assertion":[{"value":"2022-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}