Login / Signup
Test Coverage Metric for Two-Staged Language with Abstract Interpretation.
Taeksu Kim
Chunwoo Lee
Kiljoo Lee
Soohyun Baik
Chisu Wu
Kwangkeun Yi
Published in:
APSEC (2009)
Keyphrases
</>
abstract interpretation
test suite
termination analysis
programming language
static analysis
natural language
test cases
model checking
object oriented
logic programming
database design
integrity constraints
modeling language
reasoning engine