Matches in SemOpenAlex for { <https://semopenalex.org/work/W4319150661> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4319150661 abstract "UTBotCpp and UTBot Java [3] are automatic white-box test generators for C/C++ and Java programs correspondingly. The tools were developed by Huawei and are based on symbolic and concrete execution. They try to cover as many branches as possible using program bytecode. For this purpose, UTBot tools analyze paths in the control flow graph of a given method, construct constraints for them, and try to find satisfying input values using SMT-solver to cover corresponding branches. In this paper, we report the results of UTBot Java at the tenth edition of the SBST 2022 tool competition." @default.
- W4319150661 created "2023-02-04" @default.
- W4319150661 creator A5004618392 @default.
- W4319150661 creator A5011641259 @default.
- W4319150661 creator A5021741357 @default.
- W4319150661 creator A5026920104 @default.
- W4319150661 creator A5034791284 @default.
- W4319150661 creator A5045425098 @default.
- W4319150661 creator A5067641801 @default.
- W4319150661 date "2022-05-09" @default.
- W4319150661 modified "2023-10-14" @default.
- W4319150661 title "UTBot Java at the SBST2022 tool competition" @default.
- W4319150661 cites W3186272039 @default.
- W4319150661 cites W4319150689 @default.
- W4319150661 doi "https://doi.org/10.1145/3526072.3527529" @default.
- W4319150661 hasPublicationYear "2022" @default.
- W4319150661 type Work @default.
- W4319150661 citedByCount "3" @default.
- W4319150661 countsByYear W43191506612022 @default.
- W4319150661 countsByYear W43191506612023 @default.
- W4319150661 crossrefType "proceedings-article" @default.
- W4319150661 hasAuthorship W4319150661A5004618392 @default.
- W4319150661 hasAuthorship W4319150661A5011641259 @default.
- W4319150661 hasAuthorship W4319150661A5021741357 @default.
- W4319150661 hasAuthorship W4319150661A5026920104 @default.
- W4319150661 hasAuthorship W4319150661A5034791284 @default.
- W4319150661 hasAuthorship W4319150661A5045425098 @default.
- W4319150661 hasAuthorship W4319150661A5067641801 @default.
- W4319150661 hasBestOaLocation W43191506611 @default.
- W4319150661 hasConcept C102379954 @default.
- W4319150661 hasConcept C127413603 @default.
- W4319150661 hasConcept C132106392 @default.
- W4319150661 hasConcept C132525143 @default.
- W4319150661 hasConcept C164155591 @default.
- W4319150661 hasConcept C168702491 @default.
- W4319150661 hasConcept C199360897 @default.
- W4319150661 hasConcept C27458966 @default.
- W4319150661 hasConcept C2777472213 @default.
- W4319150661 hasConcept C2777904410 @default.
- W4319150661 hasConcept C2778770139 @default.
- W4319150661 hasConcept C2779639559 @default.
- W4319150661 hasConcept C2779818221 @default.
- W4319150661 hasConcept C2780428219 @default.
- W4319150661 hasConcept C41008148 @default.
- W4319150661 hasConcept C548217200 @default.
- W4319150661 hasConcept C78519656 @default.
- W4319150661 hasConcept C80444323 @default.
- W4319150661 hasConceptScore W4319150661C102379954 @default.
- W4319150661 hasConceptScore W4319150661C127413603 @default.
- W4319150661 hasConceptScore W4319150661C132106392 @default.
- W4319150661 hasConceptScore W4319150661C132525143 @default.
- W4319150661 hasConceptScore W4319150661C164155591 @default.
- W4319150661 hasConceptScore W4319150661C168702491 @default.
- W4319150661 hasConceptScore W4319150661C199360897 @default.
- W4319150661 hasConceptScore W4319150661C27458966 @default.
- W4319150661 hasConceptScore W4319150661C2777472213 @default.
- W4319150661 hasConceptScore W4319150661C2777904410 @default.
- W4319150661 hasConceptScore W4319150661C2778770139 @default.
- W4319150661 hasConceptScore W4319150661C2779639559 @default.
- W4319150661 hasConceptScore W4319150661C2779818221 @default.
- W4319150661 hasConceptScore W4319150661C2780428219 @default.
- W4319150661 hasConceptScore W4319150661C41008148 @default.
- W4319150661 hasConceptScore W4319150661C548217200 @default.
- W4319150661 hasConceptScore W4319150661C78519656 @default.
- W4319150661 hasConceptScore W4319150661C80444323 @default.
- W4319150661 hasLocation W43191506611 @default.
- W4319150661 hasOpenAccess W4319150661 @default.
- W4319150661 hasPrimaryLocation W43191506611 @default.
- W4319150661 hasRelatedWork W1532887546 @default.
- W4319150661 hasRelatedWork W2110333676 @default.
- W4319150661 hasRelatedWork W2117534212 @default.
- W4319150661 hasRelatedWork W2128133205 @default.
- W4319150661 hasRelatedWork W2347957149 @default.
- W4319150661 hasRelatedWork W2374056735 @default.
- W4319150661 hasRelatedWork W4300607909 @default.
- W4319150661 hasRelatedWork W4319150661 @default.
- W4319150661 hasRelatedWork W2220571783 @default.
- W4319150661 hasRelatedWork W2785207032 @default.
- W4319150661 isParatext "false" @default.
- W4319150661 isRetracted "false" @default.
- W4319150661 workType "article" @default.