Concurrency testing #

Shuttle #

• is un-sound, but is scalable
• does random testing, analogously to the property testing

Loom #

• is sound, but slow
• works analogously to model checkers