[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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




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.