Specification-based test generation with TGV / J.R. CalaméBug hunting with false negatives / J.R. Calamé ... [et al.]Adaptive test case execution in practice / J.R. CalaméBug hunting with false negatives revisited / J.R. Calamé ... [et al.]Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger CalaméTesting reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé