Matches in SemOpenAlex for { <https://semopenalex.org/work/W1531485854> ?p ?o ?g. }
- W1531485854 endingPage "43" @default.
- W1531485854 startingPage "5" @default.
- W1531485854 abstract "Model-based tools for automatic test generation usually can handle systems of a rather limited size. Therefore, they cannot be applied directly to systems of real industrial size. Here, we propose an approach to test generation combining enumerative data abstraction, test generation methods and constraint solving. The approach allows applying enumerative test generation tools like TGV to large and infinite systems. Given such a system, abstractions allow to derive a finite abstract system suitable for automatic test generation with enumerative tools. Abstract test cases need to be parameterized with actual test data, in order to execute them. For data selection, we make use of constraint solving techniques. Test case execution will later be done by TTCN-3" @default.
- W1531485854 created "2016-06-24" @default.
- W1531485854 creator A5001365343 @default.
- W1531485854 creator A5001933154 @default.
- W1531485854 creator A5086365218 @default.
- W1531485854 date "2006-01-01" @default.
- W1531485854 modified "2023-09-23" @default.
- W1531485854 title "Towards automatic generation of parameterized test cases from abstractions" @default.
- W1531485854 cites W1520857309 @default.
- W1531485854 cites W1567263808 @default.
- W1531485854 cites W1567645817 @default.
- W1531485854 cites W1637592071 @default.
- W1531485854 cites W1847824087 @default.
- W1531485854 cites W1992928849 @default.
- W1531485854 cites W2027246586 @default.
- W1531485854 cites W2090106217 @default.
- W1531485854 cites W2112640524 @default.
- W1531485854 cites W2803164650 @default.
- W1531485854 cites W2911494828 @default.
- W1531485854 cites W428690371 @default.
- W1531485854 hasPublicationYear "2006" @default.
- W1531485854 type Work @default.
- W1531485854 sameAs 1531485854 @default.
- W1531485854 citedByCount "2" @default.
- W1531485854 crossrefType "journal-article" @default.
- W1531485854 hasAuthorship W1531485854A5001365343 @default.
- W1531485854 hasAuthorship W1531485854A5001933154 @default.
- W1531485854 hasAuthorship W1531485854A5086365218 @default.
- W1531485854 hasConcept C111472728 @default.
- W1531485854 hasConcept C11413529 @default.
- W1531485854 hasConcept C119599485 @default.
- W1531485854 hasConcept C119857082 @default.
- W1531485854 hasConcept C124304363 @default.
- W1531485854 hasConcept C127413603 @default.
- W1531485854 hasConcept C128942645 @default.
- W1531485854 hasConcept C134146338 @default.
- W1531485854 hasConcept C138885662 @default.
- W1531485854 hasConcept C151730666 @default.
- W1531485854 hasConcept C152877465 @default.
- W1531485854 hasConcept C165464430 @default.
- W1531485854 hasConcept C17626397 @default.
- W1531485854 hasConcept C186846655 @default.
- W1531485854 hasConcept C199360897 @default.
- W1531485854 hasConcept C2524010 @default.
- W1531485854 hasConcept C2776036281 @default.
- W1531485854 hasConcept C2777267654 @default.
- W1531485854 hasConcept C2777904410 @default.
- W1531485854 hasConcept C33923547 @default.
- W1531485854 hasConcept C41008148 @default.
- W1531485854 hasConcept C529173508 @default.
- W1531485854 hasConcept C7435765 @default.
- W1531485854 hasConcept C80444323 @default.
- W1531485854 hasConcept C86803240 @default.
- W1531485854 hasConceptScore W1531485854C111472728 @default.
- W1531485854 hasConceptScore W1531485854C11413529 @default.
- W1531485854 hasConceptScore W1531485854C119599485 @default.
- W1531485854 hasConceptScore W1531485854C119857082 @default.
- W1531485854 hasConceptScore W1531485854C124304363 @default.
- W1531485854 hasConceptScore W1531485854C127413603 @default.
- W1531485854 hasConceptScore W1531485854C128942645 @default.
- W1531485854 hasConceptScore W1531485854C134146338 @default.
- W1531485854 hasConceptScore W1531485854C138885662 @default.
- W1531485854 hasConceptScore W1531485854C151730666 @default.
- W1531485854 hasConceptScore W1531485854C152877465 @default.
- W1531485854 hasConceptScore W1531485854C165464430 @default.
- W1531485854 hasConceptScore W1531485854C17626397 @default.
- W1531485854 hasConceptScore W1531485854C186846655 @default.
- W1531485854 hasConceptScore W1531485854C199360897 @default.
- W1531485854 hasConceptScore W1531485854C2524010 @default.
- W1531485854 hasConceptScore W1531485854C2776036281 @default.
- W1531485854 hasConceptScore W1531485854C2777267654 @default.
- W1531485854 hasConceptScore W1531485854C2777904410 @default.
- W1531485854 hasConceptScore W1531485854C33923547 @default.
- W1531485854 hasConceptScore W1531485854C41008148 @default.
- W1531485854 hasConceptScore W1531485854C529173508 @default.
- W1531485854 hasConceptScore W1531485854C7435765 @default.
- W1531485854 hasConceptScore W1531485854C80444323 @default.
- W1531485854 hasConceptScore W1531485854C86803240 @default.
- W1531485854 hasOpenAccess W1531485854 @default.
- W1531485854 hasRelatedWork W1547454936 @default.
- W1531485854 hasRelatedWork W1771211021 @default.
- W1531485854 hasRelatedWork W1799788669 @default.
- W1531485854 hasRelatedWork W1938285999 @default.
- W1531485854 hasRelatedWork W2001933991 @default.
- W1531485854 hasRelatedWork W2009080961 @default.
- W1531485854 hasRelatedWork W2017931509 @default.
- W1531485854 hasRelatedWork W2162720410 @default.
- W1531485854 hasRelatedWork W230257536 @default.
- W1531485854 hasRelatedWork W2474443678 @default.
- W1531485854 hasRelatedWork W2499235246 @default.
- W1531485854 hasRelatedWork W2590625050 @default.
- W1531485854 hasRelatedWork W2595646717 @default.
- W1531485854 hasRelatedWork W2738569367 @default.
- W1531485854 hasRelatedWork W2920724488 @default.
- W1531485854 hasRelatedWork W3022714365 @default.
- W1531485854 hasRelatedWork W3085446862 @default.
- W1531485854 hasRelatedWork W3122914370 @default.
- W1531485854 hasRelatedWork W1485560864 @default.