Alexandre Petrenko
Cited by
Cited by
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
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
Confirming configurations in EFSM testing
A Petrenko, S Boroday, R Groz
IEEE Transactions on Software engineering 30 (1), 29-42, 2004
Testing from partial deterministic FSM specifications
A Petrenko, N Yevtushenko
IEEE Transactions on Computers 54 (9), 1154-1165, 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
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
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
Prioritizing test cases with string distances
Y Ledru, A Petrenko, S Boroday, N Mandran
Automated Software Engineering 19, 65-95, 2012
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
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
Fault models for testing in context
A Petrenko, N Yevtushenko, G Bochmann
Formal Description Techniques IX: Theory, Application and Tools, 163-178, 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
Testing in context: framework and test derivation
A Petrenko, N Yevtushenko, G Bochmann, R Dssouli
Computer communications 19 (14), 1236-1249, 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
Checking experiments with protocol machines
A Petrenko
Proceedings of the IFIP TC6/WG6. 1 Fourth International Workshop on Protocol …, 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
Conformance Relations and Test Derivation.
A Petrenko, G von Bochmann, R Dssouli
Protocol Test Systems, 157-178, 1993
The unknown component problem: theory and applications
T Villa, N Yevtushenko, RK Brayton, A Mishchenko, A Petrenko, ...
Springer Science & Business Media, 2011
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
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
The system can't perform the operation now. Try again later.
Articles 1–20