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

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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

Markus

[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.