( en | de | ru )

 

Disambiguation of "Petrenko, Alexandre"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling basic LOTOS by FSMs for conformance testing.

, , and . PSTV, volume 38 of IFIP Conference Proceedings, page 137-152. Chapman & Hall, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nikolaj Petrenko

Olga Petrenko

Alexandre Alexeev

Alexandre Darmoise

Alexandre Martins

 

Other publications of authors with the same name

Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.. MOVEP, volume 2067 of Lecture Notes in Computer Science, page 196-205. Springer, (2000)Generating asynchronous test cases from test purposes., and . Inf. Softw. Technol., 53 (11): 1252-1262 (2011)Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach., and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 243-256. Springer, (2019)Towards Testing from Finite State Machines with Symbolic Inputs and Outputs.. MoDELS, page 187. ACM, (2018)Model-based testing of software and systems: recent advances and challenges., , and . Int. J. Softw. Tools Technol. Transf., 14 (4): 383-386 (2012)Comparing finite state machine test., , and . IET Softw., 3 (2): 91-105 (2009)Transition covering tests for systems with queues., and . Softw. Test. Verification Reliab., 19 (1): 55-83 (2009)Dynamic analysis of java applications for multithreaded antipatterns., , , and . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 1-7 (2005)Conformance Testing of Protocol Machines without Reset., , and . PSTV, volume C-16 of IFIP Transactions, page 241-256. North-Holland, (1993)Modeling basic LOTOS by FSMs for conformance testing., , and . PSTV, volume 38 of IFIP Conference Proceedings, page 137-152. Chapman & Hall, (1995)