Vadim Okun

Publications by Year

Research Areas

Software Reliability and Analysis Research, Software Testing and Debugging Techniques, Software Engineering Research, Formal Methods in Verification, Software System Performance and Reliability

Most-Cited Works

• → IPOG: A General Strategy for T-Way Software Testing(2007)342 cited
• → IPOG/IPOG‐D: efficient test generation for multi‐way combinatorial testing(2007)243 cited
• → Pseudo-Exhaustive Testing for Software(2006)167 cited
• → Mutation operators for specifications(2000)105 cited
• → Report on the Static Analysis Tool Exposition (SATE) IV(2013)74 cited
• → Web Application Scanners: Definitions and Functions(2007)70 cited
• Testing with Model Checker: Insuring Fault Visibility(2002)
• → Comparison of fault classes in specification-based testing(2003)37 cited
• → Mutation of Model Checker Specifications for Test Generation and Evaluation(2001)35 cited
• → Building a Test Suite for Web Application Scanners(2008)33 cited