Matches in SemOpenAlex for { <https://semopenalex.org/work/W2006075991> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2006075991 abstract "Recently, lots of research on automated test data generation has been actively done. However, techniques for automated test data generation presented so far have been proved ineffective for programs with flag variables. It can present problems when considering embedded systems such as engine controllers that make extensive use of flag variables to record state information concerning devices. This paper introduces a technique for generating test data effectively for programs with flag variables. The presented technique transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for automated test data generation(ATDG). For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer." @default.
- W2006075991 created "2016-06-24" @default.
- W2006075991 creator A5038319495 @default.
- W2006075991 date "2009-06-30" @default.
- W2006075991 modified "2023-09-24" @default.
- W2006075991 title "Automated Test Data Generation for Testing Programs with Flag Variables Based on SAT" @default.
- W2006075991 cites W1484283249 @default.
- W2006075991 cites W1578861446 @default.
- W2006075991 cites W1584947061 @default.
- W2006075991 cites W1985403010 @default.
- W2006075991 cites W2041470132 @default.
- W2006075991 cites W2056820901 @default.
- W2006075991 cites W2060440626 @default.
- W2006075991 cites W2075959177 @default.
- W2006075991 cites W2142785340 @default.
- W2006075991 cites W3002471858 @default.
- W2006075991 cites W335711039 @default.
- W2006075991 doi "https://doi.org/10.3745/kipstd.2009.16-d.3.371" @default.
- W2006075991 hasPublicationYear "2009" @default.
- W2006075991 type Work @default.
- W2006075991 sameAs 2006075991 @default.
- W2006075991 citedByCount "1" @default.
- W2006075991 crossrefType "journal-article" @default.
- W2006075991 hasAuthorship W2006075991A5038319495 @default.
- W2006075991 hasBestOaLocation W20060759911 @default.
- W2006075991 hasConcept C11413529 @default.
- W2006075991 hasConcept C119599485 @default.
- W2006075991 hasConcept C127413603 @default.
- W2006075991 hasConcept C134146338 @default.
- W2006075991 hasConcept C136119220 @default.
- W2006075991 hasConcept C151730666 @default.
- W2006075991 hasConcept C168773769 @default.
- W2006075991 hasConcept C16910744 @default.
- W2006075991 hasConcept C17626397 @default.
- W2006075991 hasConcept C199360897 @default.
- W2006075991 hasConcept C202444582 @default.
- W2006075991 hasConcept C2776730729 @default.
- W2006075991 hasConcept C2777267654 @default.
- W2006075991 hasConcept C33923547 @default.
- W2006075991 hasConcept C41008148 @default.
- W2006075991 hasConcept C86803240 @default.
- W2006075991 hasConceptScore W2006075991C11413529 @default.
- W2006075991 hasConceptScore W2006075991C119599485 @default.
- W2006075991 hasConceptScore W2006075991C127413603 @default.
- W2006075991 hasConceptScore W2006075991C134146338 @default.
- W2006075991 hasConceptScore W2006075991C136119220 @default.
- W2006075991 hasConceptScore W2006075991C151730666 @default.
- W2006075991 hasConceptScore W2006075991C168773769 @default.
- W2006075991 hasConceptScore W2006075991C16910744 @default.
- W2006075991 hasConceptScore W2006075991C17626397 @default.
- W2006075991 hasConceptScore W2006075991C199360897 @default.
- W2006075991 hasConceptScore W2006075991C202444582 @default.
- W2006075991 hasConceptScore W2006075991C2776730729 @default.
- W2006075991 hasConceptScore W2006075991C2777267654 @default.
- W2006075991 hasConceptScore W2006075991C33923547 @default.
- W2006075991 hasConceptScore W2006075991C41008148 @default.
- W2006075991 hasConceptScore W2006075991C86803240 @default.
- W2006075991 hasLocation W20060759911 @default.
- W2006075991 hasOpenAccess W2006075991 @default.
- W2006075991 hasPrimaryLocation W20060759911 @default.
- W2006075991 hasRelatedWork W125162038 @default.
- W2006075991 hasRelatedWork W1482998546 @default.
- W2006075991 hasRelatedWork W1672678540 @default.
- W2006075991 hasRelatedWork W2014665427 @default.
- W2006075991 hasRelatedWork W2019756042 @default.
- W2006075991 hasRelatedWork W2038654524 @default.
- W2006075991 hasRelatedWork W2045388535 @default.
- W2006075991 hasRelatedWork W2072719763 @default.
- W2006075991 hasRelatedWork W2074724531 @default.
- W2006075991 hasRelatedWork W2122021561 @default.
- W2006075991 hasRelatedWork W2142355553 @default.
- W2006075991 hasRelatedWork W2284091336 @default.
- W2006075991 hasRelatedWork W2327722187 @default.
- W2006075991 hasRelatedWork W2367632954 @default.
- W2006075991 hasRelatedWork W2375826289 @default.
- W2006075991 hasRelatedWork W2378262026 @default.
- W2006075991 hasRelatedWork W2492026488 @default.
- W2006075991 hasRelatedWork W2588045990 @default.
- W2006075991 hasRelatedWork W1518150956 @default.
- W2006075991 hasRelatedWork W2185842591 @default.
- W2006075991 isParatext "false" @default.
- W2006075991 isRetracted "false" @default.
- W2006075991 magId "2006075991" @default.
- W2006075991 workType "article" @default.