@inproceedings{DBLP:conf/icst/NazzalAC24,
  author       = {Bara' Nazzal and
                  Manar H. Alalfi and
                  James R. Cordy},
  title        = {A Survey on the Verification and Validation of Artificial Pancreas
                  Software Systems},
  booktitle    = {{IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2024 - Workshops, Toronto, ON, Canada, May
                  27-31, 2024},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/ICSTW60967.2024.00039},
  doi          = {10.1109/ICSTW60967.2024.00039},
  timestamp    = {Tue, 01 Oct 2024 22:18:09 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/NazzalAC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"9ckhhPmHkafHhEq29","bibbaseid":"nazzal-alalfi-cordy-asurveyontheverificationandvalidationofartificialpancreassoftwaresystems-2024","author_short":["Nazzal, B.","Alalfi, M. H.","Cordy, J. R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Bara'"],"propositions":[],"lastnames":["Nazzal"],"suffixes":[]},{"firstnames":["Manar","H."],"propositions":[],"lastnames":["Alalfi"],"suffixes":[]},{"firstnames":["James","R."],"propositions":[],"lastnames":["Cordy"],"suffixes":[]}],"title":"A Survey on the Verification and Validation of Artificial Pancreas Software Systems","booktitle":"IEEE International Conference on Software Testing, Verification and Validation, ICST 2024 - Workshops, Toronto, ON, Canada, May 27-31, 2024","pages":"1–9","publisher":"IEEE","year":"2024","url":"https://doi.org/10.1109/ICSTW60967.2024.00039","doi":"10.1109/ICSTW60967.2024.00039","timestamp":"Tue, 01 Oct 2024 22:18:09 +0200","biburl":"https://dblp.org/rec/conf/icst/NazzalAC24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icst/NazzalAC24,\n author = {Bara' Nazzal and\n Manar H. Alalfi and\n James R. Cordy},\n title = {A Survey on the Verification and Validation of Artificial Pancreas\n Software Systems},\n booktitle = {{IEEE} International Conference on Software Testing, Verification\n and Validation, {ICST} 2024 - Workshops, Toronto, ON, Canada, May\n 27-31, 2024},\n pages = {1--9},\n publisher = {{IEEE}},\n year = {2024},\n url = {https://doi.org/10.1109/ICSTW60967.2024.00039},\n doi = {10.1109/ICSTW60967.2024.00039},\n timestamp = {Tue, 01 Oct 2024 22:18:09 +0200},\n biburl = {https://dblp.org/rec/conf/icst/NazzalAC24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nazzal, B.","Alalfi, M. H.","Cordy, J. R."],"key":"DBLP:conf/icst/NazzalAC24","id":"DBLP:conf/icst/NazzalAC24","bibbaseid":"nazzal-alalfi-cordy-asurveyontheverificationandvalidationofartificialpancreassoftwaresystems-2024","role":"author","urls":{"Paper":"https://doi.org/10.1109/ICSTW60967.2024.00039"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/49/2794.bib","dataSources":["sruHQc7MdEddqHEe4"],"keywords":[],"search_terms":["survey","verification","validation","artificial","pancreas","software","systems","nazzal","alalfi","cordy"],"title":"A Survey on the Verification and Validation of Artificial Pancreas Software Systems","year":2024}