Pubblicazioni

• 1 . Alchemist: LLM-Driven Test Generation using Solidity Mutants and the Scientific Method
  Barboni, Morena; Lampa, Filippo; Morichetta, Andrea; Polini, Andrea; Zulkoski, Edward
  2025;Pages:1 -5 [ 5.2 Contributo in atto di convegno su volume ]
• 2 . Enhancing Smart Contract Reliability: Dynamic Approaches for Quality Assurance
  Barboni, Morena
  2025; [ Doctoral Thesis ]
• 3 . Mutant-Driven Test Generation for Ethereum Smart Contracts via LLMs
  Barboni, Morena; Lampa, Filippo; Morichetta, Andrea; Polini, Andrea; Zulkoski, Edward
  2025;Pages:209 -216 [ 5.2 Contributo in atto di convegno su volume ]
• 4 . Wielding Blockchain Transactions for Capture-Replay Testing of Upgradeable Smart Contracts
  Barboni, Morena; De Angelis, Guglielmo; Morichetta, Andrea; Polini, Andrea
  ACM TRANSACTIONS ON INTERNET TECHNOLOGY;2025;Vol. 25;Pages:1 -30 [ 1.1 Articolo ]
• 5 . Enhanced mutation testing of smart contracts in support of code inspection
  Banescu, S.; Barboni, M.; Morichetta, A.; Polini, A.; Zulkoski, E.
  2024;Pages:558 -566 [ 5.2 Contributo in atto di convegno su volume ]