Test Case Generation. Symbolic execution [117] is the central part of most glassbox test case generation tools, which typically obtain the test cases from the branches of the symbolic execution tree.
Test Case Generation Sample Clauses
Related to Test Case Generation
PROCUREMENT CARD The State has entered into an agreement for purchasing card services. The Purchasing Card enables Authorized Users to make authorized purchases directly from a Contractor without processing Purchase Orders or Purchase Authorizations. Purchasing Cards are issued to selected employees authorized to purchase for the Authorized User and having direct contact with Contractors. Cardholders can make purchases directly from any Contractor that accepts the Purchasing Card. The Contractor shall not process a transaction for payment through the credit card clearinghouse until the purchased Products have been shipped or services performed. Unless the cardholder requests correction or replacement of a defective or faulty Product in accordance with other Contract requirements, the Contractor shall immediately credit a cardholder’s account for Products returned as defective or faulty.
Access Toll Connecting Trunk Group Architecture 9.2.1 If CSTC chooses to subtend a Verizon access Tandem, CSTC’s NPA/NXX must be assigned by CSTC to subtend the same Verizon access Tandem that a Verizon NPA/NXX serving the same Rate Center Area subtends as identified in the LERG. 9.2.2 CSTC shall establish Access Toll Connecting Trunks pursuant to applicable access Tariffs by which it will provide Switched Exchange Access Services to Interexchange Carriers to enable such Interexchange Carriers to originate and terminate traffic to and from CSTC’s Customers. 9.2.3 The Access Toll Connecting Trunks shall be two-way trunks. Such trunks shall connect the End Office CSTC utilizes to provide Telephone Exchange Service and Switched Exchange Access to its Customers in a given LATA to the access Tandem(s) Verizon utilizes to provide Exchange Access in such LATA. 9.2.4 Access Toll Connecting Trunks shall be used solely for the transmission and routing of Exchange Access to allow CSTC’s Customers to connect to or be connected to the interexchange trunks of any Interexchange Carrier which is connected to a Verizon access Tandem.
Television Equipment Recycling Program If this Contract is for the purchase or lease of covered television equipment, then Contractor certifies that it is compliance with Subchapter Z, Chapter 361 of the Texas Health and Safety Code related to the Television Equipment Recycling Program.
Radiation Therapy/Chemotherapy Services This plan covers chemotherapy and radiation services. This plan covers respiratory therapy services. When respiratory services are provided in your home, as part of a home care program, durable medical equipment, supplies, and oxygen are covered as a durable medical equipment service.
User Generated Content 10.1 As a user to this website, You may be allowed to post any User Generated Content (“User Content”) and You agree, by submitting your contribution, you xxxxx XX Group a perpetual, royalty-free, non-exclusive, sublicensable right and license to use, reproduce, edit, modify, adapt, publish, translate, create derivate works from, distribute, perform, play, make available to the public, and exercise all copyright and publicity rights with respect to your contribution worldwide and/or to incorporate your contribution in other works in any media, now known or later developed, for the full terms of any rights that may exist in your contribution. 10.2 You also hereby grant other user of TM Website a non-exclusive license to access your User Content through the access and/or use of TM Website, and to use such User Content only as permitted through the functionality of TM Website. 10.3 You understand and agree that TM may retain and store, but not display, distribute, or perform, server copies of User Content that has been removed or deleted. The above licenses granted to TM, by You in User Content is irrevocable. 10.4 Further to the foregoing paragraph, by submitting your User Content to us, You warrant that:- (a) your User Content is your own original work or have the necessary license, rights, consents, and permissions to use and authorize us to use all patent, trademark, trade secret, copyright or other proprietary rights in and to any and all User Content to enable TM to use of the User Content in the manner required by us and that you have the right to make it available to us for all the purposes specified above; (b) your User Content is not defamatory, threatening, injurious, insulting character, offensive, abusive, offensive on moral, menacing, religious or political grounds, impair your confidentiality obligations; (c) your User Content does not infringe the law; (d) You shall be solely responsible for your own User Content and the consequences of posting or publishing them; (e) You will not submit material that is copyrighted, protected by trade secret or otherwise subject to third party proprietary rights, including privacy and publicity rights, unless you are the owner of such rights or have permission from their rightful owner to post material and to grant us all of the license rights granted herein; and/or (f) waive any moral rights in your User Content for the purposes of its submission to and publication in TM Website and the purposes specified above. 10.5 You understand that whether or not such User Content is posted, TM does not guarantee any confidentiality with respect to any User Content. TM does not endorse any User Content or any opinion, recommendation, or advice expressed therein, and expressly disclaims any and all liability in connection with User Content. We do not permit activities which will infringe any Intellectual Property Rights including copyright and we will remove all infringing contents and User Content upon notification that such Content or User Content infringes on another’s Intellectual Property Rights. We further reserve the right to remove any Content or User Content without prior notice. 10.6 You understand and agree that we may review and delete any User Content that you posted at any time without notice, without liability and for any reason whatsoever, especially if you breach the terms and conditions herein. 10.7 We reserve the right to investigate and take appropriate legal action, in our sole discretion, against You for the User Content especially if it violates TM policy and report you to the Appropriate Authority.
Loop Provisioning Involving Integrated Digital Loop Carriers 2.6.1 Where Xxxx has requested an Unbundled Loop and BellSouth uses IDLC systems to provide the local service to the End User and BellSouth has a suitable alternate facility available, BellSouth will make such alternative facilities available to Xxxx. If a suitable alternative facility is not available, then to the extent it is technically feasible, BellSouth will implement one of the following alternative arrangements for Xxxx (e.g. hairpinning): 1. Roll the circuit(s) from the IDLC to any spare copper that exists to the customer premises. 2. Roll the circuit(s) from the IDLC to an existing DLC that is not integrated. 3. If capacity exists, provide "side-door" porting through the switch. 4. If capacity exists, provide "Digital Access Cross Connect System (DACS)- door" porting (if the IDLC routes through a DACS prior to integration into the switch). 2.6.2 Arrangements 3 and 4 above require the use of a designed circuit. Therefore, non- designed Loops such as the SL1 voice grade and UCL-ND may not be ordered in these cases. 2.6.3 If no alternate facility is available, and upon request from Xxxx, and if agreed to by both Parties, BellSouth may utilize its Special Construction (SC) process to determine the additional costs required to provision facilities. Xxxx will then have the option of paying the one-time SC rates to place the Loop.
Durable Medical Equipment (DME), Medical Supplies, Prosthetic Devices, Enteral Formula or Food, and Hair Prosthesis (Wigs) This plan covers durable medical equipment and supplies, prosthetic devices and enteral formula or food as described in this section. DME is equipment which: • can withstand repeated use; • is primarily and customarily used to serve a medical purpose; • is not useful to a person in the absence of an illness or injury; and • is for use in the home. DME includes supplies necessary for the effective use of the equipment. This plan covers the following DME: • wheelchairs, hospital beds, and other DME items used only for medical treatment; and • replacement of purchased equipment which is needed due to a change in your medical condition or if the device is not functional, no longer under warranty, or cannot be repaired. DME may be classified as a rental item or a purchased item. In most cases, this plan only pays for a rental DME up to our allowance for a purchased DME. Repairs and supplies for rental DME are included in the rental allowance. Medical supplies are consumable supplies that are disposable and not intended for re- use. Medical supplies require an order by a physician and must be essential for the care or treatment of an illness, injury, or congenital defect. Covered medical supplies include: • essential accessories such as hoses, tubes and mouthpieces for use with medically necessary DME (these accessories are included as part of the rental allowance for rented DME); • catheters, colostomy and ileostomy supplies, irrigation trays and surgical dressings; and • respiratory therapy equipment. This plan covers diabetic equipment and supplies for the treatment of diabetes in accordance with R.I. General Law §27-20-30. Covered diabetic equipment and supplies include: • therapeutic or molded shoes and inserts for custom-molded shoes for the prevention of amputation; • blood glucose monitors including those with special features for the legally blind, external insulin infusion pumps and accessories, insulin infusion devices and injection aids; and • lancets and test strips for glucose monitors including those with special features for the legally blind, and infusion sets for external insulin pumps. The amount you pay differs based on whether the equipment and supplies are bought from a durable medical equipment provider or from a pharmacy. See the Summary of Pharmacy Benefits and the Summary of Medical Benefits for details. Coverage for some diabetic equipment and supplies may only be available from either a DME provider or from a pharmacy. Visit our website to determine if this is applicable or call our Customer Service Department. Prosthetic devices replace or substitute all or part of an internal body part, including contiguous tissue, or replace all or part of the function of a permanently inoperative or malfunctioning body part and alleviate functional loss or impairment due to an illness, injury or congenital defect. Prosthetic devices do not include dental prosthetics. This plan covers the following prosthetic devices as required under R.I. General Law § 27-20-52: • prosthetic appliances such as artificial limbs, breasts, larynxes and eyes; • replacement or adjustment of prosthetic appliances if there is a change in your medical condition or if the device is not functional, no longer under warranty and cannot be repaired; • devices, accessories, batteries and supplies necessary for prosthetic devices; • orthopedic braces except corrective shoes and orthotic devices used in connection with footwear; and • breast prosthesis following a mastectomy, in accordance with the Women’s Health and Cancer Rights Act of 1998 and R.I. General Law 27-20-29. The prosthetic device must be ordered or provided by a physician, or by a provider under the direction of a physician. When you are prescribed a prosthetic device as an inpatient and it is billed by a provider other than the hospital where you are an inpatient, the outpatient benefit limit will apply. Enteral formula or food is nutrition that is absorbed through the intestinal tract, whether delivered through a feeding tube or taken orally. Enteral nutrition is covered when it is the sole source of nutrition and prescribed by the physician for home use. In accordance with R.I. General Law §27-20-56, this plan covers enteral formula taken orally for the treatment of: • malabsorption caused by Crohn’s Disease; • ulcerative colitis; • gastroesophageal reflux; • chronic intestinal pseudo obstruction; and • inherited diseases of amino acids and organic acids. Food products modified to be low protein are covered for the treatment of inherited diseases of amino acids and organic acids. Preauthorization may be required. The amount that you pay may differ depending on whether the nutrition is delivered through a feeding tube or taken orally. When enteral formula is delivered through a feeding tube, associated supplies are also covered. This plan covers hair prosthetics (wigs) worn for hair loss suffered as a result of cancer treatment in accordance with R.I. General Law § 27-20-54 and subject to the benefit limit and copayment listed in the Summary of Medical Benefits. This plan will reimburse the lesser of the provider’s charge or the benefit limit shown in the Summary of Medical Benefits. If the provider’s charge is more than the benefit limit, you are responsible for paying any difference. This plan covers Early Intervention Services in accordance with R.I. General Law §27- 20-50. Early Intervention Services are educational, developmental, health, and social services provided to children from birth to thirty-six (36) months. The child must be certified by the Rhode Island Department of Human Services (DHS) to enroll in an approved Early Intervention Services program. Services must be provided by a licensed Early Intervention provider and rendered to a Rhode Island resident. Members not living in Rhode Island may seek services from the state in which they reside; however, those services are not covered under this plan. Early Intervention Services as defined by DHS include but are not limited to the following: • speech and language therapy; • physical and occupational therapy; • evaluation; • case management; • nutrition; • service plan development and review; • nursing services; and • assistive technology services and devices.
Spares Boeing will revise, as applicable, the customized Recommended Spares Parts List (RSPL) and Illustrated Parts Catalog (IPC).
Skilled Care in a Nursing Facility This plan covers skilled nursing services in a skilled nursing facility if: • the services are prescribed by a physician: • your condition needs skilled nursing services, skilled rehabilitation services or skilled nursing observation; • the services are provided by or supervised by licensed technical or professional medical personnel; and • the services are not custodial care, respite care, day care, or for the purpose of assisting with activities of daily living.
Originating Switched Access Detail Usage Data A category 1101XX record as defined in the EMI Telcordia Practice BR-010-200- 010.
