Showing 1 - 3 results of 3 for search '"software verification"', query time: 0.08s Refine Results
  1. 1
    Locality-guided based optimization method for bounded model checker

    Locality-guided based optimization method for bounded model checker by Shun WANG, Ye DU, Zhen HAN, Jiqiang LIU

    Published 2018-03-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Verification Analysis of the Ground Comprehensive Application Software for CMD System

    Verification Analysis of the Ground Comprehensive Application Software for CMD System by 杨颖, 金炜东

    Published 2011-01-01
    Subjects: “…software verification…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    The acceptance, use, and perceptions of metamorphic testing for a sample of open-source software developers

    The acceptance, use, and perceptions of metamorphic testing for a sample of open-source software developers by Brittany R. Hoard

    Published 2025-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: