Sergiy Vilkomir
Sergiy Vilkomir
Department of Computer Science, East Carolina University, USA
Verified email at ecu.edu - Homepage
Title
Cited by
Cited by
Year
Using formal specifications to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ...
ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009
4392009
Reinforced condition/decision coverage (RC/DC): A new criterion for software testing
SA Vilkomir, JP Bowen
International Conference of B and Z Users, 291-308, 2002
662002
Formalization of software testing criteria using the Z notation
SA Vilkomir, JP Bowen
25th Annual International Computer Software and Applications Conference …, 2001
642001
Using formal methods to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, JH Dick, ...
432008
Tolerance of control-flow testing criteria
SA Vilkomir, K Kapoor, JP Bowen
Proceedings 27th Annual International Computer Software and Applications …, 2003
432003
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
SA Vilkomir, JP Bowen
Formal aspects of computing 18 (1), 42-62, 2006
422006
Disciplined methods of software specification: a case study
RL Baber, DL Parnas, SA Vilkomir, P Harrison, T O'Connor
International Conference on Information Technology: Coding and Computing …, 2005
412005
Using combinatorial approaches for testing mobile applications
S Vilkomir, B Amstutz
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
392014
Specification of software component requirements using the trace function method
C Quinn, S Vilkomir, D Parnas, S Kostic
2006 International Conference on Software Engineering Advances (ICSEA'06), 50-50, 2006
392006
Evaluation of t-wise approach for testing logical expressions in software
S Vilkomir, O Starov, R Bhambroo
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
322013
Integrated TaaS platform for mobile development: Architecture solutions
O Starov, S Vilkomir
2013 8th International Workshop on Automation of Software Test (AST), 1-7, 2013
292013
Co-evolution of complementary formal and informal requirements
A Krishna, AK Ghose, SA Vilkomir
Proceedings. 7th International Workshop on Principles of Software Evolution …, 2004
292004
Effectiveness of multi-device testing mobile applications
S Vilkomir, K Marszalkowski, C Perry, S Mahendrakar
2015 2nd ACM International Conference on Mobile Software Engineering and …, 2015
282015
Effectiveness of pair-wise testing for software with boolean inputs
WA Ballance, S Vilkomir, W Jenkins
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
282012
Cloud testing: A state-of-the-art review
S Vilkomir
Information & Security 28 (2), 213, 2012
272012
Availability evaluation of hardware/software systems with several recovery procedures
SA Vilkomir, DL Parnas, VB Mendiratta, E Murphy
29th Annual International Computer Software and Applications Conference …, 2005
272005
Framework for testing cloud platforms and infrastructures
W Jenkins, S Vilkomir, P Sharma, G Pirocanac
2011 International Conference on Cloud and Service Computing, 134-140, 2011
242011
Combinatorial test case selection with Markovian usage models
SA Vilkomir, WT Swain, JH Poore
Fifth International Conference on Information Technology: New Generations …, 2008
242008
Cloud testing for mobile software systems
O Starov, S Vilkomir, V Kharchenko
8th International Joint Conference on Software Technologies, in ICSOFT, 2013
192013
Testing-as-a-service for mobile applications: state-of-the-art survey
O Starov, S Vilkomir, A Gorbenko, V Kharchenko
Dependability problems of complex information systems, 55-71, 2015
172015
The system can't perform the operation now. Try again later.
Articles 1–20