Sign in
SMT based false causal loop detection during code synthesis from Polychronous specifications.
Bijoy Antony Jose
Abdoulaye Gamatié
Julien Ouy
Sandeep K. Shukla
Published in:
MEMOCODE (2011)
Keyphrases
</>
automatic detection
detection method
control flow
detection algorithm
object detection
source code
false positives
detection accuracy
code generation
anomaly detection
software systems
experimental data
detection rate
static analysis
statistical machine translation