{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:38:20Z","timestamp":1757619500435,"version":"3.44.0"},"publisher-location":"Singapore","reference-count":27,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819674220"},{"type":"electronic","value":"9789819674237"}],"license":[{"start":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T00:00:00Z","timestamp":1753401600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T00:00:00Z","timestamp":1753401600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-981-96-7423-7_2","type":"book-chapter","created":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T21:13:14Z","timestamp":1753391594000},"page":"15-25","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Generating Property-Based Tests for Quantum Algorithms"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6960-3040","authenticated-orcid":false,"given":"Antonio","family":"Garc\u00eda de la Barrera","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0962-5659","authenticated-orcid":false,"given":"Manuel \u00c1ngel","family":"Serrano","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0038-0942","authenticated-orcid":false,"given":"Ignacio","family":"Garc\u00eda-Rodr\u00edguez de Guzm\u00e1n","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6519-6196","authenticated-orcid":false,"given":"Macario","family":"Polo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7212-8279","authenticated-orcid":false,"given":"Mario","family":"Piattini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,7,25]]},"reference":[{"key":"2_CR1","unstructured":"Guerreschi, G.G., Smelyanskiy, M.: Practical optimization for hybrid quantum-classical algorithms. arXiv preprint arXiv:1701.01450 (2017)"},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.92.015003","volume":"92","author":"S McArdle","year":"2020","unstructured":"McArdle, S., Endo, S., Aspuru-Guzik, A., Benjamin, S.C., Yuan, X.: Quantum computational chemistry. Rev. Mod. Phys. 92(1), 015003 (2020)","journal-title":"Rev. Mod. Phys."},{"key":"2_CR3","unstructured":"Piattini, M., et al.: The Talavera manifesto for quantum software engineering and programming. In: QANSWER, pp. 1\u20135 (2020)"},{"issue":"3","key":"2_CR4","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/3402127.3402131","volume":"45","author":"M Piattini","year":"2020","unstructured":"Piattini, M., Peterssen, G., P\u00e9rez-Castillo, R.: Quantum computing: a new software engineering golden age. ACM SIGSOFT Softw. Eng. Notes 45(3), 12\u201314 (2020)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MITP.2020.3019522","volume":"23","author":"M Piattini","year":"2021","unstructured":"Piattini, M., Serrano, M., Perez-Castillo, R., Petersen, G., Hevia, J.L.: Toward a quantum software engineering. IT Prof. 23(1), 62\u201366 (2021). https:\/\/doi.org\/10.1109\/MITP.2020.3019522","journal-title":"IT Prof."},{"issue":"4","key":"2_CR6","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/263244.263267","volume":"22","author":"G Fink","year":"1997","unstructured":"Fink, G., Bishop, M.: Property-based testing: a new approach to testing for assurance. ACM SIGSOFT Softw. Eng. Notes 22(4), 74\u201380 (1997)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Reutter, D., Vicary, J.: Shaded tangles for the design and verification of quantum programs. arXiv preprint arXiv:1701.03309 (2017)","DOI":"10.4204\/EPTCS.266.21"},{"key":"2_CR8","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press, Cambridge (2010)"},{"key":"2_CR9","unstructured":"Zhao, J.: Quantum software engineering: landscapes and horizons (2020)"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Garc\u00eda de la Barrera Amo, A., Serrano, M.A., Garc\u00eda Rodr\u00edguez de Guzm\u00e1n, I., Polo, M., Piattini, M.: Automatic generation of test circuits for the verification of quantum deterministic algorithms. Presented at the Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, Singapore, Singapore (2022). https:\/\/doi.org\/10.1145\/3549036.3562055","DOI":"10.1145\/3549036.3562055"},{"issue":"4","key":"2_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2419","volume":"35","author":"A Garc\u00eda de la Barrera","year":"2023","unstructured":"Garc\u00eda de la Barrera, A., Garc\u00eda-Rodr\u00edguez de Guzm\u00e1n, I., Polo, M., Piattini, M.: Quantum software testing: state of the art. J. Softw. Evol. Process 35(4), e2419 (2023). https:\/\/doi.org\/10.1002\/smr.2419","journal-title":"J. Softw. Evol. Process"},{"issue":"10","key":"2_CR12","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969). https:\/\/doi.org\/10.1145\/363235.363259","journal-title":"Commun. ACM"},{"key":"2_CR13","doi-asserted-by":"publisher","unstructured":"Barthe, G., Hsu, J., Ying, M., Yu, N., Zhou, L.: Relational proofs for quantum programs. Proc. ACM Program. Lang. 4(POPL), Article no. 21 (2019). https:\/\/doi.org\/10.1145\/3371089","DOI":"10.1145\/3371089"},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"Liu, J., et al.: Formal verification of quantum algorithms using quantum Hoare logic. In: Dillig, I., Tasiran, S. (eds.) CAV 2019. LNCS, vol. 11562, pp. 187\u2013207. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25543-5_12","DOI":"10.1007\/978-3-030-25543-5_12"},{"key":"2_CR15","doi-asserted-by":"publisher","unstructured":"Zhou, L., Yu, N., Ying, M.: An applied quantum Hoare logic. Presented at the Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, AZ, USA (2019). https:\/\/doi.org\/10.1145\/3314221.3314584","DOI":"10.1145\/3314221.3314584"},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"Fredkin, E., Toffoli, T.: Conservative logic. Int. J. Theor. Phys. 21(3), 219\u2013253 (1982). https:\/\/doi.org\/10.1007\/BF01857727","DOI":"10.1007\/BF01857727"},{"issue":"8","key":"2_CR17","doi-asserted-by":"publisher","first-page":"1220","DOI":"10.1109\/TCAD.2004.831576","volume":"23","author":"KN Patel","year":"2004","unstructured":"Patel, K.N., Hayes, J.P., Markov, I.L.: Fault testing for reversible circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(8), 1220\u20131230 (2004)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1049\/qtc2.12035","volume":"3","author":"J Mondal","year":"2022","unstructured":"Mondal, J., Das, D.K.: A new online testing technique for reversible circuits. IET Quantum Commun. 3(1), 50\u201359 (2022). https:\/\/doi.org\/10.1049\/qtc2.12035","journal-title":"IET Quantum Commun."},{"key":"2_CR19","unstructured":"ISO\/IEC: IEC\/IEEE international standard-systems and software engineering\u2013vocabulary. ISO\/IEC\/IEEE 24765: 2017 (E) (2017)"},{"issue":"3","key":"2_CR20","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/1027092.1027093","volume":"13","author":"G Rothermel","year":"2004","unstructured":"Rothermel, G., Elbaum, S., Malishevsky, A.G., Kallakuri, P., Qiu, X.: On test suite composition and cost-effective regression testing. ACM Trans. Softw. Eng. Methodol. (TOSEM) 13(3), 277\u2013331 (2004)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Honarvar, S., Mousavi, M.R., Nagarajan, R.: Property-based testing of quantum programs in Q#. In: Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops, pp. 430\u2013435 (2020)","DOI":"10.1145\/3387940.3391459"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Bubeck, S., Chen, S., Li, J.: Entanglement is necessary for optimal quantum property testing. In: 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), pp. 692\u2013703. IEEE (2020)","DOI":"10.1109\/FOCS46700.2020.00070"},{"issue":"3","key":"2_CR23","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/1072997.1072998","volume":"14","author":"MF Lau","year":"2005","unstructured":"Lau, M.F., Yu, Y.T.: An extended fault class hierarchy for specification-based testing. ACM Trans. Softw. Eng. Methodol. (TOSEM) 14(3), 247\u2013276 (2005)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Huang, Y., Martonosi, M.: Statistical assertions for validating patterns and finding bugs in quantum programs. In: Proceedings of the 46th International Symposium on Computer Architecture, pp. 541\u2013553 (2019)","DOI":"10.1145\/3307650.3322213"},{"key":"2_CR25","doi-asserted-by":"publisher","unstructured":"Bouwmeester, D., Pan, J.-W., Mattle, K., Eibl, M., Weinfurter, H., Zeilinger, A.: Experimental quantum teleportation. Nature 390(6660), 575\u2013579 (1997). https:\/\/doi.org\/10.1038\/37539","DOI":"10.1038\/37539"},{"issue":"2","key":"2_CR26","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.entcs.2009.05.004","volume":"238","author":"R Heradio","year":"2009","unstructured":"Heradio, R., Cerrada, J.A., Lopez, J., Coz, J.: Code generation with the exemplar flexibilization language. Electron. Notes Theor. Comput. Sci. 238(2), 25\u201334 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR27","unstructured":"Herrington, J.: Code Generation in Action. Manning Publications Co. (2003)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2024 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-7423-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,7]],"date-time":"2025-09-07T22:15:19Z","timestamp":1757283319000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-7423-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,25]]},"ISBN":["9789819674220","9789819674237"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-7423-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,7,25]]},"assertion":[{"value":"25 July 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunis","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunisia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icsoc2024.redcad.tn\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}