Vadim Okun

According to our database, Vadim Okun authored at least 11 papers between 2000 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Guidelines on Minimum Standards for Developer Verification of Software.

Paul E. Black, Barbara Guttman, Vadim Okun

CoRR, 2021

2015

Evaluating Bug Finders - Test and Measurement of Static Code Analyzers.

Aurélien Delaitre, Bertrand Stivalet, Elizabeth Fong, Vadim Okun

Proceedings of the 1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, 2015

2013

Of Massive Static Analysis Data.

Aurélien Delaitre, Vadim Okun, Elizabeth Fong

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

2008

IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing.

Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence

Softw. Test. Verification Reliab., 2008

Building a Test Suite for Web Application Scanners.

Elizabeth Fong, Romain Gaucher, Vadim Okun, Paul E. Black, Eric Dalci

Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

2007

Web Application Scanners: Definitions and Functions.

Elizabeth Fong, Vadim Okun

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

IPOG: A General Strategy for T-Way Software Testing.

Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

Effect of static analysis tools on software security: preliminary investigation.

Vadim Okun, William F. Guthrie, Romain Gaucher, Paul E. Black

Proceedings of the 3th ACM Workshop on Quality of Protection, 2007

2006

Pseudo-Exhaustive Testing for Software.

D. Richard Kuhn, Vadim Okun

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

2004

Comparison of fault classes in specification-based testing.

Vadim Okun, Paul E. Black, Yaacov Yesha

Inf. Softw. Technol., 2004

2000

Mutation Operators for Specifications.

Paul E. Black, Vadim Okun, Yaacov Yesha

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000