Sayali Salvi

According to our database, Sayali Salvi authored at least 2 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Exploiting Synergies between Static Analysis and Model-Based Testing.

Sayali Salvi, Daniel Kästner, Christian Ferdinand, Tom Bienmüller

Proceedings of the 11th European Dependable Computing Conference, 2015

2014

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

Proceedings of the Computer Safety, Reliability, and Security, 2014