| Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method G Luo, G von Bochmann, A Petrenko IEEE Transactions on software Engineering 20 (2), 149-162, 1994 | 344 | 1994 |
| Protocol testing: review of methods and relevance for software testing GV Bochmann, A Petrenko Proceedings of the 1994 ACM SIGSOFT international symposium on Software …, 1994 | 331 | 1994 |
| Confirming configurations in EFSM testing A Petrenko, S Boroday, R Groz IEEE Transactions on Software engineering 30 (1), 29-42, 2004 | 232 | 2004 |
| Testing from partial deterministic FSM specifications A Petrenko, N Yevtushenko IEEE Transactions on Computers 54 (9), 1154-1165, 2005 | 160 | 2005 |
| Selecting test sequences for partially-specified nondeterministic finite state machines G Luo, A Petrenko, G Bochmann Protocol Test Systems, 95-110, 1995 | 149 | 1995 |
| Testing deterministic implementations from nondeterministic FSM specifications A Petrenko, N Yevtushenko, G Bochmann Testing of Communicating Systems, 125-140, 1996 | 146 | 1996 |
| Fault model-driven test derivation from finite state models: Annotated bibliography A Petrenko Summer School on Modeling and Verification of Parallel Processes, 196-205, 2000 | 140 | 2000 |
| On fault coverage of tests for finite state specifications A Petrenko, G Bochmann, M Yao Computer Networks and ISDN Systems 29 (1), 81-106, 1996 | 125 | 1996 |
| Nondeterministic state machines in protocol conformance testing A Petrenko, N Yevtushenko, A Lebedev, A Das Proceedings of the IFIP TC6/WG6. 1 Sixth International Workshop on Protocol …, 1993 | 124 | 1993 |
| Prioritizing test cases with string distances Y Ledru, A Petrenko, S Boroday, N Mandran Automated Software Engineering 19 (1), 65-95, 2012 | 119 | 2012 |
| Fault models for testing in context A Petrenko, N Yevtushenko, G Bochmann Formal Description Techniques IX, 163-178, 1996 | 91 | 1996 |
| Conformance tests as checking experiments for partial nondeterministic FSM A Petrenko, N Yevtushenko International Workshop on Formal Approaches to Software Testing, 118-133, 2005 | 85 | 2005 |
| Testing in context: framework and test derivation A Petrenko, N Yevtushenko, G Bochmann, R Dssouli Computer communications 19 (14), 1236-1249, 1996 | 82 | 1996 |
| Formal verification of web applications modeled by communicating automata M Haydar, A Petrenko, H Sahraoui International Conference on Formal Techniques for Networked and Distributed …, 2004 | 79 | 2004 |
| Checking experiments with protocol machines A Petrenko Proceedings of the IFIP TC6/WG6. 1 Fourth International Workshop on Protocol …, 1991 | 65 | 1991 |
| Test suite generation from a fsm with a given type of implementation errors A Petrenko, N Yevtushenko Proceedings of the IFIP TC6/WG6.1 Twelfth International Symposium on …, 1992 | 61 | 1992 |
| The unknown component problem: theory and applications T Villa, N Yevtushenko, RK Brayton, A Mishchenko, A Petrenko, ... Springer Science & Business Media, 2011 | 58 | 2011 |
| Generating reduced tests for FSMs with extra states A Simão, A Petrenko, N Yevtushenko Testing of Software and Communication Systems, 129-145, 2009 | 55 | 2009 |
| Adaptive testing of deterministic implementations specified by nondeterministic FSMs A Petrenko, N Yevtushenko IFIP International Conference on Testing Software and Systems, 162-178, 2011 | 54 | 2011 |
| Testing transition systems with input and output testers A Petrenko, N Yevtushenko, JL Huo IFIP International Conference on Testing of Software and Communicating …, 2003 | 53 | 2003 |
