Sledovat
Sergiy Vilkomir
Sergiy Vilkomir
Department of Computer Science, East Carolina University, USA
E-mailová adresa ověřena na: ecu.edu - Domovská stránka
Název
Citace
Citace
Rok
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
5462009
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
722002
Formalization of software testing criteria using the Z notation
SA Vilkomir, JP Bowen
25th Annual International Computer Software and Applications Conference …, 2001
672001
Using combinatorial approaches for testing mobile applications
S Vilkomir, B Amstutz
2014 IEEE seventh international conference on software testing, verification …, 2014
532014
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
432003
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
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
392005
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
362013
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
312013
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
272015
Multi-device coverage testing of mobile applications
S Vilkomir
Software quality journal 26 (2), 197-215, 2018
252018
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
Modeling input space for testing scientific computational software: A case study
SA Vilkomir, WT Swain, JH Poore, KT Clarno
Computational Science–ICCS 2008: 8th International Conference, Kraków …, 2008
242008
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20