JTA: Joint Testability Architecture for Scenario-Based Validation of Safety-Critical Software

Wenyao Xue, Jiandi Wang, Yichen Wang

Validation adequacy in safety-critical software depends on more than the system under test. Critical scenarios must be constructed under controlled conditions, execution evidence m…