Dimitri retweeted
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/publi…
/cc @serg_delft @EEMCS_TUD
Dimitri retweeted
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
Dimitri retweeted
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
Today, we presented our tool SynTest Solidity - a test case generation framework for Solidity smart contracts - at UBRI connect 2021 (#UBRI) organized by @Ripple. To learn more about the tool, see our website syntest.org/ and try it out yourself github.com/syntest-framework
