Mutation Operators for Specifications. - Paul E. Black; Vadim Okun; Yaacov Yesha (ASE, 2000)

Comparison of fault classes in specification-based testing. - Vadim Okun; Paul E. Black; Yaacov Yesha (Inf. Softw. Technol., 2004)

Pseudo-Exhaustive Testing for Software. - D. Richard Kuhn; Vadim Okun (SEW, 2006)

Effect of static analysis tools on software security: preliminary investigation. - Vadim Okun; William F. Guthrie; Romain Gaucher; Paul E. Black (QoP, 2007)

IPOG: A General Strategy for T-Way Software Testing. - Yu Lei 001; Raghu Kacker; D. Richard Kuhn; Vadim Okun; James Lawrence 001 (ECBS, 2007)

Web Application Scanners: Definitions and Functions. - Elizabeth Fong; Vadim Okun (HICSS, 2007)

Building a Test Suite for Web Application Scanners. - Elizabeth Fong; Romain Gaucher; Vadim Okun; Paul E. Black; Eric Dalci (HICSS, 2008)

IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing. - Yu Lei 001; Raghu Kacker; D. Richard Kuhn; Vadim Okun; James Lawrence 001 (Softw. Test. Verification Reliab., 2008)

Of Massive Static Analysis Data. - Aurélien Delaitre; Vadim Okun; Elizabeth Fong (SERE (Companion), 2013)

Evaluating Bug Finders - Test and Measurement of Static Code Analyzers. - Aurélien Delaitre; Bertrand Stivalet; Elizabeth Fong; Vadim Okun (COUFLESS@ICSE, 2015)

Guidelines on Minimum Standards for Developer Verification of Software. - Paul E. Black; Barbara Guttman; Vadim Okun (CoRR, 2021)