Gabriela Moreira, Cristiano D. Vasconcellos, Janine Kniess. Fully-Tested code generation from TLA+ specifications. In Marcelo de Almeida Maia, Fabiano A. Dorça, Rafael Dias Araujo, Breno Alexandro Ferreira de Miranda, Paulo Sérgio Lopes-de-Souza, Edna Dias Canedo, editors, SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3 - 7, 2022. pages 19-28, ACM, 2022. [doi]
Abstract is missing.