Fault Detection in Timed FSM with Timeouts by SAT-Solving | 0 | 0.34 | 2019 |
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. | 0 | 0.34 | 2019 |
Using Imprecise Test Oracles Modelled by FSM | 0 | 0.34 | 2019 |
Fault model-driven testing from FSM with symbolic inputs | 0 | 0.34 | 2019 |
Fault Detection for Timed FSM with Timeouts by Constraint Solving. | 0 | 0.34 | 2018 |
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. | 3 | 0.39 | 2017 |
Test Generation by Constraint Solving and FSM Mutant Killing. | 3 | 0.38 | 2016 |
Multiple Mutation Testing from FSM. | 3 | 0.39 | 2016 |
Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study. | 0 | 0.34 | 2016 |
Model-based testing of automotive software: some challenges and solutions | 4 | 0.43 | 2015 |
Reachability in hierarchical machines | 1 | 0.36 | 2014 |
Remote Testing of Timed Specifications. | 2 | 0.40 | 2013 |
Test Selection for Data-Flow Reactive Systems Based on Observations | 3 | 0.39 | 2011 |