Coverage-guided test generation for continuous and hybrid systems (Q1039844): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: The algorithmic analysis of hybrid systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Test Coverage for Continuous and Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Robust Test Generation and Coverage for Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sampling-based Algorithm for Testing and Validating Robot Controllers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4953402 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: From Verification to Falsification / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algorithm to compute bounds for the star discrepancy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Randomized Halton sequences / rank
 
Normal rank

Revision as of 04:39, 2 July 2024

scientific article
Language Label Description Also known as
English
Coverage-guided test generation for continuous and hybrid systems
scientific article

    Statements

    Coverage-guided test generation for continuous and hybrid systems (English)
    0 references
    0 references
    0 references
    23 November 2009
    0 references
    hybrid systems
    0 references
    model-based testing
    0 references
    conformance testing
    0 references
    test coverage
    0 references
    test generation
    0 references

    Identifiers