Fuzzing channel-based concurrency runtimes using types and effects.

Quentin Stiévenart Magnus Madsen

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

database systems
database
artificial intelligence
multi channel
communication channels
real time
data sets
concurrent execution