• Citations Per Year
Learn More
Annotating functional correctness properties of code using assertions, in principle, enables systematic checking of code against behavioral properties. In practice however, checking assertions can be costly, especially for complex code annotated with rich behavioral properties. This paper introduces a novel approach for distributing the problem of checking(More)
BACKGROUND Adoptive cell transfer (ACT) immunotherapy has been used clinically for years to treat malignancies. Improving the killing efficiency of effector cells, such as tumor-specific cytotoxic T lymphocytes (CTLs), is an important component for enhancing the clinical response of cancer immunotherapy. Hence, we explored a novel method for preparing(More)
While annotating functional correctness properties of code, e.g., using assertions, enables automated conformance checking of program behaviors to expected properties and has found its use in many bug finding techniques, efficiently checking properties in practice remains challenging. In this paper, we introduce a novel approach to distributing checking(More)
  • 1