Search results for: Alexandre Petrenko
Software Quality Journal > 2019 > 27 > 2 > 501-527
Software Quality Journal > 2019 > 27 > 2 > 651-674
Software & Systems Modeling > 2019 > 18 > 2 > 825-835
Lecture Notes in Computer Science > Testing of Communicating Systems > Automata-Based Methodology > 129-145
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Test Generation > 153-168
Lecture Notes in Computer Science > Model Driven Architecture- Foundations and Applications > 184-193
Lecture Notes in Computer Science > Testing of Software and Communication Systems > Regular Papers > 129-145
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 115-132
Lecture Notes in Computer Science > Testing of Communicating Systems > Automata-Based Methodology > 180-196
Lecture Notes in Computer Science > Modeling and Verification of Parallel Processes > Annotated Bibliographies > 196-205
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Proceedings FATES 2005 > 118-133
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Concurrent System Testing > 216-233
Lecture Notes in Computer Science > Testing of Software and Communication Systems > Regular Papers > 49-65
Lecture Notes in Computer Science > Testing of Communicating Systems > Session VI: FSM-Based Testing and Diagnosis > 245-258
Lecture Notes in Computer Science
Lecture Notes in Computer Science