Dimitri

We are happy to announce that our paper "Guess What: Test Case Generation for Javascript with Unsupervised Probabilistic Type Inference" has been accepted at @ssbse with @d_stallenberg @AnniPanic. Pre-print can be found here: research.tudelft.nl/en/publication… /cc @serg_delft @EEMCS_TUD

We are excited that our tool SynTest-Solidity got accepted at the @ICSEconf DEMO track. It performs automated test case generation and fuzzing for Solidity smart contracts. With: @d_stallenberg @avandeursen @AnniPanic /cc @syntest_org #CISELab @serg_delft @EEMCS_TUD

Today, I presented our tool that I worked on together with @AnniPanic and @Dimitri18260570 at UBRI connect 2021 (#UBRI). If you are interested in trying out this tool contact us! /cc @serg_delft