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 | 486 | 2009 |
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 | 70 | 2002 |
Formalization of software testing criteria using the Z notation SA Vilkomir, JP Bowen 25th Annual International Computer Software and Applications Conference …, 2001 | 68 | 2001 |
Using combinatorial approaches for testing mobile applications S Vilkomir, B Amstutz 2014 IEEE seventh international conference on software testing, verification …, 2014 | 49 | 2014 |
Using formal methods to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, JH Dick, ... | 47 | 2008 |
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 | 46 | 2006 |
Tolerance of control-flow testing criteria SA Vilkomir, K Kapoor, JP Bowen Proceedings 27th Annual International Computer Software and Applications …, 2003 | 42 | 2003 |
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 | 40 | 2005 |
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 | 38 | 2006 |
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 | 37 | 2015 |
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 | 35 | 2013 |
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 | 33 | 2012 |
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 | 30 | 2013 |
Cloud testing: A state-of-the-art review S Vilkomir Information & Security 28 (2), 213, 2012 | 30 | 2012 |
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 | 29 | 2005 |
Co-evolution of complementary formal and informal requirements A Krishna, AK Ghose, SA Vilkomir Proceedings. 7th International Workshop on Principles of Software Evolution …, 2004 | 29 | 2004 |
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 | 25 | 2015 |
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 | 24 | 2011 |
Combinatorial test case selection with Markovian usage models SA Vilkomir, WT Swain, JH Poore Fifth International Conference on Information Technology: New Generations …, 2008 | 24 | 2008 |
Multi-device coverage testing of mobile applications S Vilkomir Software quality journal 26 (2), 197-215, 2018 | 23 | 2018 |