Vadim Okun

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 1

Top Topics

Static Analysis

Face Verification

Top Venues

SERE (Companion)

Publications

Paul E. Black, Barbara Guttman, Vadim Okun
Guidelines on Minimum Standards for Developer Verification of Software. CoRR (2021)
Aurélien Delaitre, Bertrand Stivalet, Elizabeth Fong, Vadim Okun
Evaluating Bug Finders - Test and Measurement of Static Code Analyzers. COUFLESS@ICSE (2015)
Aurélien Delaitre, Vadim Okun, Elizabeth Fong
Of Massive Static Analysis Data. SERE (Companion) (2013)
Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence
IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing. Softw. Test. Verification Reliab. 18 (3) (2008)
Elizabeth Fong, Romain Gaucher, Vadim Okun, Paul E. Black, Eric Dalci
Building a Test Suite for Web Application Scanners. HICSS (2008)
Elizabeth Fong, Vadim Okun
Web Application Scanners: Definitions and Functions. HICSS (2007)
Vadim Okun, William F. Guthrie, Romain Gaucher, Paul E. Black
Effect of static analysis tools on software security: preliminary investigation. QoP (2007)
Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence
IPOG: A General Strategy for T-Way Software Testing. ECBS (2007)
D. Richard Kuhn, Vadim Okun
Pseudo-Exhaustive Testing for Software. SEW (2006)
Vadim Okun, Paul E. Black, Yaacov Yesha
Comparison of fault classes in specification-based testing. Inf. Softw. Technol. 46 (8) (2004)
Paul E. Black, Vadim Okun, Yaacov Yesha
Mutation Operators for Specifications. ASE (2000)