FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1920006546> ?p ?o ?g. }

• W1920006546 abstract "Modern software pervasively uses structurally complex data such as linked data structures. The standard approach to generating test suites for such software, manual generation of the inputs in the suite, is tedious and error-prone. This dissertation proposes a new approach for generating suites with structurally complex test inputs; presents a technique that automates this approach; describes the Korat tool that implements this technique for Java; and evaluates the effectiveness of Korat in testing a set of data-structure implementations. Our approach allows the developer to describe the properties of valid test inputs using a familiar implementation language such as Java. Specifically, the user provides an imperative predicate—a piece of code that returns a truth value—that returns true if the input satisfies the required property and false otherwise. Korat implements our technique for solving imperative predicates: given a predicate and a bound on the size of the predicate's inputs, Korat automatically generates the bounded-exhaustive test suite that consists of all inputs, within the given bound, that satisfy the property identified by the predicate. To generate these inputs, Korat systematically searches the bounded input space by executing the predicate on the candidate inputs. Korat does this efficiently by pruning the search based on the predicate's executions and by generating only non-isomorphic inputs. Bounded-exhaustive testing is a methodology for testing the code on all inputs within the given small bound. Our experiments on a set of ten linked and array-based data structures show that Korat can efficiently generate bounded-exhaustive test suites from imperative predicates even for very large input spaces and that these test suites can achieve high statement, branch, and mutation coverage. Moreover, the use of our technique for generating structurally complex test inputs has enabled testers in industry to detect faults in real, production-quality applications. (Copies available exclusively from MIT Libraries, Rm. 14-0551, Cambridge, MA 02139-4307. Ph. 617-253-5668; Fax 617-253-1690.)" @default.
• W1920006546 created "2016-06-24" @default.
• W1920006546 creator A5045127387 @default.
• W1920006546 creator A5081289583 @default.
• W1920006546 date "2005-01-01" @default.
• W1920006546 modified "2023-09-23" @default.
• W1920006546 title "Automatic testing of software with structurally complex inputs" @default.
• W1920006546 cites W109452506 @default.
• W1920006546 cites W116108159 @default.
• W1920006546 cites W1482630971 @default.
• W1920006546 cites W1493688518 @default.
• W1920006546 cites W1500983737 @default.
• W1920006546 cites W1503170978 @default.
• W1920006546 cites W1507988282 @default.
• W1920006546 cites W1511434008 @default.
• W1920006546 cites W1514258760 @default.
• W1920006546 cites W1521711401 @default.
• W1920006546 cites W1523720513 @default.
• W1920006546 cites W1541825597 @default.
• W1920006546 cites W1546221080 @default.
• W1920006546 cites W1567147371 @default.
• W1920006546 cites W1567503821 @default.
• W1920006546 cites W1567586152 @default.
• W1920006546 cites W1575079504 @default.
• W1920006546 cites W1581282328 @default.
• W1920006546 cites W1583869287 @default.
• W1920006546 cites W1585022015 @default.
• W1920006546 cites W1590462283 @default.
• W1920006546 cites W1596552075 @default.
• W1920006546 cites W1644882639 @default.
• W1920006546 cites W1649645444 @default.
• W1920006546 cites W1689913591 @default.
• W1920006546 cites W169654126 @default.
• W1920006546 cites W1720848645 @default.
• W1920006546 cites W1910771831 @default.
• W1920006546 cites W1964830323 @default.
• W1920006546 cites W1969402593 @default.
• W1920006546 cites W1974858479 @default.
• W1920006546 cites W1977978498 @default.
• W1920006546 cites W1982395839 @default.
• W1920006546 cites W1988441831 @default.
• W1920006546 cites W1993836075 @default.
• W1920006546 cites W1995109607 @default.
• W1920006546 cites W1996528637 @default.
• W1920006546 cites W1996701120 @default.
• W1920006546 cites W2005337685 @default.
• W1920006546 cites W2006159725 @default.
• W1920006546 cites W2006599089 @default.
• W1920006546 cites W2012216878 @default.
• W1920006546 cites W2012301138 @default.
• W1920006546 cites W2016320988 @default.
• W1920006546 cites W2025304834 @default.
• W1920006546 cites W2030697178 @default.
• W1920006546 cites W2049695835 @default.
• W1920006546 cites W2059224852 @default.
• W1920006546 cites W2062327186 @default.
• W1920006546 cites W2062984219 @default.
• W1920006546 cites W2065169094 @default.
• W1920006546 cites W2065675749 @default.
• W1920006546 cites W2087252615 @default.
• W1920006546 cites W2089139117 @default.
• W1920006546 cites W2094160561 @default.
• W1920006546 cites W2098353690 @default.
• W1920006546 cites W2098508444 @default.
• W1920006546 cites W2098681203 @default.
• W1920006546 cites W2099106391 @default.
• W1920006546 cites W2101512909 @default.
• W1920006546 cites W2107388311 @default.
• W1920006546 cites W2107751709 @default.
• W1920006546 cites W2108557864 @default.
• W1920006546 cites W2108637261 @default.
• W1920006546 cites W2115309705 @default.
• W1920006546 cites W2117009500 @default.
• W1920006546 cites W2117963349 @default.
• W1920006546 cites W2119717320 @default.
• W1920006546 cites W2120552859 @default.
• W1920006546 cites W2120713211 @default.
• W1920006546 cites W2122410182 @default.
• W1920006546 cites W2122796178 @default.
• W1920006546 cites W2123729214 @default.
• W1920006546 cites W2125855750 @default.
• W1920006546 cites W2132840411 @default.
• W1920006546 cites W2134338128 @default.
• W1920006546 cites W2135274583 @default.
• W1920006546 cites W2142785340 @default.
• W1920006546 cites W2144973245 @default.
• W1920006546 cites W2146972408 @default.
• W1920006546 cites W2151926351 @default.
• W1920006546 cites W2154897437 @default.
• W1920006546 cites W2155786233 @default.
• W1920006546 cites W2159192054 @default.
• W1920006546 cites W2161488870 @default.
• W1920006546 cites W2162120832 @default.
• W1920006546 cites W2164392635 @default.
• W1920006546 cites W2165413178 @default.
• W1920006546 cites W2169102536 @default.
• W1920006546 cites W2170682382 @default.
• W1920006546 cites W2171480813 @default.
• W1920006546 cites W2171683519 @default.
• W1920006546 cites W2171718649 @default.

• next