Sergiy Vilkomir
Sergiy Vilkomir
Department of Computer Science, East Carolina University, USA
Bestätigte E-Mail-Adresse bei ecu.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
4232009
Formalization of software testing criteria using the Z notation
SA Vilkomir, JP Bowen
25th Annual International Computer Software and Applications Conference …, 2001
642001
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
622002
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
412006
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
Tolerance of control-flow testing criteria
SA Vilkomir, K Kapoor, JP Bowen
Proceedings 27th Annual International Computer Software and Applications …, 2003
412003
Using formal methods to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, JH Dick, ...
382008
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
372006
Using combinatorial approaches for testing mobile applications
S Vilkomir, B Amstutz
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
342014
Cloud testing: A state-of-the-art review
S Vilkomir
Information & Security 28 (2), 213, 2012
262012
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
262005
Co-evolution of complementary formal and informal requirements
A Krishna, AK Ghose, SA Vilkomir
Proceedings. 7th International Workshop on Principles of Software Evolution …, 2004
262004
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
252011
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
242015
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
242013
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
242013
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
222012
Combinatorial test case selection with Markovian usage models
SA Vilkomir, WT Swain, JH Poore
Fifth International Conference on Information Technology: New Generations …, 2008
212008
Cloud testing for mobile software systems
O Starov, S Vilkomir, V Kharchenko
8th International Joint Conference on Software Technologies, in ICSOFT, 2013
172013
From MC/DC to RC/DC: Formalization and analysis of control-flow testing criteria
SA Vilkomir, JP Bowen
Formal methods and testing, 240-270, 2008
152008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20