| Paper Title (with link) | Publisher | Publication Date |
|---|---|---|
| MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract | IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) | 2019 |
| Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts | IEEE/ACM 34th International Conference on Automated Software Engineering (ASE) | 2019 |
| Wibx: Making Smart Contract Even Smarter | WAIAF 2019 - Workshop of Artificial Intelligence Applied to Finance | 2019 |