Computation Tree Logic Guided Program Repair
| Title: | Computation Tree Logic Guided Program Repair |
|---|---|
| Authors: | Liu, Y.; Song, Y.; Mirchev, M.; Roychoudhury, A. |
| Source: | IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. PP(99):1-17 |
| Database: | IEEE Xplore Digital Library |