[tlaplus] Eurosys 2023 paper: Model Checking Guided Testing for Distributed Systems

[Aman Shaikh <amanshaikh75@xxxxxxxxx>]

The paper can be found at: https://dl.acm.org/doi/10.1145/3552326.3587442

Code for the tool described in the paper at: https://github.com/tcse-iscas/Mocket.

aman

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/214a4bca-9937-4cad-aa3f-21622b773f13n%40googlegroups.com.