Travelled to:1 × Canada
1 × Greece
1 × Spain
1 × Turkey
Collaborated with:P.Krishnan P.Stocks P.Krishnan
Talks about:approach (2) constraint (1) overhead (1) monitor (1) languag (1) generat (1) automat (1) analysi (1) static (1) specif (1)
Person: Kostyantyn Vorobyov
DBLP: Vorobyov:Kostyantyn
Contributed to:
2015
2013
2012
2012Wrote 4 papers:
- SAC-2015-VorobyovKS #monitoring #specification
- A concise specification language for trace monitoring (KV, PK, PS), pp. 1637–1640.
- ICTSS-2013-VorobyovKS #approach #memory management
- A Dynamic Approach to Locating Memory Leaks (KV, PK, PS), pp. 255–270.
- ICST-2012-VorobyovK #automation #constraints #generative #static analysis #testing #theorem proving
- Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.
- SEFM-2012-VorobyovKS #approach #data flow #security
- A Low-Overhead, Value-Tracking Approach to Information Flow Security (KV, PK, PS), pp. 367–381.