Matches in SemOpenAlex for { <https://semopenalex.org/work/W2887123019> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2887123019 abstract "Temporal logic falsification is an approach to model-based testing, where test cases are generated from a temporal logic specification and are run on a system-under-test to determine whether the system-under-test falsifies the temporal logic specification. In this paper, we report on two extensions on an existing temporal logic falsification approach, implemented in the S-Taliro tool. The two extensions concerns dynamically determining the number of control points in the process of search for test-cases and also, decoupling the different time domains in the n-dimensional input search space. We have conducted an experimental analysis of our approach on two benchmarks: an automatic transmission system (from the automotive domain) and a delta-sigma modulator (from the electrical domain). The results indicate a significant improvement over the existing approach. The full paper concerning this research is accepted for publication in the proceedings of A-MOST 2018." @default.
- W2887123019 created "2018-08-22" @default.
- W2887123019 creator A5014062949 @default.
- W2887123019 creator A5040487816 @default.
- W2887123019 creator A5043020365 @default.
- W2887123019 creator A5049459229 @default.
- W2887123019 date "2018-04-01" @default.
- W2887123019 modified "2023-09-26" @default.
- W2887123019 title "Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification" @default.
- W2887123019 doi "https://doi.org/10.1109/mt-cps.2018.00010" @default.
- W2887123019 hasPublicationYear "2018" @default.
- W2887123019 type Work @default.
- W2887123019 sameAs 2887123019 @default.
- W2887123019 citedByCount "0" @default.
- W2887123019 crossrefType "proceedings-article" @default.
- W2887123019 hasAuthorship W2887123019A5014062949 @default.
- W2887123019 hasAuthorship W2887123019A5040487816 @default.
- W2887123019 hasAuthorship W2887123019A5043020365 @default.
- W2887123019 hasAuthorship W2887123019A5049459229 @default.
- W2887123019 hasConcept C11413529 @default.
- W2887123019 hasConcept C11648818 @default.
- W2887123019 hasConcept C127413603 @default.
- W2887123019 hasConcept C133731056 @default.
- W2887123019 hasConcept C134306372 @default.
- W2887123019 hasConcept C162670838 @default.
- W2887123019 hasConcept C198008173 @default.
- W2887123019 hasConcept C205606062 @default.
- W2887123019 hasConcept C25016198 @default.
- W2887123019 hasConcept C2776350369 @default.
- W2887123019 hasConcept C33923547 @default.
- W2887123019 hasConcept C36503486 @default.
- W2887123019 hasConcept C41008148 @default.
- W2887123019 hasConcept C4777664 @default.
- W2887123019 hasConcept C80444323 @default.
- W2887123019 hasConceptScore W2887123019C11413529 @default.
- W2887123019 hasConceptScore W2887123019C11648818 @default.
- W2887123019 hasConceptScore W2887123019C127413603 @default.
- W2887123019 hasConceptScore W2887123019C133731056 @default.
- W2887123019 hasConceptScore W2887123019C134306372 @default.
- W2887123019 hasConceptScore W2887123019C162670838 @default.
- W2887123019 hasConceptScore W2887123019C198008173 @default.
- W2887123019 hasConceptScore W2887123019C205606062 @default.
- W2887123019 hasConceptScore W2887123019C25016198 @default.
- W2887123019 hasConceptScore W2887123019C2776350369 @default.
- W2887123019 hasConceptScore W2887123019C33923547 @default.
- W2887123019 hasConceptScore W2887123019C36503486 @default.
- W2887123019 hasConceptScore W2887123019C41008148 @default.
- W2887123019 hasConceptScore W2887123019C4777664 @default.
- W2887123019 hasConceptScore W2887123019C80444323 @default.
- W2887123019 hasLocation W28871230191 @default.
- W2887123019 hasOpenAccess W2887123019 @default.
- W2887123019 hasPrimaryLocation W28871230191 @default.
- W2887123019 hasRelatedWork W114096090 @default.
- W2887123019 hasRelatedWork W1501045803 @default.
- W2887123019 hasRelatedWork W1575520076 @default.
- W2887123019 hasRelatedWork W1993855479 @default.
- W2887123019 hasRelatedWork W2051068608 @default.
- W2887123019 hasRelatedWork W2113541988 @default.
- W2887123019 hasRelatedWork W2114260919 @default.
- W2887123019 hasRelatedWork W2114282162 @default.
- W2887123019 hasRelatedWork W2133939589 @default.
- W2887123019 hasRelatedWork W2153030042 @default.
- W2887123019 hasRelatedWork W2166249092 @default.
- W2887123019 hasRelatedWork W2401027762 @default.
- W2887123019 hasRelatedWork W2402381551 @default.
- W2887123019 hasRelatedWork W2508442153 @default.
- W2887123019 hasRelatedWork W2530932940 @default.
- W2887123019 hasRelatedWork W2606610244 @default.
- W2887123019 hasRelatedWork W2769005473 @default.
- W2887123019 hasRelatedWork W3020575628 @default.
- W2887123019 hasRelatedWork W3098529747 @default.
- W2887123019 hasRelatedWork W3100743289 @default.
- W2887123019 isParatext "false" @default.
- W2887123019 isRetracted "false" @default.
- W2887123019 magId "2887123019" @default.
- W2887123019 workType "article" @default.