Code Coverage Sample Clauses

Code Coverage. This measures the extent to which the source code of the program has been tested and may include function coverage, statement coverage, decision coverage, condition coverage, parameter value coverage; and state coverage.
AutoNDA by SimpleDocs
Code Coverage. This measures the extent to which the source code of the program has been tested and may include function coverage, statement coverage, decision coverage, condition coverage, parameter value coverage; and state coverage. and any other metrics specified at paragraph 4 of the SOW.
Code Coverage. The above validation techniques are complemented by code coverage analysis techniques. In particular, we try to ensure that Points 1 and 4 above cover all predicates and clauses of the ProB kernel. As we are not law1 == (dom(ff\/gg) = dom(ff) \/ dom(gg)); law2 == (ran(ff\/gg) = ran(ff) \/ ran(gg)); law3 == (dom(ff/\gg) <: dom(ff) /\ dom(gg)); law4 == (ran(ff/\gg) <: ran(ff) /\ ran(gg)); law5 == ( (ff \/ gg)~ = ff~ \/ gg~); law6 == (dom((ff ; (gg~))) <: dom(ff));

Related to Code Coverage

  • Life Coverage Paragraph 1: The Board shall provide a group term life coverage in the sum of $30,000 for all teachers employed half time or more. Any increases in coverage shall not be effective until the teacher reports or is able to report for work.

  • Single Coverage The School District will pay up to $28.00 per month for individual coverage for each full-time teacher who qualifies for and enrolls in the School District's group dental insurance plan.

  • Retiree Coverage Pre-Medicare: Employees who retire on or after January 1, 2011, will be provided the same health care benefits, including but not limited to, cost sharing, that it provides to its active employees until the retiree becomes eligible for Medicare. In the event health care benefits for active employees are eliminated in their entirety, which shall include a change to a one-hundred (100%) percent employee contributory health savings plan, the last health care benefits plan in effect for retirees preceding the elimination of the plan shall remain in effect (absent a contrary order from a Court of competent jurisdiction) until the Employer again provides a health care benefits plan to active employees. Medicare: Retirees must enroll in the Part B Medicare program commencing on the date they first become eligible to participate in the program. Retirees shall be responsible for the cost of such coverage. The Employer shall make available to those retirees who are properly enrolled in the Part B Medicare Program as above provided, a Supplemental Plan, with a $100 deductible. Such Plan will have the same Rx drug benefits the County provides its active employees. In the event Rx drug benefits for active employees are eliminated in their entirety, which shall include a change to a one-hundred (100%) percent employee contributory health savings plan, the Rx drug benefits last in effect for retirees preceding the elimination of the Rx drug benefits for active employees shall remain in effect (absent a contrary order from a Court of competent jurisdiction) until the Employer again provides Rx drug benefits to active employees.

  • Employee Coverage For employee dental coverage, the Employer contributes an amount equal to the lesser of ninety percent (90%) of the employee premium of the State Dental Plan, or the actual employee premium of the dental plan chosen by the employee. However, for calendar years beginning January 1, 2019, the minimum employee contribution shall be thirteen dollars and fifty cents ($13.50) per month.

  • Claims Made Coverage If any part of the Required Insurance is written on a claims made basis, any policy retroactive date shall precede the effective date of this Contract. Contractor understands and agrees it shall maintain such coverage for a period of not less than three (3) years following Contract expiration, termination or cancellation.

  • Life Insurance Coverage a. Fifteen Thousand ($15,000) Dollars life insurance policy with AD&D from an insurance carrier selected by the Board, subject to the provisions of this section. Such insurance shall pay double in the case of accidental death or dismemberment.

  • Insurance Coverage The Company and each Subsidiary maintains in full force and effect insurance coverage that is customary for comparably situated companies for the business being conducted and properties owned or leased by the Company and each Subsidiary, and the Company reasonably believes such insurance coverage to be adequate against all liabilities, claims and risks against which it is customary for comparably situated companies to insure.

  • Health Care Coverage The Company shall continue to provide Executive with medical, dental, vision and mental health care coverage at or equivalent to the level of coverage that the Executive had at the time of the termination of employment (including coverage for the Executive’s dependents to the extent such dependents were covered immediately prior to such termination of employment) for the remainder of the Term of Employment, provided, however that in the event such coverage may no longer be extended to Executive following termination of Executive’s employment either by the terms of the Company’s health care plans or under then applicable law, the Company shall instead reimburse Executive for the amount equivalent to the Company’s cost of substantially equivalent health care coverage to Executive under ERISA Section 601 and thereafter and Section 4980B of the Internal Revenue Code (i.e., COBRA coverage) for a period not to exceed the lesser of (A) 18 months after the termination of Executive’s employment or (B) the remainder of the Term of Employment, and provided further that (1) any such health care coverage or reimbursement for health care coverage shall cease at such time that Executive becomes eligible for health care coverage through another employer and (2) any such reimbursement shall be made no later than the last day of the calendar year following the end of the calendar year with respect to which such coverage or reimbursement is provided. The Company shall have no further obligations to the Executive as a result of termination of employment described in this Section 8(a) except as set forth in Section 12.

  • Insurance Coverages The Design Professional will promptly obtain and maintain the insurance coverage described on the Schedule of Project Details and provide the Owner with proof of that insurance before commencing services under this Agreement. The Design Professional agrees that the Services may not commence until all proof of required insurance has been provided to and approved by the Owner.

  • Health Insurance Coverage (a) An employee who is laid off or separated from employment on or after July 1, 1994, under circumstances which entitle such employee to reemployment rights under this Article, other than pursuant to Section 23, may elect to continue membership in their health benefit plan, upon advance payment of the regular percentage contribution to the cost of the plan, during the first six

Time is Money Join Law Insider Premium to draft better contracts faster.