Browsing by Subject "Mutation testing"
Now showing items 1-3 of 3
-
Assessing test suites of extended finite state machines against model and code based faults
(John Wiley & Sons, 2021)Tests can be derived from extended finite state machine (EFSM) specifications considering the coverage of single-transfer faults, all transitions using a transition tour, all-uses, edge-pair, and prime path with side trip. ... -
A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices
(2023-11)With the rapid growth in the number of IoT devices being added to the network, a major concern that arises is the security of these systems. As these devices are resource constrained, safety measures are difficult to ...