Seguir
Sergiy Vilkomir
Sergiy Vilkomir
Department of Computer Science, East Carolina University, USA
Dirección de correo verificada de ecu.edu - Página principal
Título
Citado por
Citado por
Año
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
5182009
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
692002
Formalization of software testing criteria using the Z notation
SA Vilkomir, JP Bowen
25th Annual International Computer Software and Applications Conference …, 2001
662001
Using combinatorial approaches for testing mobile applications
S Vilkomir, B Amstutz
2014 IEEE seventh international conference on software testing, verification …, 2014
482014
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
452006
Tolerance of control-flow testing criteria
SA Vilkomir, K Kapoor, JP Bowen
Proceedings 27th Annual International Computer Software and Applications …, 2003
432003
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
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
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
352015
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
332013
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
292012
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
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
282005
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
Formalization and assessment of regulatory requirements for safety-critical software
SA Vilkomir, JP Bowen, AK Ghose
Innovations in Systems and Software Engineering 2, 165-178, 2006
232006
Multi-device coverage testing of mobile applications
S Vilkomir
Software quality journal 26 (2), 197-215, 2018
222018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20