Prototypes
Prototypes
Lazy State Determination - original version (Tiago Vale 2019)
Repository: https://github.com/trxsys/lsd-original-tvale-public
Lazy State Determination - original version updated (David Carpinteiro 2022)
Repository: https://github.com/davidmvc/lsd
Lazy State Determination - basic SQL support (Eduardo Subtil 2021)
Repository: https://github.com/joaomlourenco/esubtil-lsd
Lazy State Determination - mature SQL support (Thales Parreira 2022)
Repository (JDBC driver): https://github.com/tparreira93/lsd-jdbc-driver
Repository (benchmark): https://github.com/tparreira93/benchbase
OSCAR — a noise injection framework for Testing Concurrent Software (Filipe de Luna 2022)
Repository: https://github.com/filipedeluna/oscar
Gluon — static atomicity verification of sequences of calls to the methods of a Java class (Diogo Sousa & Hugo Pereira 2022)
Repository: https://github.com/trxsys/gluon