Author Info
Name
Affiliation
Papers
SAYALI SALVI
AbsInt GmbH, Sci Pk 1, D-66123 Saarbrucken, Germany
2
Collaborators
Citations 
PageRank 
3
0
0.68
Referers 
Referees 
References 
0
21
10
Title
Citations
PageRank
Year
Exploiting Synergies between Static Analysis and Model-Based Testing00.342015
True Error Or False Alarm? Refining Astr'Ee'S Abstract Interpretation Results By Embedded Tester'S Automatic Model-Based Testing00.342014