| Using Imprecise Test Oracles Modelled by FSM | 0 | 0.34 | 2019 |
| Towards Testing from Finite State Machines with Symbolic Inputs and Outputs. | 1 | 0.35 | 2018 |
| Inferring FSM Models of Systems Without Reset | 0 | 0.34 | 2016 |
| Generalizing the DS-Methods for Testing Non-Deterministic FSMs | 5 | 0.39 | 2015 |
| Adaptive Testing of Nondeterministic Systems with FSM | 5 | 0.43 | 2014 |
| Inferring Approximated Models for Systems Engineering | 3 | 0.55 | 2014 |
| Generating Complete And Finite Test Suite For Ioco: Is It Possible? | 3 | 0.40 | 2014 |
| A Method and Tool for Test Optimization for Automotive Controllers | 10 | 0.49 | 2013 |
| A formal approach for run-time verification of web applications using scope-extended LTL | 5 | 0.43 | 2013 |
| Model-based testing of software and systems: recent advances and challenges | 13 | 0.58 | 2012 |
| Prioritizing test cases with string distances | 36 | 0.94 | 2012 |
| On reducing test length for FSMs with extra states | 12 | 0.64 | 2012 |
| Generating asynchronous test cases from test purposes | 17 | 0.69 | 2011 |
| Adaptive testing of deterministic implementations specified by nondeterministic FSMs | 19 | 0.92 | 2011 |
| Checking Completeness of Tests for Finite State Machines | 9 | 0.49 | 2010 |
| Fault Coverage-Driven Incremental Test Generation | 15 | 0.70 | 2010 |
| Generating Reduced Tests for FSMs with Extra States | 19 | 1.00 | 2009 |
| Inferring Behavioural Models from Traces of Business Applications | 4 | 0.46 | 2009 |
| Implementing MSC Tests with Quiescence Observation | 8 | 0.50 | 2009 |
| Comparing finite state machine test | 6 | 0.45 | 2009 |
| Web-FIM: Automated Framework for the Inference of Business Software Models | 0 | 0.34 | 2009 |
| Transition covering tests for systems with queues | 17 | 0.69 | 2009 |
| Generating Checking Sequences for Partial Reduced Finite State Machines | 23 | 0.88 | 2008 |
| Modular System Verification by Inference, Testing and Reachability Analysis | 18 | 0.80 | 2008 |
| Can a Model Checker Generate Tests for Non-Deterministic Systems? | 14 | 0.62 | 2007 |
| Reverse engineering models from traces to validate distributed systems: an industrial case study | 4 | 0.60 | 2007 |
| A formal approach to property testing in causally consistent distributed traces | 11 | 0.75 | 2006 |
| Why Automata Models Are Sexy For Testers? (Invited Talk) | 3 | 0.45 | 2006 |
| Testing from Partial Deterministic FSM Specifications | 72 | 2.05 | 2005 |
| Conformance tests as checking experiments for partial nondeterministic FSM | 18 | 0.85 | 2005 |
| Covering transitions of concurrent systems through queues | 6 | 0.50 | 2005 |
| Multiplexing of partially ordered events | 4 | 0.52 | 2005 |
| Antipattern-Based Detection of Deficiencies in Java Multithreaded Software | 14 | 0.72 | 2004 |
| On Testing Partially Specified IOTS through Lossless Queues | 17 | 0.87 | 2004 |
| Testing transition systems with input and output testers | 21 | 1.03 | 2003 |
| Test Generation Driven by User-defined Fault Models | 17 | 0.87 | 1999 |
| Automating The Process Of Test Derivation From Sdl Specifications | 21 | 1.30 | 1997 |
| Testing in context: framework and test derivation | 41 | 2.21 | 1996 |
| A framework for conformance testing of systems communicating through rendezvous | 1 | 0.40 | 1996 |
| On fault coverage of tests for finite state specifications | 47 | 3.20 | 1996 |
| Fault Coverage Analysis in Respect to an FSM Specification | 6 | 0.65 | 1994 |
