Matches in SemOpenAlex for { <https://semopenalex.org/work/W2544293008> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2544293008 abstract "We present CASTING, a computer assisted software test engineering method. The method, supported by a prototype tool, generates realistic software test suites in a formal and semi-automatic way. Based on a two-layer modular architecture, CASTING is not tied to any particular style of input. Initially designed to engineer functional test suites from formal specifications, CASTING can easily be instantiated to accept other formal description levels, seamlessly supporting the main industrial testing techniques, ranging from functional testing to structural testing. A simple process scheduler specification is used in this paper to illustrate the interaction facilities of CASTING and to provide a sample of the resulting test suites." @default.
- W2544293008 created "2016-11-04" @default.
- W2544293008 creator A5017909782 @default.
- W2544293008 creator A5022042532 @default.
- W2544293008 creator A5022799649 @default.
- W2544293008 date "2002-11-22" @default.
- W2544293008 modified "2023-09-30" @default.
- W2544293008 title "CASTING: a formally based software test generation method" @default.
- W2544293008 cites W1483164218 @default.
- W2544293008 cites W1527688737 @default.
- W2544293008 cites W1559870885 @default.
- W2544293008 cites W1787500456 @default.
- W2544293008 cites W1910771831 @default.
- W2544293008 cites W2005150099 @default.
- W2544293008 cites W2023730632 @default.
- W2544293008 cites W2057948323 @default.
- W2544293008 cites W2125831829 @default.
- W2544293008 doi "https://doi.org/10.1109/icfem.1997.630411" @default.
- W2544293008 hasPublicationYear "2002" @default.
- W2544293008 type Work @default.
- W2544293008 sameAs 2544293008 @default.
- W2544293008 citedByCount "35" @default.
- W2544293008 countsByYear W25442930082012 @default.
- W2544293008 countsByYear W25442930082017 @default.
- W2544293008 crossrefType "proceedings-article" @default.
- W2544293008 hasAuthorship W2544293008A5017909782 @default.
- W2544293008 hasAuthorship W2544293008A5022042532 @default.
- W2544293008 hasAuthorship W2544293008A5022799649 @default.
- W2544293008 hasConcept C101468663 @default.
- W2544293008 hasConcept C115903868 @default.
- W2544293008 hasConcept C199360897 @default.
- W2544293008 hasConcept C2777904410 @default.
- W2544293008 hasConcept C41008148 @default.
- W2544293008 hasConcept C75606506 @default.
- W2544293008 hasConcept C98045186 @default.
- W2544293008 hasConceptScore W2544293008C101468663 @default.
- W2544293008 hasConceptScore W2544293008C115903868 @default.
- W2544293008 hasConceptScore W2544293008C199360897 @default.
- W2544293008 hasConceptScore W2544293008C2777904410 @default.
- W2544293008 hasConceptScore W2544293008C41008148 @default.
- W2544293008 hasConceptScore W2544293008C75606506 @default.
- W2544293008 hasConceptScore W2544293008C98045186 @default.
- W2544293008 hasLocation W25442930081 @default.
- W2544293008 hasOpenAccess W2544293008 @default.
- W2544293008 hasPrimaryLocation W25442930081 @default.
- W2544293008 hasRelatedWork W1495194932 @default.
- W2544293008 hasRelatedWork W1522465028 @default.
- W2544293008 hasRelatedWork W1527688737 @default.
- W2544293008 hasRelatedWork W1559870885 @default.
- W2544293008 hasRelatedWork W1567147371 @default.
- W2544293008 hasRelatedWork W1596127723 @default.
- W2544293008 hasRelatedWork W1787500456 @default.
- W2544293008 hasRelatedWork W1910771831 @default.
- W2544293008 hasRelatedWork W1970495662 @default.
- W2544293008 hasRelatedWork W2061439988 @default.
- W2544293008 hasRelatedWork W2066035398 @default.
- W2544293008 hasRelatedWork W2098985772 @default.
- W2544293008 hasRelatedWork W2125831829 @default.
- W2544293008 hasRelatedWork W2143889043 @default.
- W2544293008 hasRelatedWork W2144737265 @default.
- W2544293008 hasRelatedWork W2144973245 @default.
- W2544293008 hasRelatedWork W2151926351 @default.
- W2544293008 hasRelatedWork W2161716898 @default.
- W2544293008 hasRelatedWork W2162120832 @default.
- W2544293008 hasRelatedWork W2536425079 @default.
- W2544293008 isParatext "false" @default.
- W2544293008 isRetracted "false" @default.
- W2544293008 magId "2544293008" @default.
- W2544293008 workType "article" @default.