Test Repair Sample Clauses

Test Repair. Consider a change contract whose target method m has different parameters in the updated version, as shown in the following change contract fragment: public void m(/*@ old param @*/ int i, /*@ new param @*/ boolean b). Since only the previous system is looked up when generating relevant tests, these tests fail to be compiled in the updated system complaining about method signature mismatches. Our test repair tool repairs such broken tests using a change contract. 7xxxx://xxxxxxx.xxxxxxxxxxx.xxx/. ACM Transactions on Software Engineering and Methodology, Vol. 24, No. 3, Article 18, Pub. date: May 2015. First, it is easy to deal with old parameters; they can simply be removed. Meanwhile, new parameters should be assigned proper values in repaired tests. Such values can be obtained from the requires clauses of change contracts. In the preceeding example, provided that the change contract contains “requires !b;”, one can infer that the value of the new parameter b should be false. In general, by using automated theorem provers, automatic inference of a new parameter value should be possible if the type of this new parameter is primitive. For a non-primitive-type parameter, it should be possible to use Randoop again and select a value that satisfies the requires clause of a given change contract. Currently, in our tool, only the test transformation is automated while the values for new parameters and new fields are given by a user.
AutoNDA by SimpleDocs

Related to Test Repair

  • Tenant Repairs Except for those items for which Landlord is responsible by virtue of Section 4.02 below, Tenant shall, at its own cost and expense, clean, repair, maintain and replace the interior of the Premises and any improvements, equipment and fixtures therein, including without limitation all plate glass, lighting and other fixtures and equipment inside the Premises whether or not they were initially installed at Landlord's expense, and any HVAC, electrical and mechanical systems that service the Premises, so as to keep them in good operating condition and in compliance with the requirements from time to time of all governmental authorities having jurisdiction. All repairs, maintenance and/or replacements made by Tenant shall be subject to Landlord's prior written approval, which will not be unreasonably withheld provided that the same are at least equal in quality and class to the original work and/or fixtures and equipment. In the event that Tenant fails to make any necessary repairs, Landlord shall have the right, at its option, after providing written notice to Tenant, to perform on behalf of Tenant any repair or replacement approved by Landlord and one hundred five percent (105%) of the reasonable cost and expense incurred shall be due within thirty (30) days of demand. Landlord and Tenant agree that the Landlord will obtain a reasonable and customary maintenance, repair and service contract on the HVAC system serving the Premises, the cost of which shall be billed to Tenant and shall be deemed to be Additional Rent. The parties agree that, notwithstanding any provision of this Lease to the contrary, Tenant's obligation to pay for the maintenance, repair and replacement of the Building-standard systems (which includes the HVAC, sprinkler, electrical and plumbing systems) serving the Premises shall be limited to: (i) the cost of maintaining and making minor repairs to the Building-standard systems serving the Premises; (ii) the cost of the afore-mentioned service contract on the HVAC system; (iii) Tenant's Share of any such costs that are included in Operating Expenses; and (iv) the first $4,000.00 per year of the cost of major repairs or the cost of replacing such Building-standard systems serving the Premises. Tenant shall promptly place all of its refuse in the trash receptacles provided for this purpose and shall not allow same to accumulate within the Premises or anywhere on the Common Areas. It is understood and agreed that all property of Tenant kept, stored or maintained in the Premises or the Project shall be at the sole risk of Tenant. Tenant agrees at its sole cost and expense to comply with all present and future laws regarding the collection, sorting, separation and recycling of waste products, garbage, refuse and trash.

  • Installation, Maintenance, Testing and Repair Unless otherwise agreed in writing by the Parties, to the extent required by Applicable Law, Interconnection provided by a Party shall be equal in quality to that provided by such Party to itself, any subsidiary, affiliates or third party. If either Party is unable to fulfill its obligations under this Section 14.2, it shall notify the other Party of its inability to do so and will negotiate alternative intervals in good faith. The Parties agree that to the extent required by Applicable Law, the standards to be used by a Party for isolating and clearing any disconnections and/or other outages or troubles shall be at parity with standards used by such Party with respect to itself, any subsidiary, affiliate or third party.

  • Repair or Replacement Except where an appraisal has been made, the Insurer, instead of making payment, may, within a reasonable time, repair, rebuild or replace the property damaged or lost with other of like kind and quality if, within seven days after the receipt of the proof of loss, it gives written notice of its intention to do so.

  • MAINTENANCE & REPAIR Tenant agrees that if there is any delay in maintenance or repairs for reasons beyond Landlord's control, this shall have no effect on Tenant's obligations under this lease.

  • Outage Repair Standard In the event of an outage or trouble in any Service being provided by a Party hereunder, the Providing Party will follow Verizon’s standard procedures for isolating and clearing the outage or trouble.

  • Repair (a) Tenant, at its sole cost and expense, shall take good care of the Premises, including all building equipment and systems located therein and serving the Premises. Tenant shall make all repairs, interior or exterior, structural or otherwise, as and when needed, to preserve the Premises, the need for which repair arises out of (i) the performance or existence of any Alteration to the Premises made by Tenant, (ii) the installation or operation of Tenant's property or fixtures, and the movement of same in or about the Premises or the Building, (iii) the acts, failures to act or negligence of Tenant or Tenant's servants, employees, contractors, agents, visitors or licensees, or (iv) the use, of the Premises by Tenant or Tenant's servants, employees, contractors, agents, visitors or licensees. Landlord shall not be liable for and, except as provided in Paragraph 20, there shall be no abatement of Rent with respect to any injury to or interference with Tenant's business arising from any repairs, maintenance, alteration or interruption of services in or to any portion of the Office Park or Building, including the Premises, or to the fixtures, appurtenances and equipment therein. (b) All repairs and replacements made by or on behalf of Tenant shall be made and performed in a workmanlike manner (i) at Tenant's cost and expense and at such time and in such manner as Landlord may designate, (ii) by contractors approved by Landlord, (iii) such work shall be at least equal in quality, value, and utility to the original work or installation, and (iv) in accordance with the Rules and Regulations for the Building adopted by Landlord from time to time and in accordance with all applicable laws and regulations of governmental authorities having jurisdiction over the Premises. If Tenant shall fail after 10 days' notice by Landlord to proceed with due diligence to make repairs required to be made by Tenant, Landlord may make the repairs at the expense of Tenant and the expenses thereof incurred by Landlord shall be reimbursed immediately as Additional Rent after submission of a xxxx or statement there for.

  • Contractor’s Equipment Payment for required equipment owned by the Construction Manager or an affiliate of the Construction Manager will be based solely on an hourly rate derived by dividing the current appropriate monthly rate by 176 hours. No payment will be made under any circumstances for repair costs, freight and transportation charges, fuel, lubricants, insurance, any other costs and expenses, or overhead and profit. Payment for such equipment made idle by delays attributable to the Government will be based on one-half the derived hourly rate under this subsection.

  • Maintenance and Repair (a) Subject to Landlord’s limited obligations under subparagraph 6(a), by taking possession of the Premises, Tenant shall be deemed to have accepted the Premises as being in good order, condition and repair. Tenant shall, at Tenant’s sole cost and expense, keep the Premises and every part thereof in good condition and repair, including without limitation, the maintenance, repair and replacement of any storefront, doors, window casements, glazing, plumbing, pipes, electrical wiring and conduits, and the heating and air conditioning (“HVAC”) system. Tenant shall obtain a service contract for repairs and maintenance of the HVAC system and shall provide to Landlord a copy of the service contract along with written details of any and all scheduled and other repairs and maintenance performed on the HVAC system within ten (10) days of the date of such performance. Tenant shall, upon the expiration or sooner termination of this Lease, surrender the Premises to Landlord in good condition, broom clean, ordinary wear and tear and damage subject to Paragraph 24 excepted. Except for damage subject to Paragraph 24, any damage caused by Tenant’s use of the Premises shall be repaired at the sole cost and expense of Tenant. (b) Except as specifically provided in subparagraph 6(a) above, Tenant shall repair and maintain the structural portions of the Building, including the exterior walls and roof. Landlord shall not be liable for Tenant’s failure to make such repairs or to perform any maintenance. There shall be no abatement of Rent and no liability of Landlord by reason of any injury to or interference with Tenant’s business arising from the making of any repairs, alterations or improvements in or to any portion of the Building or the Premises or in or to fixtures, appurtenances and equipment therein. Tenant waives any right to make repairs at Landlord’s expense under any law, statute or ordinance now or hereafter in effect. (c) If Tenant refuses or neglects to repair or maintain the Premises, as required herein, to the reasonable satisfaction of Landlord, Landlord shall provide Tenant with written notice of any such refusal or neglect and Tenant shall repair any item mentioned in said notice within thirty (30) days thereafter. If Tenant has not made such repairs within the 30-day period, Landlord may make such repairs without liability to the Tenant for any loss or damage it may accrue to Tenant’s merchandise, fixtures or other property or to Tenant’s business by reason thereof and, upon completion thereof, Tenant shall pay Landlord’s costs for making such repairs upon presentation of a xxxx thereof. In the event Tenant does not pay such xxxx within ten (10) days of its receipt, such failure shall be an event of default hereunder, Landlord shall be entitled to utilize all of its remedies herein and such amount shall bear interest at the rate of eighteen percent (18%) per annum from the date of the notice. Notwithstanding the foregoing, in the event that Tenant in good faith disputes Landlord’s claim that Tenant has failed to repair or maintain any aspect of the Premises, then if Landlord makes any repairs, Tenant shall not be obligated to pay for the repairs or any interest thereon until the dispute is finally determined; provided, that Tenant shall deposit the disputed amount with the Landlord until the dispute is resolved.

  • Cost of Repairs 54.1 Loss or damage to the Works or Materials to be incorporated in the Works between the Start Date and the end of the Defects Correction periods shall be remedied by the Contractor at the Contractor's cost if the loss or damage arises from the Contractor's acts or omissions.

  • Maintenance & Repairs 5.1 Lessee shall at all times be responsible for maintaining at its own expense the leased premises in a clean, orderly and safety condition, except as hereinafter provided. Lessee shall be responsible, at its own expense, to clean and maintain all trade fixtures, machinery and equipment furnished by Lessee within the leased premises. Lessee shall be responsible to deposit normal office waste and rubbish at a location at the Central School as designated by Lessor. 5.2 Lessee shall be responsible to perform all repairs the need for which is caused by Xxxxxx's use of the premises except that Lessor shall be responsible to perform major repairs of a structural nature. Lessor shall be responsible to arrange for removal of waste and rubbish from the location designated as the deposit location for lessees. All costs incurred by Lessor pursuant to the obligations of this Paragraph shall be included within "operating costs". 5.3 Lessor shall provide custodian services for the common areas of Central School. Costs incurred by Lessor in providing such custodian services shall be included within "operating costs".

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!