Alexandre Petrenko
Titre
Citée par
Citée par
Année
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
3141994
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
3091994
Confirming configurations in EFSM testing
A Petrenko, S Boroday, R Groz
IEEE Transactions on Software engineering 30 (1), 29-42, 2004
2152004
Testing from partial deterministic FSM specifications
A Petrenko, N Yevtushenko
IEEE Transactions on Computers 54 (9), 1154-1165, 2005
1422005
Selecting test sequences for partially-specified nondeterministic finite state machines
G Luo, A Petrenko, G Bochmann
Protocol Test Systems, 95-110, 1995
1351995
Testing deterministic implementations from nondeterministic FSM specifications
A Petrenko, N Yevtushenko, G Bochmann
Testing of Communicating Systems, 125-140, 1996
1341996
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
1251996
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
1242000
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
1081993
Fault models for testing in context
A Petrenko, N Yevtushenko, G Bochmann
Formal Description Techniques IX, 163-178, 1996
881996
Prioritizing test cases with string distances
Y Ledru, A Petrenko, S Boroday, N Mandran
Automated Software Engineering 19 (1), 65-95, 2012
822012
Testing in context: framework and test derivation
A Petrenko, N Yevtushenko, G Bochmann, R Dssouli
Computer communications 19 (14), 1236-1249, 1996
791996
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
762004
Conformance tests as checking experiments for partial nondeterministic FSM
A Petrenko, N Yevtushenko
International Workshop on Formal Approaches to Software Testing, 118-133, 2005
752005
Checking experiments with protocol machines
A Petrenko
Proceedings of the IFIP TC6/WG6. 1 Fourth International Workshop on Protocol …, 1991
671991
The unknown component problem: theory and applications
T Villa, N Yevtushenko, RK Brayton, A Mishchenko, A Petrenko, ...
Springer Science & Business Media, 2011
562011
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
551992
Conformance Relations and Test Derivation.
A Petrenko, G von Bochmann, R Dssouli
Protocol Test Systems, 157-178, 1993
541993
Generating reduced tests for FSMs with extra states
A Simão, A Petrenko, N Yevtushenko
Testing of Software and Communication Systems, 129-145, 2009
492009
Solution of parallel language equations for logic synthesis
N Yevtushenko, T Villa, RK Brayton, A Petrenko
IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE …, 2001
492001
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20