Generating Complete and Finite Test Suite for ioco: Is It Possible? von Simao, Adenilso, Petrenko, Alexandre

Volltext

Toward testing from finite state machines with symbolic inputs and outputs von Petrenko, Alexandre

Volltext

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings von Petrenko, Alexandre, Simao, Adenilso, Maldonado, Jose Carlos

Volltext

Conformance Tests as Checking Experiments for Partial Nondeterministic FSM von Petrenko, Alexandre, Yevtushenko, Nina

Volltext

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Pa... von Petrenko, Alexandre, Ulrich, Andreas

Volltext

Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach von Avellaneda, Florent, Petrenko, Alexandre

Volltext

Generalizing the DS-Methods for Testing Non-Deterministic FSMs von Petrenko, Alexandre, Simao, Adenilso

Volltext

Prioritizing test cases with string distances von Ledru, Yves, Petrenko, Alexandre, Boroday, Sergiy, Mandran, Nadine

Volltext

Generating asynchronous test cases from test purposes von Simao, Adenilso, Petrenko, Alexandre

Volltext

Formal Verification of Web Applications Modeled by Communicating Automata von Haydar, May, Petrenko, Alexandre, Sahraoui, Houari

Volltext

Testing of Software and Communicating Systems: 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 200... von Hutchison, David, Kanade, Takeo, Kittler, Josef, Grieskamp, Wolfgang

Volltext

Component-Based Design by Solving Language Equations von Villa, Tiziano, Petrenko, Alexandre, Yevtushenko, Nina, Mishchenko, Alan, Brayton, Robert

Volltext

FSM inference and checking sequence construction are two sides of the same coin von Petrenko, Alexandre, Avellaneda, Florent, Groz, Roland, Oriat, Catherine

Volltext

Checking Completeness of Tests for Finite State Machines von Simao, Adenilso, Petrenko, Alexandre

Volltext

Adaptive Testing of Nondeterministic Systems with FSM von Petrenko, Alexandre, Yevtushenko, Nina

Volltext

Checking Experiments for Finite State Machines with Symbolic Inputs von Petrenko, Alexandre, Simao, Adenilso

Volltext

FSM inference and checking sequence construction are two sides of the same coin von Petrenko, Alexandre, Avellaneda, Florent, Groz, Roland, Oriat, Catherine

Volltext

Generating asynchronous test cases from test purposes von Simao, Adenilso, Petrenko, Alexandre

Volltext

FSM Inference from Long Traces von Avellaneda, Florent, Petrenko, Alexandre

Volltext

Learning Communicating State Machines von Petrenko, Alexandre, Avellaneda, Florent

Volltext