Sergey P. Vartanov

Orcid: 0000-0003-3786-2248

According to our database1, Sergey P. Vartanov authored at least 2 papers between 2018 and 2021.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Searching for Taint Vulnerabilities with Svace Static Analysis Tool.
Program. Comput. Softw., 2021

2018
An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution.
Program. Comput. Softw., 2018


  Loading...