Matches in SemOpenAlex for { <https://semopenalex.org/work/W2056707614> ?p ?o ?g. }
- W2056707614 endingPage "6:1" @default.
- W2056707614 startingPage "6:1" @default.
- W2056707614 abstract "Program understanding is a major obstacle during program maintenance. In an object-oriented language, understanding an operation requires understanding its type and its eect on the object network. The eect is particularly important for scripting languages where there is neither class structure that restricts the shape of an object nor any other kind of access control. We have designed and implemented JSConTest, a tool that provides a facility to annotate JavaScript programs with type and eect contracts and to create random tests out of the contracts. Run-time monitoring for contracts is implemented with a program transformation. The eect of an operation is described by access permissions, which abstract sets of access paths along which the operation reads or writes object properties. Type contracts can also be used to drive guided random testing of the program. JSConTest contains an algorithm for computing access permissions from a set of access paths obtained by running the program. The main ingredient of the algorithm is a novel heuristic that produces precise and concise results without user interaction. It has been applied to a range of examples with encouraging results." @default.
- W2056707614 created "2016-06-24" @default.
- W2056707614 creator A5000384936 @default.
- W2056707614 creator A5047300798 @default.
- W2056707614 date "2012-01-01" @default.
- W2056707614 modified "2023-09-24" @default.
- W2056707614 title "JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript." @default.
- W2056707614 cites W1508480967 @default.
- W2056707614 cites W1526771983 @default.
- W2056707614 cites W1544818949 @default.
- W2056707614 cites W1546727036 @default.
- W2056707614 cites W1550112417 @default.
- W2056707614 cites W1556536463 @default.
- W2056707614 cites W1558552339 @default.
- W2056707614 cites W1568983194 @default.
- W2056707614 cites W1577754449 @default.
- W2056707614 cites W1579453661 @default.
- W2056707614 cites W1623496080 @default.
- W2056707614 cites W1839269954 @default.
- W2056707614 cites W1845141169 @default.
- W2056707614 cites W185719220 @default.
- W2056707614 cites W190038403 @default.
- W2056707614 cites W1969005071 @default.
- W2056707614 cites W1973186567 @default.
- W2056707614 cites W2019001600 @default.
- W2056707614 cites W202191487 @default.
- W2056707614 cites W2026997444 @default.
- W2056707614 cites W2029849818 @default.
- W2056707614 cites W2029976661 @default.
- W2056707614 cites W2032095999 @default.
- W2056707614 cites W2036560761 @default.
- W2056707614 cites W2048921878 @default.
- W2056707614 cites W2059668263 @default.
- W2056707614 cites W2060857434 @default.
- W2056707614 cites W2071112258 @default.
- W2056707614 cites W2087875803 @default.
- W2056707614 cites W2096449544 @default.
- W2056707614 cites W2098115125 @default.
- W2056707614 cites W2098639318 @default.
- W2056707614 cites W2118002698 @default.
- W2056707614 cites W2119717320 @default.
- W2056707614 cites W2134720688 @default.
- W2056707614 cites W2135697103 @default.
- W2056707614 cites W2144667363 @default.
- W2056707614 cites W2150998213 @default.
- W2056707614 cites W2157083801 @default.
- W2056707614 cites W2161825580 @default.
- W2056707614 cites W2162120832 @default.
- W2056707614 cites W2165304392 @default.
- W2056707614 cites W2172260321 @default.
- W2056707614 cites W2337480916 @default.
- W2056707614 cites W3010856131 @default.
- W2056707614 doi "https://doi.org/10.5381/jot.2012.11.1.a6" @default.
- W2056707614 hasPublicationYear "2012" @default.
- W2056707614 type Work @default.
- W2056707614 sameAs 2056707614 @default.
- W2056707614 citedByCount "5" @default.
- W2056707614 countsByYear W20567076142014 @default.
- W2056707614 countsByYear W20567076142017 @default.
- W2056707614 countsByYear W20567076142018 @default.
- W2056707614 countsByYear W20567076142019 @default.
- W2056707614 crossrefType "journal-article" @default.
- W2056707614 hasAuthorship W2056707614A5000384936 @default.
- W2056707614 hasAuthorship W2056707614A5047300798 @default.
- W2056707614 hasBestOaLocation W20567076141 @default.
- W2056707614 hasConcept C103048170 @default.
- W2056707614 hasConcept C154945302 @default.
- W2056707614 hasConcept C198240166 @default.
- W2056707614 hasConcept C199360897 @default.
- W2056707614 hasConcept C2776214188 @default.
- W2056707614 hasConcept C2777735758 @default.
- W2056707614 hasConcept C41008148 @default.
- W2056707614 hasConcept C544833334 @default.
- W2056707614 hasConceptScore W2056707614C103048170 @default.
- W2056707614 hasConceptScore W2056707614C154945302 @default.
- W2056707614 hasConceptScore W2056707614C198240166 @default.
- W2056707614 hasConceptScore W2056707614C199360897 @default.
- W2056707614 hasConceptScore W2056707614C2776214188 @default.
- W2056707614 hasConceptScore W2056707614C2777735758 @default.
- W2056707614 hasConceptScore W2056707614C41008148 @default.
- W2056707614 hasConceptScore W2056707614C544833334 @default.
- W2056707614 hasIssue "1" @default.
- W2056707614 hasLocation W20567076141 @default.
- W2056707614 hasOpenAccess W2056707614 @default.
- W2056707614 hasPrimaryLocation W20567076141 @default.
- W2056707614 hasRelatedWork W2348410391 @default.
- W2056707614 hasRelatedWork W2352574671 @default.
- W2056707614 hasRelatedWork W2594818804 @default.
- W2056707614 hasRelatedWork W2888529970 @default.
- W2056707614 hasRelatedWork W2912621863 @default.
- W2056707614 hasRelatedWork W2962799014 @default.
- W2056707614 hasRelatedWork W3013655058 @default.
- W2056707614 hasRelatedWork W3122277321 @default.
- W2056707614 hasRelatedWork W4229928981 @default.
- W2056707614 hasRelatedWork W4244528768 @default.
- W2056707614 hasVolume "11" @default.
- W2056707614 isParatext "false" @default.
- W2056707614 isRetracted "false" @default.