Matches in SemOpenAlex for { <https://semopenalex.org/work/W52652275> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W52652275 endingPage "222" @default.
- W52652275 startingPage "215" @default.
- W52652275 abstract "The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available. An approach to cope with this problem is to combine testing with learning techniques, such that the learned models of the components can be used to explore unknown implementation and thus facilitate testing efforts. In recent years, we have contributed to this approach by proposing techniques for learning parameterized state machine models and then use them in the integration testing of black box components. The major problem in this technique left unaddressed was the selection of parameter values during the learning process. In this paper, we propose to use an invariant detection mechanism to select values in the learning process, thus refining model inference and testing approach. Initial experiments with small examples yielded positive results." @default.
- W52652275 created "2016-06-24" @default.
- W52652275 creator A5059673708 @default.
- W52652275 creator A5082536208 @default.
- W52652275 date "2007-01-01" @default.
- W52652275 modified "2023-09-27" @default.
- W52652275 title "Using Invariant Detection Mechanism in Black Box Inference." @default.
- W52652275 cites W1533617020 @default.
- W52652275 cites W1542249763 @default.
- W52652275 cites W1574991981 @default.
- W52652275 cites W1604756141 @default.
- W52652275 cites W2066311810 @default.
- W52652275 cites W2110908283 @default.
- W52652275 cites W2164122643 @default.
- W52652275 cites W3106729728 @default.
- W52652275 cites W2507873988 @default.
- W52652275 hasPublicationYear "2007" @default.
- W52652275 type Work @default.
- W52652275 sameAs 52652275 @default.
- W52652275 citedByCount "1" @default.
- W52652275 crossrefType "journal-article" @default.
- W52652275 hasAuthorship W52652275A5059673708 @default.
- W52652275 hasAuthorship W52652275A5082536208 @default.
- W52652275 hasConcept C11413529 @default.
- W52652275 hasConcept C119857082 @default.
- W52652275 hasConcept C124101348 @default.
- W52652275 hasConcept C149091818 @default.
- W52652275 hasConcept C154945302 @default.
- W52652275 hasConcept C162443782 @default.
- W52652275 hasConcept C165464430 @default.
- W52652275 hasConcept C186846655 @default.
- W52652275 hasConcept C199360897 @default.
- W52652275 hasConcept C2776214188 @default.
- W52652275 hasConcept C2777904410 @default.
- W52652275 hasConcept C41008148 @default.
- W52652275 hasConcept C93959086 @default.
- W52652275 hasConcept C94966114 @default.
- W52652275 hasConcept C98045186 @default.
- W52652275 hasConceptScore W52652275C11413529 @default.
- W52652275 hasConceptScore W52652275C119857082 @default.
- W52652275 hasConceptScore W52652275C124101348 @default.
- W52652275 hasConceptScore W52652275C149091818 @default.
- W52652275 hasConceptScore W52652275C154945302 @default.
- W52652275 hasConceptScore W52652275C162443782 @default.
- W52652275 hasConceptScore W52652275C165464430 @default.
- W52652275 hasConceptScore W52652275C186846655 @default.
- W52652275 hasConceptScore W52652275C199360897 @default.
- W52652275 hasConceptScore W52652275C2776214188 @default.
- W52652275 hasConceptScore W52652275C2777904410 @default.
- W52652275 hasConceptScore W52652275C41008148 @default.
- W52652275 hasConceptScore W52652275C93959086 @default.
- W52652275 hasConceptScore W52652275C94966114 @default.
- W52652275 hasConceptScore W52652275C98045186 @default.
- W52652275 hasLocation W526522751 @default.
- W52652275 hasOpenAccess W52652275 @default.
- W52652275 hasPrimaryLocation W526522751 @default.
- W52652275 hasRelatedWork W1479987225 @default.
- W52652275 hasRelatedWork W1484835726 @default.
- W52652275 hasRelatedWork W1504525241 @default.
- W52652275 hasRelatedWork W1510878009 @default.
- W52652275 hasRelatedWork W1579105122 @default.
- W52652275 hasRelatedWork W1974291029 @default.
- W52652275 hasRelatedWork W2029447607 @default.
- W52652275 hasRelatedWork W2054704105 @default.
- W52652275 hasRelatedWork W2061323929 @default.
- W52652275 hasRelatedWork W2098165956 @default.
- W52652275 hasRelatedWork W2109337044 @default.
- W52652275 hasRelatedWork W2129886807 @default.
- W52652275 hasRelatedWork W220630699 @default.
- W52652275 hasRelatedWork W2402056577 @default.
- W52652275 hasRelatedWork W2414265918 @default.
- W52652275 hasRelatedWork W2605997782 @default.
- W52652275 hasRelatedWork W2885643150 @default.
- W52652275 hasRelatedWork W2986162417 @default.
- W52652275 hasRelatedWork W2988940688 @default.
- W52652275 hasRelatedWork W2555341099 @default.
- W52652275 isParatext "false" @default.
- W52652275 isRetracted "false" @default.
- W52652275 magId "52652275" @default.
- W52652275 workType "article" @default.