Matches in SemOpenAlex for { <https://semopenalex.org/work/W2516023085> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2516023085 abstract "We describe a generic technique for fault localization independent from the nature of the object or the specification language used to declare its expected properties. This technique is based on the concept of repair, a minimal set of transformations which, when applied to the original object, restores its satisfiability with respect to the specification. We show how this technique can be applied with various specification languages, including propositional and finite first-order logic. In particular, we focus on its use in the detection of layout faults in web applications." @default.
- W2516023085 created "2016-09-16" @default.
- W2516023085 creator A5021394908 @default.
- W2516023085 creator A5022249773 @default.
- W2516023085 date "2016-08-26" @default.
- W2516023085 modified "2023-09-23" @default.
- W2516023085 title "Fault Localization in Web Applications via Model Finding" @default.
- W2516023085 cites W1535484496 @default.
- W2516023085 cites W2133496820 @default.
- W2516023085 cites W55862950 @default.
- W2516023085 cites W94133491 @default.
- W2516023085 cites W1813837568 @default.
- W2516023085 doi "https://doi.org/10.4204/eptcs.224.6" @default.
- W2516023085 hasPublicationYear "2016" @default.
- W2516023085 type Work @default.
- W2516023085 sameAs 2516023085 @default.
- W2516023085 citedByCount "1" @default.
- W2516023085 countsByYear W25160230852021 @default.
- W2516023085 crossrefType "journal-article" @default.
- W2516023085 hasAuthorship W2516023085A5021394908 @default.
- W2516023085 hasAuthorship W2516023085A5022249773 @default.
- W2516023085 hasBestOaLocation W25160230851 @default.
- W2516023085 hasConcept C11413529 @default.
- W2516023085 hasConcept C119599485 @default.
- W2516023085 hasConcept C120665830 @default.
- W2516023085 hasConcept C121332964 @default.
- W2516023085 hasConcept C127313418 @default.
- W2516023085 hasConcept C127413603 @default.
- W2516023085 hasConcept C134146338 @default.
- W2516023085 hasConcept C154945302 @default.
- W2516023085 hasConcept C165205528 @default.
- W2516023085 hasConcept C167391956 @default.
- W2516023085 hasConcept C168773769 @default.
- W2516023085 hasConcept C175551986 @default.
- W2516023085 hasConcept C177264268 @default.
- W2516023085 hasConcept C192209626 @default.
- W2516023085 hasConcept C199360897 @default.
- W2516023085 hasConcept C2781238097 @default.
- W2516023085 hasConcept C41008148 @default.
- W2516023085 hasConcept C80444323 @default.
- W2516023085 hasConceptScore W2516023085C11413529 @default.
- W2516023085 hasConceptScore W2516023085C119599485 @default.
- W2516023085 hasConceptScore W2516023085C120665830 @default.
- W2516023085 hasConceptScore W2516023085C121332964 @default.
- W2516023085 hasConceptScore W2516023085C127313418 @default.
- W2516023085 hasConceptScore W2516023085C127413603 @default.
- W2516023085 hasConceptScore W2516023085C134146338 @default.
- W2516023085 hasConceptScore W2516023085C154945302 @default.
- W2516023085 hasConceptScore W2516023085C165205528 @default.
- W2516023085 hasConceptScore W2516023085C167391956 @default.
- W2516023085 hasConceptScore W2516023085C168773769 @default.
- W2516023085 hasConceptScore W2516023085C175551986 @default.
- W2516023085 hasConceptScore W2516023085C177264268 @default.
- W2516023085 hasConceptScore W2516023085C192209626 @default.
- W2516023085 hasConceptScore W2516023085C199360897 @default.
- W2516023085 hasConceptScore W2516023085C2781238097 @default.
- W2516023085 hasConceptScore W2516023085C41008148 @default.
- W2516023085 hasConceptScore W2516023085C80444323 @default.
- W2516023085 hasLocation W25160230851 @default.
- W2516023085 hasLocation W25160230852 @default.
- W2516023085 hasOpenAccess W2516023085 @default.
- W2516023085 hasPrimaryLocation W25160230851 @default.
- W2516023085 hasRelatedWork W1584297074 @default.
- W2516023085 hasRelatedWork W2104267656 @default.
- W2516023085 hasRelatedWork W2107663335 @default.
- W2516023085 hasRelatedWork W2109507516 @default.
- W2516023085 hasRelatedWork W2112962394 @default.
- W2516023085 hasRelatedWork W2118300983 @default.
- W2516023085 hasRelatedWork W2166247150 @default.
- W2516023085 hasRelatedWork W2362817550 @default.
- W2516023085 hasRelatedWork W2367539750 @default.
- W2516023085 hasRelatedWork W4243252198 @default.
- W2516023085 isParatext "false" @default.
- W2516023085 isRetracted "false" @default.
- W2516023085 magId "2516023085" @default.
- W2516023085 workType "article" @default.