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

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

Hi, this paper reminds me of Star Dorminey’s work [1] from a few years ago. 


[1] https://www.youtube.com/watch?v=lj31oIaYSj4

> On May 24, 2023, at 8:20 PM, Aman Shaikh <amanshaikh75@xxxxxxxxx> wrote:
> 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/877E4E1E-7B23-4559-A61C-666E3763DFD7%40lemmster.de.