Sergiy Vilkomir | Academic Influence

Sergiy Vilkomir's AcademicInfluence.com Rankings

Sergiy Vilkomir

Computer Science

#1498

World Rank

#1551

Historical Rank

Database

#6622

World Rank

#6857

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Sergiy Vilkomir's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Computer Science Stanford University

Similar Degrees You Can Earn

Why Is Sergiy Vilkomir Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Sergiy A. Vilkomir was a Ukrainian-born computer scientist. Sergiy Vilkomir was born in 1956 in present-day Ukraine. He finished Mathematical College at the Moscow State University National Mathematical Boarding High School no. 18 , studied for an MSc degree in Mathematics and Mathematics Education at Kharkov State University , and for a PhD degree at Kharkov Polytechnic Institute . In Kharkiv, Ukraine, he then worked at the Ukrainian Polytechnic Institute , the Central Institute of Complex Automation , the Institute of Safety and Reliability of Technological Systems , the Ukrainian State Scientific and Technical Centre on Nuclear and Radiation Safety . His role included licensing and audits of computer-based safety systems at nuclear power plants.

(See a Problem?)

Sergiy Vilkomir's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Using formal specifications to support testing (2009) (375)
Formalization of software testing criteria using the Z notation (2001) (53)
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing (2002) (53)
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria (2006) (45)
Using formal methods to support testing (2008) (40)
Disciplined methods of software specification: a case study (2005) (36)
Specification of Software Component Requirements Using the Trace Function Method (2006) (36)
Using Combinatorial Approaches for Testing Mobile Applications (2014) (34)
Tolerance of control-flow testing criteria (2003) (30)
Cloud Testing: A State-of-the-Art Review (2012) (28)
Co-evolution of complementary formal and informal requirements (2004) (26)
Availability evaluation of hardware/software systems with several recovery procedures (2005) (25)
Effectiveness of Pair-Wise Testing for Software with Boolean Inputs (2012) (25)
Evaluation of t-wise Approach for Testing Logical Expressions in Software (2013) (24)
Effectiveness of Multi-device Testing Mobile Applications (2015) (24)
Framework for testing cloud platforms and infrastructures (2011) (21)
Integrated TaaS platform for mobile development: Architecture solutions (2013) (21)
Testing-as-a-Service for Mobile Applications: State-of-the-Art Survey (2015) (16)
Software Input Space Modeling with Constraints among Parameters (2009) (13)
Multi-device coverage testing of mobile applications (2018) (13)
Precise Documentation of Critical Software (2007) (13)
Cloud Testing for Mobile Software Systems - Concept and Prototyping (2013) (13)
Combinatorial Test Case Selection with Markovian Usage Models (2008) (13)
Relationship between pair-wise and MC/DC testing: Initial experimental results (2015) (13)
Combining agent-oriented conceptual modelling with formal methods (2004) (13)
Segregated failures model for availability evaluation of fault-tolerant systems (2006) (12)
Modeling Input Space for Testing Scientific Computational Software: A Case Study (2008) (12)
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models (2009) (11)
An "asymmetric" approach to the assessment of safety-critical software during certification and licensing (2000) (10)
Combinatorial and MC/DC Coverage Levels of Random Testing (2017) (10)
Formalization of control-flow criteria of software testing (2001) (10)
Probabilistic Assessment of Effectiveness of Software Testing for Safety-Critical Systems (2010) (8)
A Case Study of Combining I* Framework and the Z Notation (2004) (8)
Formalization and assessment of regulatory requirements for safety-critical software (2006) (8)
The System Safety Assessment by the Use of Programming Tools during the Licensing Process (1999) (7)
Fault Evaluator: A tool for experimental investigation of effectiveness in software testing (2010) (7)
Working together : Formal Methods and Testing (2003) (6)
Establishing Formal Regulatory Requirements for Safety-Critical Software Certification (2001) (5)
Combinatorial Testing of Software with Binary Inputs: A State-of-the-Art Review (2016) (5)
Computer systems availability evaluation using a segregated failures model (2008) (5)
MIST : MODELING INPUT SPACE FOR TESTING TOOL (2009) (4)
A Diversity Model for Multi-Version Safety-Critical I & C Systems (2012) (4)
Combinatorial Methods of Feature Selection for Cell Image Classification (2017) (4)
Should We Care about "Don't Care" Testing Inputs?: Empirical Investigation of Pair-Wise Testing (2016) (3)
Using MC/DC as a black-box testing technique (2017) (2)
Evaluation of automated testing coverage: a case study of wireless secure connection software testing (2006) (2)
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements (2004) (2)
EFFECT OF TESTING COVERAGE ON SOFTWARE RELIABILITY - AN EXPERIMENTAL INVESTIGATION (2011) (2)
Application of Formal Methods for Establishing Regulatory Requirements for Safety-Critical Software of Real-Time Control Systems (2001) (2)
Optimal Selection of Diversity Types for Safety-Critical Computer Systems (2014) (2)
A probability model of system downtime with implications for optimal warranty design (2010) (2)
Practical Combinatorial Testing Approaches: A Case Study of a University Portal Application (2016) (1)
Interface Testing Using a Subgraph Splitting Algorithm: A Case Study (2011) (1)
Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications (2005) (1)
Cloud services and tools for mobile testing (2013) (1)
Multi-device coverage testing of mobile applications (2017) (0)
Propagation of Uncertainty Through a Segregated Failure Model (2006) (0)
A software package for evaluating the reliability of power station automation systems (1993) (0)
T-wise-based multi-fault injection technique for the verification of safety critical I&C systems (2015) (0)
Development of North Carolina's first Software Engineering program: An experience report (2011) (0)

This paper list is powered by the following services:

Other Resources About Sergiy Vilkomir

en.wikipedia.org

What Schools Are Affiliated With Sergiy Vilkomir?

Sergiy Vilkomir is affiliated with the following schools:

Image Attributions

Image Source for Sergiy Vilkomir