Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204656671> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W3204656671 abstract "TypeScript is an increasingly popular open-source language that builds on JavaScript by adding optional static type definitions. Its ecosystem has many tools that require confidence in their correctness when manipulating TypeScript programs. Tool developers commonly use tests for increasing confidence in a tool’s implementation correctness. To test tool implementations, tool developers can manually write TypeScript programs to be used as test inputs, but they can miss problematic programs as there are many language features to consider. In addition, a range of those tools have properties that apply specifically to programs that compile successfully and satisfy complex constraints. We therefore present a program generation technique that allows generating successfully compiling TypeScript programs, that optionally also satisfy tool-specific constraints not captured by syntactic constraints alone. We evaluated our technique by generating programs in the context of five automated TypeScript refactoring implementation, and by running tests with the generated programs as inputs. The majority (97.45%) of the generated programs compiled without errors, and all of the generated programs could be refactored, meaning that they can indeed satisfy tool-specific constraints to be used as test inputs. We tested the refactorings using the generated programs as test inputs and we found and reported a bug in a TypeScript refactoring, where the refactoring introduced a compilation error to programs that previously had no errors." @default.
- W3204656671 created "2021-10-11" @default.
- W3204656671 creator A5053554591 @default.
- W3204656671 creator A5061752509 @default.
- W3204656671 creator A5075988425 @default.
- W3204656671 date "2021-09-27" @default.
- W3204656671 modified "2023-10-03" @default.
- W3204656671 title "TSDolly: A program generator for TypeScript" @default.
- W3204656671 cites W2019348938 @default.
- W3204656671 cites W2340618214 @default.
- W3204656671 cites W2606260126 @default.
- W3204656671 cites W2617588282 @default.
- W3204656671 cites W2756283368 @default.
- W3204656671 cites W4238083723 @default.
- W3204656671 doi "https://doi.org/10.1145/3475061.3475079" @default.
- W3204656671 hasPublicationYear "2021" @default.
- W3204656671 type Work @default.
- W3204656671 sameAs 3204656671 @default.
- W3204656671 citedByCount "0" @default.
- W3204656671 crossrefType "proceedings-article" @default.
- W3204656671 hasAuthorship W3204656671A5053554591 @default.
- W3204656671 hasAuthorship W3204656671A5061752509 @default.
- W3204656671 hasAuthorship W3204656671A5075988425 @default.
- W3204656671 hasConcept C115903868 @default.
- W3204656671 hasConcept C121332964 @default.
- W3204656671 hasConcept C151730666 @default.
- W3204656671 hasConcept C152752567 @default.
- W3204656671 hasConcept C163258240 @default.
- W3204656671 hasConcept C199360897 @default.
- W3204656671 hasConcept C26713055 @default.
- W3204656671 hasConcept C2777869424 @default.
- W3204656671 hasConcept C2777904410 @default.
- W3204656671 hasConcept C2779343474 @default.
- W3204656671 hasConcept C2780992000 @default.
- W3204656671 hasConcept C41008148 @default.
- W3204656671 hasConcept C55439883 @default.
- W3204656671 hasConcept C62520636 @default.
- W3204656671 hasConcept C86803240 @default.
- W3204656671 hasConcept C98183937 @default.
- W3204656671 hasConceptScore W3204656671C115903868 @default.
- W3204656671 hasConceptScore W3204656671C121332964 @default.
- W3204656671 hasConceptScore W3204656671C151730666 @default.
- W3204656671 hasConceptScore W3204656671C152752567 @default.
- W3204656671 hasConceptScore W3204656671C163258240 @default.
- W3204656671 hasConceptScore W3204656671C199360897 @default.
- W3204656671 hasConceptScore W3204656671C26713055 @default.
- W3204656671 hasConceptScore W3204656671C2777869424 @default.
- W3204656671 hasConceptScore W3204656671C2777904410 @default.
- W3204656671 hasConceptScore W3204656671C2779343474 @default.
- W3204656671 hasConceptScore W3204656671C2780992000 @default.
- W3204656671 hasConceptScore W3204656671C41008148 @default.
- W3204656671 hasConceptScore W3204656671C55439883 @default.
- W3204656671 hasConceptScore W3204656671C62520636 @default.
- W3204656671 hasConceptScore W3204656671C86803240 @default.
- W3204656671 hasConceptScore W3204656671C98183937 @default.
- W3204656671 hasFunder F4320321091 @default.
- W3204656671 hasFunder F4320322025 @default.
- W3204656671 hasLocation W32046566711 @default.
- W3204656671 hasOpenAccess W3204656671 @default.
- W3204656671 hasPrimaryLocation W32046566711 @default.
- W3204656671 hasRelatedWork W10147339 @default.
- W3204656671 hasRelatedWork W10224931 @default.
- W3204656671 hasRelatedWork W13257190 @default.
- W3204656671 hasRelatedWork W136339 @default.
- W3204656671 hasRelatedWork W2990514 @default.
- W3204656671 hasRelatedWork W3057367 @default.
- W3204656671 hasRelatedWork W3453007 @default.
- W3204656671 hasRelatedWork W6806504 @default.
- W3204656671 hasRelatedWork W7268827 @default.
- W3204656671 hasRelatedWork W8925976 @default.
- W3204656671 isParatext "false" @default.
- W3204656671 isRetracted "false" @default.
- W3204656671 magId "3204656671" @default.
- W3204656671 workType "article" @default.