Login / Signup
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking.
Carmen Avila
Guillermo Flores
Yoonsik Cheon
Published in:
Software Engineering Research and Practice (2008)
Keyphrases
</>
constraint language
constraint checking
integrity constraints
linear constraints
constraint programming
databases
knowledge base
constrained optimization
database
search engine
test cases
multiple constraints