Matches in SemOpenAlex for { <https://semopenalex.org/work/W2061621299> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2061621299 abstract "Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Currently, there is no approach that can detect a situation at compile time when one component modifies XML data so that it becomes incompatible for use by other components, delaying discovery of errors to runtime. Our solution, a verifier for interoperating components for finding logic faults (Viola) builds abstract programs from the source code of components that exchange XML data. Viola symbolically executes these abstract programs thereby obtaining approximate specifications of the data that would be output by these components. The computed and expected specifications are compared to find errors in XML data exchanges between components. We describe our approach, implementation, and give our error checking algorithm. We used Viola on open source and commercial systems and discovered errors that were not detected during their design and testing." @default.
- W2061621299 created "2016-06-24" @default.
- W2061621299 creator A5004425947 @default.
- W2061621299 date "2007-05-01" @default.
- W2061621299 modified "2023-09-23" @default.
- W2061621299 title "Finding Errors in Interoperating Components" @default.
- W2061621299 cites W1491036809 @default.
- W2061621299 cites W1497571013 @default.
- W2061621299 cites W1535627680 @default.
- W2061621299 cites W1572470107 @default.
- W2061621299 cites W1596552075 @default.
- W2061621299 cites W162865419 @default.
- W2061621299 cites W1968898611 @default.
- W2061621299 cites W1982169430 @default.
- W2061621299 cites W2045571829 @default.
- W2061621299 cites W2070068282 @default.
- W2061621299 cites W2082000355 @default.
- W2061621299 cites W2101512909 @default.
- W2061621299 cites W2111543139 @default.
- W2061621299 cites W2119736157 @default.
- W2061621299 cites W2126265364 @default.
- W2061621299 cites W2128450201 @default.
- W2061621299 cites W2130747108 @default.
- W2061621299 cites W2132498115 @default.
- W2061621299 cites W2133231960 @default.
- W2061621299 cites W2153943889 @default.
- W2061621299 cites W2159078835 @default.
- W2061621299 cites W2164392635 @default.
- W2061621299 cites W2295399529 @default.
- W2061621299 cites W3152154405 @default.
- W2061621299 cites W2583464960 @default.
- W2061621299 doi "https://doi.org/10.1109/iwicss.2007.5" @default.
- W2061621299 hasPublicationYear "2007" @default.
- W2061621299 type Work @default.
- W2061621299 sameAs 2061621299 @default.
- W2061621299 citedByCount "1" @default.
- W2061621299 countsByYear W20616212992016 @default.
- W2061621299 crossrefType "proceedings-article" @default.
- W2061621299 hasAuthorship W2061621299A5004425947 @default.
- W2061621299 hasConcept C111919701 @default.
- W2061621299 hasConcept C121332964 @default.
- W2061621299 hasConcept C15845906 @default.
- W2061621299 hasConcept C168167062 @default.
- W2061621299 hasConcept C169590947 @default.
- W2061621299 hasConcept C183068750 @default.
- W2061621299 hasConcept C199360897 @default.
- W2061621299 hasConcept C200833197 @default.
- W2061621299 hasConcept C20136886 @default.
- W2061621299 hasConcept C41008148 @default.
- W2061621299 hasConcept C43126263 @default.
- W2061621299 hasConcept C77088390 @default.
- W2061621299 hasConcept C8797682 @default.
- W2061621299 hasConcept C97355855 @default.
- W2061621299 hasConceptScore W2061621299C111919701 @default.
- W2061621299 hasConceptScore W2061621299C121332964 @default.
- W2061621299 hasConceptScore W2061621299C15845906 @default.
- W2061621299 hasConceptScore W2061621299C168167062 @default.
- W2061621299 hasConceptScore W2061621299C169590947 @default.
- W2061621299 hasConceptScore W2061621299C183068750 @default.
- W2061621299 hasConceptScore W2061621299C199360897 @default.
- W2061621299 hasConceptScore W2061621299C200833197 @default.
- W2061621299 hasConceptScore W2061621299C20136886 @default.
- W2061621299 hasConceptScore W2061621299C41008148 @default.
- W2061621299 hasConceptScore W2061621299C43126263 @default.
- W2061621299 hasConceptScore W2061621299C77088390 @default.
- W2061621299 hasConceptScore W2061621299C8797682 @default.
- W2061621299 hasConceptScore W2061621299C97355855 @default.
- W2061621299 hasLocation W20616212991 @default.
- W2061621299 hasOpenAccess W2061621299 @default.
- W2061621299 hasPrimaryLocation W20616212991 @default.
- W2061621299 hasRelatedWork W2013637613 @default.
- W2061621299 hasRelatedWork W2061621299 @default.
- W2061621299 hasRelatedWork W2086733238 @default.
- W2061621299 hasRelatedWork W2137908418 @default.
- W2061621299 hasRelatedWork W2149164156 @default.
- W2061621299 hasRelatedWork W2740990710 @default.
- W2061621299 hasRelatedWork W283806354 @default.
- W2061621299 hasRelatedWork W4233387348 @default.
- W2061621299 hasRelatedWork W1482645738 @default.
- W2061621299 hasRelatedWork W3106020243 @default.
- W2061621299 isParatext "false" @default.
- W2061621299 isRetracted "false" @default.
- W2061621299 magId "2061621299" @default.
- W2061621299 workType "article" @default.