FRINK Linked Data Fragments server

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

• W3186272039 abstract "UtBot is an automatic test generator for Java programs developed by Huawei and based on symbolic execution. It tries to cover as many branches as possible using the program's bytecode. To do that UtBot analyzes paths in the control flow graph of a given method, constructing constraints for them, and tries to find satisfying input values using SMT-solver to cover corresponding branches. In this paper, we report the results of UtBot at the ninth edition of the SBST 2021 tool competition." @default.
• W3186272039 created "2021-08-02" @default.
• W3186272039 creator A5011641259 @default.
• W3186272039 creator A5045425098 @default.
• W3186272039 creator A5053630905 @default.
• W3186272039 creator A5055046019 @default.
• W3186272039 creator A5056493315 @default.
• W3186272039 creator A5066377347 @default.
• W3186272039 date "2021-05-01" @default.
• W3186272039 modified "2023-09-27" @default.
• W3186272039 title "UtBot at the SBST2021 Tool Competition" @default.
• W3186272039 cites W3183304837 @default.
• W3186272039 doi "https://doi.org/10.1109/sbst52555.2021.00015" @default.
• W3186272039 hasPublicationYear "2021" @default.
• W3186272039 type Work @default.
• W3186272039 sameAs 3186272039 @default.
• W3186272039 citedByCount "3" @default.
• W3186272039 countsByYear W31862720392022 @default.
• W3186272039 countsByYear W31862720392023 @default.
• W3186272039 crossrefType "proceedings-article" @default.
• W3186272039 hasAuthorship W3186272039A5011641259 @default.
• W3186272039 hasAuthorship W3186272039A5045425098 @default.
• W3186272039 hasAuthorship W3186272039A5053630905 @default.
• W3186272039 hasAuthorship W3186272039A5055046019 @default.
• W3186272039 hasAuthorship W3186272039A5056493315 @default.
• W3186272039 hasAuthorship W3186272039A5066377347 @default.
• W3186272039 hasConcept C115903868 @default.
• W3186272039 hasConcept C121332964 @default.
• W3186272039 hasConcept C127413603 @default.
• W3186272039 hasConcept C132525143 @default.
• W3186272039 hasConcept C15524039 @default.
• W3186272039 hasConcept C160191386 @default.
• W3186272039 hasConcept C163258240 @default.
• W3186272039 hasConcept C164155591 @default.
• W3186272039 hasConcept C168702491 @default.
• W3186272039 hasConcept C18903297 @default.
• W3186272039 hasConcept C199360897 @default.
• W3186272039 hasConcept C24890656 @default.
• W3186272039 hasConcept C27458966 @default.
• W3186272039 hasConcept C2776244770 @default.
• W3186272039 hasConcept C2777472213 @default.
• W3186272039 hasConcept C2777904410 @default.
• W3186272039 hasConcept C2778770139 @default.
• W3186272039 hasConcept C2779639559 @default.
• W3186272039 hasConcept C2779818221 @default.
• W3186272039 hasConcept C2780428219 @default.
• W3186272039 hasConcept C2780992000 @default.
• W3186272039 hasConcept C41008148 @default.
• W3186272039 hasConcept C53942775 @default.
• W3186272039 hasConcept C548217200 @default.
• W3186272039 hasConcept C62520636 @default.
• W3186272039 hasConcept C78519656 @default.
• W3186272039 hasConcept C80444323 @default.
• W3186272039 hasConcept C86803240 @default.
• W3186272039 hasConcept C91306197 @default.
• W3186272039 hasConceptScore W3186272039C115903868 @default.
• W3186272039 hasConceptScore W3186272039C121332964 @default.
• W3186272039 hasConceptScore W3186272039C127413603 @default.
• W3186272039 hasConceptScore W3186272039C132525143 @default.
• W3186272039 hasConceptScore W3186272039C15524039 @default.
• W3186272039 hasConceptScore W3186272039C160191386 @default.
• W3186272039 hasConceptScore W3186272039C163258240 @default.
• W3186272039 hasConceptScore W3186272039C164155591 @default.
• W3186272039 hasConceptScore W3186272039C168702491 @default.
• W3186272039 hasConceptScore W3186272039C18903297 @default.
• W3186272039 hasConceptScore W3186272039C199360897 @default.
• W3186272039 hasConceptScore W3186272039C24890656 @default.
• W3186272039 hasConceptScore W3186272039C27458966 @default.
• W3186272039 hasConceptScore W3186272039C2776244770 @default.
• W3186272039 hasConceptScore W3186272039C2777472213 @default.
• W3186272039 hasConceptScore W3186272039C2777904410 @default.
• W3186272039 hasConceptScore W3186272039C2778770139 @default.
• W3186272039 hasConceptScore W3186272039C2779639559 @default.
• W3186272039 hasConceptScore W3186272039C2779818221 @default.
• W3186272039 hasConceptScore W3186272039C2780428219 @default.
• W3186272039 hasConceptScore W3186272039C2780992000 @default.
• W3186272039 hasConceptScore W3186272039C41008148 @default.
• W3186272039 hasConceptScore W3186272039C53942775 @default.
• W3186272039 hasConceptScore W3186272039C548217200 @default.
• W3186272039 hasConceptScore W3186272039C62520636 @default.
• W3186272039 hasConceptScore W3186272039C78519656 @default.
• W3186272039 hasConceptScore W3186272039C80444323 @default.
• W3186272039 hasConceptScore W3186272039C86803240 @default.
• W3186272039 hasConceptScore W3186272039C91306197 @default.
• W3186272039 hasLocation W31862720391 @default.
• W3186272039 hasOpenAccess W3186272039 @default.
• W3186272039 hasPrimaryLocation W31862720391 @default.
• W3186272039 hasRelatedWork W1590648473 @default.
• W3186272039 hasRelatedWork W1860988706 @default.
• W3186272039 hasRelatedWork W1970806266 @default.
• W3186272039 hasRelatedWork W2034527657 @default.
• W3186272039 hasRelatedWork W2052390720 @default.
• W3186272039 hasRelatedWork W2094198072 @default.
• W3186272039 hasRelatedWork W2779411928 @default.
• W3186272039 hasRelatedWork W3017087660 @default.
• W3186272039 hasRelatedWork W3186272039 @default.
• W3186272039 hasRelatedWork W4317000347 @default.
• W3186272039 isParatext "false" @default.
• W3186272039 isRetracted "false" @default.
• W3186272039 magId "3186272039" @default.

• next