True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. - Sayali Salvi; Daniel Kästner; Tom Bienmüller; Christian Ferdinand (SAFECOMP Workshops, 2014)

Exploiting Synergies between Static Analysis and Model-Based Testing. - Sayali Salvi; Daniel Kästner; Christian Ferdinand; Tom Bienmüller (EDCC, 2015)