{"id":63,"date":"2015-02-20T10:07:11","date_gmt":"2015-02-20T10:07:11","guid":{"rendered":"http:\/\/agile.diee.unica.it\/wetsom2015\/?page_id=63"},"modified":"2025-01-20T20:49:55","modified_gmt":"2025-01-20T20:49:55","slug":"accepted-papers","status":"publish","type":"page","link":"https:\/\/www.agile-group.org\/iwbose2025\/accepted-papers\/","title":{"rendered":"Accepted Papers"},"content":{"rendered":"<h4><strong>Accepted papers will be included in a separate section of the conference\u2019s proceedings \u2013 <\/strong><strong>the companion proceedings of SANER 2025.<br \/>\n<\/strong><\/h4>\n<table border=\"0\" cellspacing=\"0\">\n<colgroup width=\"969\"><\/colgroup>\n<colgroup width=\"589\"><\/colgroup>\n<tbody>\n<tr>\n<td align=\"left\" valign=\"bottom\" height=\"37\"><span style=\"color: #000000;\">Metamorphic Testing for Smart Contract Validation: A Case Study of Ethereum-Based Crowdfunding Contracts<\/span><\/td>\n<td align=\"left\" valign=\"bottom\"><span style=\"color: #000000;\">Irving Jared Villanueva, Madhusudan Srinivasan and Faqeer Ur Rehman<\/span><\/td>\n<\/tr>\n<tr>\n<td align=\"left\" valign=\"bottom\" height=\"37\"><span style=\"color: #000000;\">Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security<\/span><\/td>\n<td align=\"left\" valign=\"bottom\"><span style=\"color: #000000;\">Zhiyang Chen, Jan Gorzny and Martin Derka<\/span><\/td>\n<\/tr>\n<tr>\n<td align=\"left\" valign=\"bottom\" height=\"37\"><span style=\"color: #000000;\">Tokenizing Urban Sustainability: Leveraging Open Data and Blockchain for Smarter Cities<\/span><\/td>\n<td align=\"left\" valign=\"bottom\"><span style=\"color: #000000;\">Antonio Pierro and Andy Amoordon.<\/span><\/td>\n<\/tr>\n<tr>\n<td align=\"left\" valign=\"bottom\" height=\"37\"><span style=\"color: #000000;\">Simulation of Energy Communities Using Simulink and the Ethereum Sepolia Blockchain<\/span><\/td>\n<td align=\"left\" valign=\"bottom\"><span style=\"color: #000000;\">Azmat Ullah and Giuseppe Pierro<\/span><\/td>\n<\/tr>\n<tr>\n<td align=\"left\" valign=\"bottom\" height=\"37\"><span style=\"color: #000000;\">Decoding the Influence: Analyzing the Impact of Crypto Signals on Software Repositories<\/span><\/td>\n<td align=\"left\" valign=\"bottom\"><span style=\"color: #000000;\">Shawal Khalid, Huayu Liang and Chris Brown<\/span><\/td>\n<\/tr>\n<tr>\n<td align=\"left\" valign=\"bottom\" height=\"37\"><span style=\"color: #000000;\">Smart contract-based automation for ephemeral team composition<\/span><\/td>\n<td align=\"left\" valign=\"bottom\"><span style=\"color: #000000;\">Ilaria Lunesu, Andrea Pinna and Alice Zonca<\/span><\/td>\n<\/tr>\n<tr>\n<td align=\"left\" valign=\"bottom\" height=\"37\"><span style=\"color: #000000;\">Large Language Models for Synthetic Dataset Generation: A Case Study on Ethereum Smart Contract DoS Vulnerabilities<\/span><\/td>\n<td align=\"left\" valign=\"bottom\"><span style=\"color: #000000;\">Giacomo Ibba, Gavina Baralla and Giuseppe Destefanis<\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Accepted papers will be included in a separate section of the conference\u2019s proceedings \u2013 the companion proceedings of SANER 2025. Metamorphic Testing for Smart Contract Validation: A Case Study of Ethereum-Based Crowdfunding Contracts Irving Jared Villanueva, Madhusudan Srinivasan and Faqeer Ur Rehman Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security Zhiyang [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-63","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.agile-group.org\/iwbose2025\/wp-json\/wp\/v2\/pages\/63"}],"collection":[{"href":"https:\/\/www.agile-group.org\/iwbose2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.agile-group.org\/iwbose2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.agile-group.org\/iwbose2025\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.agile-group.org\/iwbose2025\/wp-json\/wp\/v2\/comments?post=63"}],"version-history":[{"count":32,"href":"https:\/\/www.agile-group.org\/iwbose2025\/wp-json\/wp\/v2\/pages\/63\/revisions"}],"predecessor-version":[{"id":482,"href":"https:\/\/www.agile-group.org\/iwbose2025\/wp-json\/wp\/v2\/pages\/63\/revisions\/482"}],"wp:attachment":[{"href":"https:\/\/www.agile-group.org\/iwbose2025\/wp-json\/wp\/v2\/media?parent=63"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}