Framework for Testing Multi-Threaded Java Programs. Concurrency and Computation: Practice and Experience (2003)

by O Edelstein, E Farchi, E Goldin, Y Nir, G Ratsaby, S Ur
Venue:6 Christian Engel and Reiner Hähnle. Generating Unit Tests from Formal Proofs. In Tests and Proofs, First International Conference (TAP’07), volume 4454 of LNCS