{"id":19,"date":"2024-11-20T11:28:16","date_gmt":"2024-11-20T10:28:16","guid":{"rendered":"https:\/\/wp.laas.fr\/taf\/?page_id=19"},"modified":"2024-11-20T13:39:45","modified_gmt":"2024-11-20T12:39:45","slug":"publications","status":"publish","type":"page","link":"https:\/\/wp.laas.fr\/taf\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"\n<p><strong>Publications related to TAF :<\/strong><\/p>\n\n\n\n<p>Luca Vittorio Sartori, H\u00e9l\u00e8ne Waeselynck, J\u00e9r\u00e9mie Guiochet. Pairwise Testing Revisited for Structured Data With Constraints. In Proceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Dublin, Ireland, apr 2023.<\/p>\n\n\n\n<p>Luca Vittorio Sartori, J\u00e9r\u00e9mie Guiochet, H\u00e9l\u00e8ne Waeselynck, Aizar Antonio Berlanga Galvan, Simon H\u00e9bert-Vernhes, Magnus Albert. Integration of Test Generation Into Simulation-Based Platforms: An Experience Report. In Proceedings of the 3rd ACM\/IEEE International Conference on Automation of Software Test, Pittsburgh, United States, may 2022. [doi] Conference&nbsp;&nbsp;<\/p>\n\n\n\n<p>Cl\u00e9ment Robert, J\u00e9r\u00e9mie Guiochet, H\u00e9l\u00e8ne Waeselynck, Luca Vittorio Sartori. TAF: a tool for diverse and constrained test case generation. In Proceedings of the 21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Hanan Island, China, dec 2021.<\/p>\n\n\n\n<p>Cl\u00e9ment Robert, J\u00e9r\u00e9mie Guiochet, H\u00e9l\u00e8ne Waeselynck.&nbsp;<a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-02444350\" target=\"_blank\" rel=\"noreferrer noopener\">Testing a non-deterministic robot in simulation &#8211; How many repeated runs ?<\/a>.&nbsp;In Proceedings of the The fourth IEEE International Conference on Robotic Computing (IRC 2020), Taichung, Taiwan, mar 2020.&nbsp;<a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-02444350\/document\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a>&nbsp;<a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-02444350\/bibtex\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a><\/p>\n\n\n\n<p>Cl\u00e9ment Robert, Thierry Sotiropoulos, H\u00e9l\u00e8ne Waeselynck,&nbsp;J\u00e9r\u00e9mie Guiochet, Simon Vernhes.&nbsp;<a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-02436216\" target=\"_blank\" rel=\"noreferrer noopener\">The virtual lands of Oz: testing an agribot in simulation<\/a>.&nbsp;In Empirical Software Engineering, 2020. Springer Verlag.&nbsp;<a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-02436216\/document\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a>&nbsp;<a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-02436216\/bibtex\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a><\/p>\n\n\n\n<p>Cl\u00e9ment Robert,&nbsp; Thierry Sotiropoulos,&nbsp;H\u00e9l\u00e8ne Waeselynck,&nbsp;J\u00e9r\u00e9mie Guiochet, Simon Vernhes .&nbsp;<a href=\"https:\/\/sites.laas.fr\/projects\/taf\/sites\/www.laas.fr.projects.taf\/files\/u203\/SHARC_2019.pdf\">Testing an agricultural robot in simulation<\/a>.&nbsp;Worskhop SHARC2019,&nbsp;Montpellier, France, July 2019.&nbsp;<a href=\"https:\/\/sites.laas.fr\/projects\/taf\/sites\/www.laas.fr.projects.taf\/files\/u203\/SHARC_2019.pdf\">[SLIDES]<\/a><a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01328909\/document\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a><\/p>\n\n\n\n<p>Luca Vittorio Sartori, <a href=\"https:\/\/hal.laas.fr\/hal-02495251\">Simulation-based testing to improve safety of autonomous robots<\/a>, In IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW 2019), Berlin, Germany, Oct 2019.&nbsp;<a href=\"https:\/\/hal.laas.fr\/hal-02495251\/document\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a>&nbsp;<a href=\"https:\/\/hal.laas.fr\/hal-02495251\/document, https:\/\/hal.laas.fr\/hal-02495251v1\/bibtex\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a><\/p>\n\n\n\n<p>Thierry Sotiropoulos.&nbsp;<a href=\"https:\/\/hal.laas.fr\/tel-01886631v1\/document\">Test al\u00e9atoire de la navigation de robots dans des mondes virtuels<\/a>. PhD. Universit\u00e9 Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2018. (in French) &nbsp;<a href=\"https:\/\/hal.laas.fr\/tel-01886631v1\/document\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a>&nbsp;<\/p>\n\n\n\n<p>Cl\u00e9ment Robert, <a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01795218\">First insights into testing autonomous robots in virtual worlds<\/a>. In the 28th International Symposium on Software Reliability Engineering (ISSRE), Toulouse, France, Oct 2017.&nbsp;<a href=\"https:\/\/hal.laas.fr\/hal-01795218\/document\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a>&nbsp;<\/p>\n\n\n\n<p>Thierry Sotiropoulos, H\u00e9l\u00e8ne Waeselynck, J\u00e9r\u00e9mie Guiochet, F\u00e9lix Ingrand.&nbsp;<a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01534235\" target=\"_blank\" rel=\"noreferrer noopener\">Can robot navigation bugs be found in simulation? An exploratory study<\/a>.&nbsp;In Proceedings of the 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Prague, Czech Republic, jul 2017.&nbsp;Conference&nbsp;<a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01534235\/document\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a>&nbsp;<a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01534235\/bibtex\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a><\/p>\n\n\n\n<p>Thierry Sotiropoulos, J\u00e9r\u00e9mie Guiochet, F\u00e9lix Ingrand, H\u00e9l\u00e8ne Waeselynck.&nbsp;<a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01328909\" target=\"_blank\" rel=\"noreferrer noopener\">Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level<\/a>.&nbsp;In Proceedings of the 12th European Dependable Computing Conference (EDCC 2016), G\u00f6teborg, Sweden, sep 2016.&nbsp;&nbsp;Conference&nbsp;<a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01328909\/document\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a>&nbsp;<a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01328909\/bibtex\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Publications related to TAF : Luca Vittorio Sartori, H\u00e9l\u00e8ne Waeselynck, J\u00e9r\u00e9mie Guiochet. Pairwise Testing Revisited for Structured Data With Constraints. In Proceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Dublin, Ireland, apr 2023. Luca Vittorio Sartori, J\u00e9r\u00e9mie Guiochet, H\u00e9l\u00e8ne Waeselynck, Aizar Antonio Berlanga Galvan, Simon H\u00e9bert-Vernhes, Magnus Albert. Integration [&hellip;]<\/p>\n","protected":false},"author":53,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-19","page","type-page","status-publish","hentry","post"],"_links":{"self":[{"href":"https:\/\/wp.laas.fr\/taf\/wp-json\/wp\/v2\/pages\/19","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.laas.fr\/taf\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp.laas.fr\/taf\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp.laas.fr\/taf\/wp-json\/wp\/v2\/users\/53"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.laas.fr\/taf\/wp-json\/wp\/v2\/comments?post=19"}],"version-history":[{"count":1,"href":"https:\/\/wp.laas.fr\/taf\/wp-json\/wp\/v2\/pages\/19\/revisions"}],"predecessor-version":[{"id":20,"href":"https:\/\/wp.laas.fr\/taf\/wp-json\/wp\/v2\/pages\/19\/revisions\/20"}],"wp:attachment":[{"href":"https:\/\/wp.laas.fr\/taf\/wp-json\/wp\/v2\/media?parent=19"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}