Matches in SemOpenAlex for { <https://semopenalex.org/work/W1912041536> ?p ?o ?g. }
- W1912041536 abstract "Many APIs enable cross-platform system development by abstracting over the details of a platform, allowing application developers to write one implementation that will run on a wide variety of platforms. Unfortunately, subtle differences in the behavior of the underlying platforms make cross-platform behavior difficult to achieve. As a result, applications using these APIs can be plagued by bugs difficult to observe before deployment. These portability bugs can be particularly difficult to diagnose and fix because they arise from the API implementation, the operating system, or hardware, rather than application code. This paper describes CheckAPI, a technique for detecting violations of cross-platform portability. CheckAPI compares an application's interactions with the API implementation to its interactions with a partial specification-based API implementation, and does so efficiently enough to be used in real production systems and at runtime. CheckAPI finds latent errors that escape pre-release testing. This paper discusses the subtleties of different kinds of API calls and strategies for effectively producing the partial implementations. Validating CheckAPI on JavaScript, the Seattle project's Repy VM, and POSIX detects dozens of violations that are confirmed bugs in widely-used software." @default.
- W1912041536 created "2016-06-24" @default.
- W1912041536 creator A5022366029 @default.
- W1912041536 creator A5024394821 @default.
- W1912041536 creator A5028789964 @default.
- W1912041536 creator A5030900037 @default.
- W1912041536 creator A5037534081 @default.
- W1912041536 creator A5040188173 @default.
- W1912041536 date "2015-11-01" @default.
- W1912041536 modified "2023-09-23" @default.
- W1912041536 title "Detecting latent cross-platform API violations" @default.
- W1912041536 cites W1229457308 @default.
- W1912041536 cites W1546580925 @default.
- W1912041536 cites W1568471959 @default.
- W1912041536 cites W1571024205 @default.
- W1912041536 cites W1600965014 @default.
- W1912041536 cites W1606436461 @default.
- W1912041536 cites W1825341937 @default.
- W1912041536 cites W1896211881 @default.
- W1912041536 cites W1971991620 @default.
- W1912041536 cites W1974322070 @default.
- W1912041536 cites W1983572666 @default.
- W1912041536 cites W1995626000 @default.
- W1912041536 cites W1999296854 @default.
- W1912041536 cites W2023255236 @default.
- W1912041536 cites W2049381173 @default.
- W1912041536 cites W2049639527 @default.
- W1912041536 cites W2061819729 @default.
- W1912041536 cites W2062271242 @default.
- W1912041536 cites W2066859698 @default.
- W1912041536 cites W2082000355 @default.
- W1912041536 cites W2094819373 @default.
- W1912041536 cites W2096549049 @default.
- W1912041536 cites W2096887945 @default.
- W1912041536 cites W2098746868 @default.
- W1912041536 cites W2101058980 @default.
- W1912041536 cites W2101623441 @default.
- W1912041536 cites W2103533394 @default.
- W1912041536 cites W2105614525 @default.
- W1912041536 cites W2108057276 @default.
- W1912041536 cites W2109522846 @default.
- W1912041536 cites W2114768982 @default.
- W1912041536 cites W2116368564 @default.
- W1912041536 cites W2119760639 @default.
- W1912041536 cites W2123511529 @default.
- W1912041536 cites W2124877509 @default.
- W1912041536 cites W2131726714 @default.
- W1912041536 cites W2139029467 @default.
- W1912041536 cites W2152929251 @default.
- W1912041536 cites W2153229512 @default.
- W1912041536 cites W2156480873 @default.
- W1912041536 cites W2156515608 @default.
- W1912041536 cites W2159856414 @default.
- W1912041536 cites W2161104175 @default.
- W1912041536 cites W2163619189 @default.
- W1912041536 cites W2163649342 @default.
- W1912041536 cites W2171530146 @default.
- W1912041536 cites W3137220996 @default.
- W1912041536 cites W1604406488 @default.
- W1912041536 doi "https://doi.org/10.1109/issre.2015.7381841" @default.
- W1912041536 hasPublicationYear "2015" @default.
- W1912041536 type Work @default.
- W1912041536 sameAs 1912041536 @default.
- W1912041536 citedByCount "3" @default.
- W1912041536 countsByYear W19120415362016 @default.
- W1912041536 countsByYear W19120415362018 @default.
- W1912041536 countsByYear W19120415362019 @default.
- W1912041536 crossrefType "proceedings-article" @default.
- W1912041536 hasAuthorship W1912041536A5022366029 @default.
- W1912041536 hasAuthorship W1912041536A5024394821 @default.
- W1912041536 hasAuthorship W1912041536A5028789964 @default.
- W1912041536 hasAuthorship W1912041536A5030900037 @default.
- W1912041536 hasAuthorship W1912041536A5037534081 @default.
- W1912041536 hasAuthorship W1912041536A5040188173 @default.
- W1912041536 hasBestOaLocation W19120415362 @default.
- W1912041536 hasConcept C105339364 @default.
- W1912041536 hasConcept C111919701 @default.
- W1912041536 hasConcept C115903868 @default.
- W1912041536 hasConcept C149635348 @default.
- W1912041536 hasConcept C168065819 @default.
- W1912041536 hasConcept C199360897 @default.
- W1912041536 hasConcept C26713055 @default.
- W1912041536 hasConcept C2777904410 @default.
- W1912041536 hasConcept C41008148 @default.
- W1912041536 hasConcept C532756234 @default.
- W1912041536 hasConcept C544833334 @default.
- W1912041536 hasConcept C63000827 @default.
- W1912041536 hasConcept C92400490 @default.
- W1912041536 hasConcept C99613125 @default.
- W1912041536 hasConceptScore W1912041536C105339364 @default.
- W1912041536 hasConceptScore W1912041536C111919701 @default.
- W1912041536 hasConceptScore W1912041536C115903868 @default.
- W1912041536 hasConceptScore W1912041536C149635348 @default.
- W1912041536 hasConceptScore W1912041536C168065819 @default.
- W1912041536 hasConceptScore W1912041536C199360897 @default.
- W1912041536 hasConceptScore W1912041536C26713055 @default.
- W1912041536 hasConceptScore W1912041536C2777904410 @default.
- W1912041536 hasConceptScore W1912041536C41008148 @default.
- W1912041536 hasConceptScore W1912041536C532756234 @default.
- W1912041536 hasConceptScore W1912041536C544833334 @default.