共 24 条
[2]
[Anonymous], PLDI
[3]
[Anonymous], 2009, P 36 ANN S PRINC PRO
[5]
Looper: Lightweight Detection of Infinite Loops at Runtime
[J].
2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS,
2009,
:161-169
[6]
Goldsmith S., 2007, ESEC SIGSOFT FSE
[7]
Gulwani S., 2014, NON TRADITIONAL REF
[8]
Gulwani S., 2014, ABS14034064 CORR
[9]
The Reachability-Bound Problem
[J].
PLDI '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION,
2010,
:292-304
[10]
Proving Non-Termination
[J].
POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES,
2008,
:147-158