@techreport{cardona-claise-netmod-yang-coverage-00,
    number =    {draft-cardona-claise-netmod-yang-coverage-00},
    type =      {Internet-Draft},
    institution =   {Internet Engineering Task Force},
    publisher = {Internet Engineering Task Force},
    note =      {Work in Progress},
    url =       {https://datatracker.ietf.org/doc/draft-cardona-claise-netmod-yang-coverage/00/},
    author =    {Camilo Cardona and Benoît Claise},
    title =     {{Guidelines for YANG Example Validation and Coverage Analysis in IETF Documents}},
    pagetotal = 15,
    year =      2026,
    month =     jul,
    day =       6,
    abstract =  {This document defines guidelines for including YANG example instances in IETF documents in a way that enables automatic extraction and validation. It introduces the concept of YANG module "coverage" to measure how thoroughly example instances exercise a YANG module's data nodes. By standardizing how YANG examples are included, validated, and measured for coverage, these guidelines help authors catch errors before publication and give reviewers and implementers greater confidence that the examples in a specification are correct and cover a sufficient range of scenarios - ultimately making the underlying data models easier to implement and use.},
}