Matches in SemOpenAlex for { <https://semopenalex.org/work/W4252356254> ?p ?o ?g. }
- W4252356254 abstract "Specication guided falsication methods for hybrid systems have recently demonstrated their value in detecting design errors in models of safety critical systems. In specication guided falsication, the correctness problem, i.e., does the system satisfy the specication, is converted into an optimization problem where local negative minima indicate design errors. Due to the complexity of the resulting optimization problem, the problem is solved iteratively by performing a number of simulations on the system. Even though it is theoretically guaranteed that falsication methods will eventually find the bugs in the system, in practice, the performance of these methods, i.e., how many tests/simulations are executed before a bug is detected, depends on the specication, on the system and on the optimization method. In this paper, we define and utilize coverage metrics on the state space of hybrid systems in order to improve the performance of the falsication methods." @default.
- W4252356254 created "2022-05-12" @default.
- W4252356254 creator A5018670792 @default.
- W4252356254 creator A5029218442 @default.
- W4252356254 creator A5042439040 @default.
- W4252356254 creator A5058732387 @default.
- W4252356254 creator A5063584164 @default.
- W4252356254 date "2015-10-01" @default.
- W4252356254 modified "2023-10-17" @default.
- W4252356254 title "Requirements driven falsification with coverage metrics" @default.
- W4252356254 cites W1506101803 @default.
- W4252356254 cites W1508536183 @default.
- W4252356254 cites W1533557569 @default.
- W4252356254 cites W1538215585 @default.
- W4252356254 cites W1544649343 @default.
- W4252356254 cites W163074494 @default.
- W4252356254 cites W1676597814 @default.
- W4252356254 cites W1762537806 @default.
- W4252356254 cites W1966224165 @default.
- W4252356254 cites W1980911194 @default.
- W4252356254 cites W1981040965 @default.
- W4252356254 cites W1992777946 @default.
- W4252356254 cites W2026629052 @default.
- W4252356254 cites W2031397756 @default.
- W4252356254 cites W2038834149 @default.
- W4252356254 cites W2039287452 @default.
- W4252356254 cites W2041422323 @default.
- W4252356254 cites W2049399166 @default.
- W4252356254 cites W2054704105 @default.
- W4252356254 cites W2056605754 @default.
- W4252356254 cites W2076375575 @default.
- W4252356254 cites W2085838366 @default.
- W4252356254 cites W2086092403 @default.
- W4252356254 cites W2115331706 @default.
- W4252356254 cites W2120953717 @default.
- W4252356254 cites W2129231075 @default.
- W4252356254 cites W2131399618 @default.
- W4252356254 cites W2132394594 @default.
- W4252356254 cites W2153803621 @default.
- W4252356254 cites W2154221986 @default.
- W4252356254 cites W2167799541 @default.
- W4252356254 cites W2169180789 @default.
- W4252356254 cites W2172184261 @default.
- W4252356254 cites W2295694814 @default.
- W4252356254 cites W2487779201 @default.
- W4252356254 cites W2554968732 @default.
- W4252356254 cites W300871591 @default.
- W4252356254 cites W3168224710 @default.
- W4252356254 cites W59350782 @default.
- W4252356254 cites W93764711 @default.
- W4252356254 doi "https://doi.org/10.1109/emsoft.2015.7318257" @default.
- W4252356254 hasPublicationYear "2015" @default.
- W4252356254 type Work @default.
- W4252356254 citedByCount "15" @default.
- W4252356254 countsByYear W42523562542017 @default.
- W4252356254 countsByYear W42523562542018 @default.
- W4252356254 countsByYear W42523562542019 @default.
- W4252356254 countsByYear W42523562542020 @default.
- W4252356254 countsByYear W42523562542021 @default.
- W4252356254 countsByYear W42523562542022 @default.
- W4252356254 countsByYear W42523562542023 @default.
- W4252356254 crossrefType "proceedings-article" @default.
- W4252356254 hasAuthorship W4252356254A5018670792 @default.
- W4252356254 hasAuthorship W4252356254A5029218442 @default.
- W4252356254 hasAuthorship W4252356254A5042439040 @default.
- W4252356254 hasAuthorship W4252356254A5058732387 @default.
- W4252356254 hasAuthorship W4252356254A5063584164 @default.
- W4252356254 hasConcept C105795698 @default.
- W4252356254 hasConcept C11413529 @default.
- W4252356254 hasConcept C126255220 @default.
- W4252356254 hasConcept C134306372 @default.
- W4252356254 hasConcept C137836250 @default.
- W4252356254 hasConcept C186633575 @default.
- W4252356254 hasConcept C33923547 @default.
- W4252356254 hasConcept C41008148 @default.
- W4252356254 hasConcept C55439883 @default.
- W4252356254 hasConcept C72434380 @default.
- W4252356254 hasConceptScore W4252356254C105795698 @default.
- W4252356254 hasConceptScore W4252356254C11413529 @default.
- W4252356254 hasConceptScore W4252356254C126255220 @default.
- W4252356254 hasConceptScore W4252356254C134306372 @default.
- W4252356254 hasConceptScore W4252356254C137836250 @default.
- W4252356254 hasConceptScore W4252356254C186633575 @default.
- W4252356254 hasConceptScore W4252356254C33923547 @default.
- W4252356254 hasConceptScore W4252356254C41008148 @default.
- W4252356254 hasConceptScore W4252356254C55439883 @default.
- W4252356254 hasConceptScore W4252356254C72434380 @default.
- W4252356254 hasLocation W42523562541 @default.
- W4252356254 hasOpenAccess W4252356254 @default.
- W4252356254 hasPrimaryLocation W42523562541 @default.
- W4252356254 hasRelatedWork W2001264248 @default.
- W4252356254 hasRelatedWork W2018228211 @default.
- W4252356254 hasRelatedWork W2062243629 @default.
- W4252356254 hasRelatedWork W2098954338 @default.
- W4252356254 hasRelatedWork W2168546361 @default.
- W4252356254 hasRelatedWork W2283831177 @default.
- W4252356254 hasRelatedWork W2360099912 @default.
- W4252356254 hasRelatedWork W4281711591 @default.
- W4252356254 hasRelatedWork W4295024280 @default.
- W4252356254 hasRelatedWork W4225852813 @default.