Joined August 2019
- Tweets 3
- Following 36
- Followers 15
- Likes 24
Photos and videos
Dimitri retweeted
22 Sep 2022
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
4
5
13
Dimitri retweeted
26 Jan 2022
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
1
5
16
Dimitri retweeted
12 Oct 2021
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
12 Oct 2021
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
6
8