1 paper
Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan, Rupak Majumdar +1
We present a coverage-guided testing algorithm for distributed systems implementations. Our main innovation is the use of an abstract formal model of the system that is used to def…