FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3125292927> ?p ?o ?g. }

• W3125292927 abstract "Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability requires a specification of the intended behavior of the software under analysis. Unfortunately, software many times lacks such specifications. This issue seriously diminishes the analyzability of software with respect to its reliability. Thus, finding novel techniques to capture the intended software behavior in the form of specifications would allow us to exploit them for automated reliability analysis." @default.
• W3125292927 created "2021-02-01" @default.
• W3125292927 creator A5074123997 @default.
• W3125292927 date "2020-12-21" @default.
• W3125292927 modified "2023-10-16" @default.
• W3125292927 title "Applying learning techniques to oracle synthesis" @default.
• W3125292927 cites W1495557642 @default.
• W3125292927 cites W1561073825 @default.
• W3125292927 cites W1867640862 @default.
• W3125292927 cites W1970168990 @default.
• W3125292927 cites W1971650562 @default.
• W3125292927 cites W1986544324 @default.
• W3125292927 cites W1988537734 @default.
• W3125292927 cites W1990543981 @default.
• W3125292927 cites W2015310615 @default.
• W3125292927 cites W2022151497 @default.
• W3125292927 cites W2041713059 @default.
• W3125292927 cites W2052602498 @default.
• W3125292927 cites W2088802044 @default.
• W3125292927 cites W2107709519 @default.
• W3125292927 cites W2110908283 @default.
• W3125292927 cites W2122947685 @default.
• W3125292927 cites W2128360943 @default.
• W3125292927 cites W2139555094 @default.
• W3125292927 cites W2145373440 @default.
• W3125292927 cites W2161246680 @default.
• W3125292927 cites W2343875716 @default.
• W3125292927 cites W2464784130 @default.
• W3125292927 cites W2953254264 @default.
• W3125292927 cites W2954455540 @default.
• W3125292927 cites W2978858456 @default.
• W3125292927 cites W2998216295 @default.
• W3125292927 cites W4205092808 @default.
• W3125292927 cites W4253606798 @default.
• W3125292927 doi "https://doi.org/10.1145/3324884.3415287" @default.
• W3125292927 hasPublicationYear "2020" @default.
• W3125292927 type Work @default.
• W3125292927 sameAs 3125292927 @default.
• W3125292927 citedByCount "1" @default.
• W3125292927 countsByYear W31252929272022 @default.
• W3125292927 crossrefType "proceedings-article" @default.
• W3125292927 hasAuthorship W3125292927A5074123997 @default.
• W3125292927 hasConcept C115903868 @default.
• W3125292927 hasConcept C117447612 @default.
• W3125292927 hasConcept C121332964 @default.
• W3125292927 hasConcept C127413603 @default.
• W3125292927 hasConcept C163258240 @default.
• W3125292927 hasConcept C165696696 @default.
• W3125292927 hasConcept C174683762 @default.
• W3125292927 hasConcept C186846655 @default.
• W3125292927 hasConcept C199360897 @default.
• W3125292927 hasConcept C200601418 @default.
• W3125292927 hasConcept C201515116 @default.
• W3125292927 hasConcept C21547014 @default.
• W3125292927 hasConcept C2777904410 @default.
• W3125292927 hasConcept C38652104 @default.
• W3125292927 hasConcept C41008148 @default.
• W3125292927 hasConcept C43214815 @default.
• W3125292927 hasConcept C48002344 @default.
• W3125292927 hasConcept C529173508 @default.
• W3125292927 hasConcept C52928878 @default.
• W3125292927 hasConcept C55166926 @default.
• W3125292927 hasConcept C62520636 @default.
• W3125292927 hasConceptScore W3125292927C115903868 @default.
• W3125292927 hasConceptScore W3125292927C117447612 @default.
• W3125292927 hasConceptScore W3125292927C121332964 @default.
• W3125292927 hasConceptScore W3125292927C127413603 @default.
• W3125292927 hasConceptScore W3125292927C163258240 @default.
• W3125292927 hasConceptScore W3125292927C165696696 @default.
• W3125292927 hasConceptScore W3125292927C174683762 @default.
• W3125292927 hasConceptScore W3125292927C186846655 @default.
• W3125292927 hasConceptScore W3125292927C199360897 @default.
• W3125292927 hasConceptScore W3125292927C200601418 @default.
• W3125292927 hasConceptScore W3125292927C201515116 @default.
• W3125292927 hasConceptScore W3125292927C21547014 @default.
• W3125292927 hasConceptScore W3125292927C2777904410 @default.
• W3125292927 hasConceptScore W3125292927C38652104 @default.
• W3125292927 hasConceptScore W3125292927C41008148 @default.
• W3125292927 hasConceptScore W3125292927C43214815 @default.
• W3125292927 hasConceptScore W3125292927C48002344 @default.
• W3125292927 hasConceptScore W3125292927C529173508 @default.
• W3125292927 hasConceptScore W3125292927C52928878 @default.
• W3125292927 hasConceptScore W3125292927C55166926 @default.
• W3125292927 hasConceptScore W3125292927C62520636 @default.
• W3125292927 hasLocation W31252929271 @default.
• W3125292927 hasOpenAccess W3125292927 @default.
• W3125292927 hasPrimaryLocation W31252929271 @default.
• W3125292927 hasRelatedWork W1970649418 @default.
• W3125292927 hasRelatedWork W2021760171 @default.
• W3125292927 hasRelatedWork W2181390869 @default.
• W3125292927 hasRelatedWork W2335367379 @default.
• W3125292927 hasRelatedWork W2495780759 @default.
• W3125292927 hasRelatedWork W2599857630 @default.
• W3125292927 hasRelatedWork W2727164922 @default.
• W3125292927 hasRelatedWork W3016442572 @default.
• W3125292927 hasRelatedWork W3088145624 @default.
• W3125292927 hasRelatedWork W4320803956 @default.
• W3125292927 isParatext "false" @default.
• W3125292927 isRetracted "false" @default.
• W3125292927 magId "3125292927" @default.

• next