Concepedia

Sergiy Vilkomir

SV

23

Publications

462

Citations

14

H-Index

2002

Active since

Affiliations

East Carolina University(Current)

University of Limerick

London South Bank University

University of Wollongong

Quality Research

Sergiy Vilkomir is an author at East Carolina University specializing in software engineering, engineering, and software testing.

Top concepts

EngineeringSoftware TestingSoftware EngineeringSoftware AnalysisComputer EngineeringSystems EngineeringSoftware DesignComputer ScienceProgram AnalysisFormal Verification

Publications per year

2002–2017

23

Publications

23

Formalization of software testing criteria using the Z notation

Sergiy Vilkomir, Jonathan P. Bowen · 2002 · 41 citations

Software Maintenance, Engineering, Software Systems +17

Using Combinatorial Approaches for Testing Mobile Applications

Sergiy Vilkomir, Brandi Amstutz · 2014 · 38 citations

Device-specific Faults, Engineering, Test Coverage +17

Using formal methods to support testing

RM Hierons, Kirill Bogdanov, J.P. Bowen et al. · Brunel University Research Archive (BURA) (Brunel University London) · 2008 · 37 citations · Full text

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

Sergiy Vilkomir, Jonathan P. Bowen · Formal Aspects of Computing · 2006 · 37 citations · Full text

Disciplined methods of software specification: a case study

Robert Laurence Baber, David Lorge Parnas, Sergiy Vilkomir et al. · 2005 · 31 citations

Software Maintenance, Software Development Practice, Engineering +24

Rows per page

1–5 of 23