Vadim Okun

13 papers A* 1C 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Software Vulnerability Detection Using a Lightweight Graph Neural Network.
CoRR
Miles Farmer, Ekincan Ufuktepe, Anne Watson, Hialo Muniz Carvalho, Vadim Okun, Zineb Maasaoui, Kannappan Palaniappan
2025 J jnl
AI Agentic Vulnerability Injection And Transformation with Optimized Reasoning.
CoRR
Amine Lbath, Massih-Reza Amini, Aurélien Delaitre, Vadim Okun
2021 J jnl
Guidelines on Minimum Standards for Developer Verification of Software.
CoRR
Paul E. Black, Barbara Guttman, Vadim Okun
2015 — conf
Evaluating Bug Finders - Test and Measurement of Static Code Analyzers.
COUFLESS@ICSE
Aurélien Delaitre, Bertrand Stivalet, Elizabeth Fong, Vadim Okun
2013 — conf
Of Massive Static Analysis Data.
SERE (Companion)
Aurélien Delaitre, Vadim Okun, Elizabeth Fong
2008 — conf
Building a Test Suite for Web Application Scanners.
HICSS
Elizabeth Fong, Romain Gaucher, Vadim Okun, Paul E. Black, Eric Dalci
2008 J jnl
IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing.
Softw. Test. Verification Reliab.
Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence
2007 — conf
Effect of static analysis tools on software security: preliminary investigation.
QoP
Vadim Okun, William F. Guthrie, Romain Gaucher, Paul E. Black
2007 — conf
IPOG: A General Strategy for T-Way Software Testing.
ECBS
Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence
2007 — conf
Web Application Scanners: Definitions and Functions.
HICSS
Elizabeth Fong, Vadim Okun
2006 C conf
Pseudo-Exhaustive Testing for Software.
SEW
D. Richard Kuhn, Vadim Okun
2004 J jnl
Comparison of fault classes in specification-based testing.
Inf. Softw. Technol.
Vadim Okun, Paul E. Black, Yaacov Yesha
2000 A* conf
Mutation Operators for Specifications.
ASE
Paul E. Black, Vadim Okun, Yaacov Yesha