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