NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"Generating feasible transition paths (FTPs)"”.

  1. Search-based software engineering: A search-based approach for testing from extended finite state machine (EFSM) models

    Kalaji, AbdulSalamBrunel University, School of Information Systems, Computing and Mathematics2010

    … The path feasibility problem concerns generating transition paths through an EFSM that are feasible and satisfy a given test criterion. In an EFSM, guards and assignments in a path‟s transitions may cause some selected paths to be infeasible. The problem of path test case generation is …

    brunel Repository record