Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Robert Hierons
Generating Feasible Transition Paths for Testing From an Extended Finite State Machine (EFSM) With the Counter Problem
Testability Transformation – Program Transformation to Improve Testability
Related publications
Generating Feasible Transition Paths for Testing From an Extended Finite State Machine (EFSM)
Test Generation From an Extended Finite State Machine as a Multiobjective Optimization Problem
On Transition Time Testing Based on Extended Finite State Machines
Expanding an Extended Finite State Machine to Aid Testability
Blended Local Planning for Generating Safe and Feasible Paths
Testing From a Finite-State Machine: Extending Invertibility to Sequences
Computer Journal
Computer Science
A Novel Framework for Test Domain Reduction Using Extended Finite State Machine
A Method to Derive a Single-Efsm From Communicating Multi-Efsm for Data Part Testing
An Exact Extended Formulation for the Unrelated Parallel Machine Total Weighted Completion Time Problem
Journal of Scheduling
Management Science
Engineering
Operations Research
Artificial Intelligence
Software
