Treffer: CTFTP: A Test Case Generation Strategy for General Boolean Expressions Based on Ordered Binary Label-Driven Petri Nets

Title:
CTFTP: A Test Case Generation Strategy for General Boolean Expressions Based on Ordered Binary Label-Driven Petri Nets
Authors:
Source:
IEEE Access Access, IEEE. 8:174516-174529 2020
Database:
IEEE Xplore Digital Library