Found 27 repositories(showing 27)
JetBrains
Framework for testing concurrent code on JVM languages
SmnTin
A linearizability checker for concurrent data structures
mihai209
No description available
ndkoval
Non-linearizability bug in Java's ConcurrentLinkedDeque discovered with Lincheck
mvicsokolova
No description available
Vivek170952
This is a linux proivilledge escilation checker tool that checks for common linux priviledge escilation techniques.
ikrvc
No description available
vtiahotenkov-ah
No description available
apyemo
Some scripts for use in linux for troubleshooting
No description available
joaomlneto
No description available
bbrockbernd
Reproduction of bug found in lincheck
lounres
No description available
ndkoval
Demo project that showcases Lincheck capabilities
ndkoval
No description available
henrytranvan
No description available
alexander-demukh
No description available
sofiagavanelli
No description available
reglayass
No description available
No description available
olgalupuleac
No description available
mvicsokolova
No description available
ved123
No description available
Milunas
No description available
No description available
sh-ad
No description available
ashtanko
Educational Kotlin project demonstrating various testing frameworks, tools, and techniques in action (JUnit, Kotest, MockK, Mockito, AssertJ, Hamcrest, Truth, Lincheck, Turbine, and more).
All 27 repositories loaded