Around FaultLens: Learning Compact Behavioral Test Suites for Generated Operational Programs

Every recorded relation of FaultLens: Learning Compact Behavioral Test Suites for Generated Operational Programs, coloured by entity type. Click a node to open it.