He has more than 25 years of experience in researching in software testing, reliability, and formal methods. Dr. Vilkomir is the author of more than 80 publications in these areas, including papers in such journals as ACM Computing Surveys, Information & Software Technology, Formal Aspects of Computing, Innovations in Systems and Software Engineering - A NASA Journal, Quality and Reliability Engineering International Journal, and others. In particular, he created Reinforced Condition/Decision Coverage (RC/DC), a new criterion for software testing, which provides further development of MC/DC and is more suitable for testing of safety-critical software.