| 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 | 361 | 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 | 355 | 1994 |
| Confirming configurations in EFSM testing A Petrenko, S Boroday, R Groz IEEE Transactions on Software engineering 30 (1), 29-42, 2004 | 251 | 2004 |
| Testing from partial deterministic FSM specifications A Petrenko, N Yevtushenko IEEE Transactions on Computers 54 (9), 1154-1165, 2005 | 177 | 2005 |
| Selecting test sequences for partially-specified nondeterministic finite state machines G Luo, A Petrenko, G v Bochmann Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop …, 1995 | 166 | 1995 |
| Testing deterministic implementations from nondeterministic FSM specifications A Petrenko, N Yevtushenko, G v Bochmann Testing of Communicating Systems: IFIP TC6 9th International Workshop on …, 1996 | 158 | 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 | 153 | 2000 |
| 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 | 147 | 1993 |
| Prioritizing test cases with string distances Y Ledru, A Petrenko, S Boroday, N Mandran Automated Software Engineering 19, 65-95, 2012 | 146 | 2012 |
| On fault coverage of tests for finite state specifications A Petrenko, GV Bochmann, M Yao Computer Networks and ISDN Systems 29 (1), 81-106, 1996 | 128 | 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 | 102 | 2005 |
| Fault models for testing in context A Petrenko, N Yevtushenko, G Bochmann Formal Description Techniques IX: Theory, Application and Tools, 163-178, 1996 | 101 | 1996 |
| Testing in context: framework and test derivation A Petrenko, N Yevtushenko, G Bochmann, R Dssouli Computer communications 19 (14), 1236-1249, 1996 | 94 | 1996 |
| Formal verification of web applications modeled by communicating automata M Haydar, A Petrenko, H Sahraoui Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004 | 82 | 2004 |
| Checking experiments with protocol machines A Petrenko Proceedings of the IFIP TC6/WG6. 1 Fourth International Workshop on Protocol …, 1991 | 73 | 1991 |
| The unknown component problem: theory and applications T Villa, N Yevtushenko, RK Brayton, A Mishchenko, A Petrenko, ... Springer Science & Business Media, 2011 | 67 | 2011 |
| 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 | 65 | 1992 |
| Conformance Relations and Test Derivation. A Petrenko, G von Bochmann, R Dssouli Protocol Test Systems, 157-178, 1993 | 64 | 1993 |
| Adaptive testing of deterministic implementations specified by nondeterministic FSMs A Petrenko, N Yevtushenko Testing Software and Systems: 23rd IFIP WG 6.1 International Conference …, 2011 | 63 | 2011 |
| Generating reduced tests for FSMs with extra states A Simão, A Petrenko, N Yevtushenko International Workshop on Formal Approaches to Software Testing, 129-145, 2009 | 58 | 2009 |
