... based on mutation, named E-MPT (Estelle-directed Mutation-based Protocol Testing). This technique validates the EFSMs defined in the specification. It ...
確定! 回上一頁