Alexandre Petrenko
Citée par
Citée par
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 Bochmann
Protocol Test Systems, 95-110, 1995
Testing deterministic implementations from nondeterministic FSM specifications
A Petrenko, N Yevtushenko, G Bochmann
Testing of Communicating Systems, 125-140, 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
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
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
Prioritizing test cases with string distances
Y Ledru, A Petrenko, S Boroday, N Mandran
Automated Software Engineering 19 (1), 65-95, 2012
Fault models for testing in context
A Petrenko, N Yevtushenko, G Bochmann
Formal Description Techniques IX, 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
International Conference on Formal Techniques for Networked and Distributed …, 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
The unknown component problem: theory and applications
T Villa, N Yevtushenko, RK Brayton, A Mishchenko, A Petrenko, ...
Springer Science & Business Media, 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
Adaptive testing of deterministic implementations specified by nondeterministic FSMs
A Petrenko, N Yevtushenko
IFIP International Conference on Testing Software and Systems, 162-178, 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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20