关注
Sergiy Vilkomir
Sergiy Vilkomir
Department of Computer Science, East Carolina University, USA
在 ecu.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
4862009
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
702002
Formalization of software testing criteria using the Z notation
SA Vilkomir, JP Bowen
25th Annual International Computer Software and Applications Conference …, 2001
682001
Using combinatorial approaches for testing mobile applications
S Vilkomir, B Amstutz
2014 IEEE seventh international conference on software testing, verification …, 2014
492014
Using formal methods to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, JH Dick, ...
472008
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
SA Vilkomir, JP Bowen
Formal aspects of computing 18, 42-62, 2006
462006
Tolerance of control-flow testing criteria
SA Vilkomir, K Kapoor, JP Bowen
Proceedings 27th Annual International Computer Software and Applications …, 2003
422003
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
402005
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
382006
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
372015
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
352013
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
332012
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
302013
Cloud testing: A state-of-the-art review
S Vilkomir
Information & Security 28 (2), 213, 2012
302012
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
292005
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
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
252015
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
Multi-device coverage testing of mobile applications
S Vilkomir
Software quality journal 26 (2), 197-215, 2018
232018
系统目前无法执行此操作,请稍后再试。
文章 1–20