Dimitri

[Mitchell Olsthoorn @mitchellolstho]

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: https://t.co/Dwr3I1Gi8Z

/cc @serg_delft @EEMCS_TUD

[Mitchell Olsthoorn @mitchellolstho]

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

[Mitchell Olsthoorn @mitchellolstho]

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