Computation Tree Logic Guided Program Repair

Yu Liu, Yahui Song, Martin Mirchev +1

Temporal logics like Computation Tree Logic (CTL) have been widely used as expressive formalisms to capture rich behavioral specifications. CTL can express properties such as reach…