Search Results - "Software/Program Verification—Programming by contract"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software by Araujo, Wladimir, Briand, Lionel C., Labiche, Yvan

    ISSN: 0098-5589, 1939-3520
    Published: New York IEEE 01.10.2014
    Published in IEEE transactions on software engineering (01.10.2014)
    “…Design by contract (DbC) is a software development methodology that focuses on clearly defining the interfaces between components to produce better quality…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: