Oleksandr V. Kolchyn

dblp:137/9620 · also Alexander Kolchin, Oleksandr Kolchyn 0001 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2026
0000-0001-7809-536XORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2026 A Formal Constraint-Based Method for Detecting Gaps in Input Validation Test Suites
Oleksandr V. Kolchyn, Daria Rudenko
ICCSA (2)1
2022 Extending Data Flow Coverage to Test Constraint Refinements
Oleksandr V. Kolchyn, Stepan Potiyenko
IFM1