Matches in SemOpenAlex for { <https://semopenalex.org/work/W2025304834> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2025304834 abstract "Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on constraint solving techniques. First, we statically transform a procedure into a constraint system by using well-known Static Single Assignment form and control-dependencies. Second, we solve this system to check whether at least one feasible control flow path going through the selected point exists and to generate test data that correspond to one of these paths.The key point of our approach is to take advantage of current advances in constraint techniques when solving the generated constraint system. Global constraints are used in a preliminary step to detect some of the non feasible paths. Partial consistency techniques are employed to reduce the domains of possible values of the test data. A prototype implementation has been developped on a restricted subset of the C language. Advantages of our approach are illustrated on a non-trivial example." @default.
- W2025304834 created "2016-06-24" @default.
- W2025304834 creator A5013313145 @default.
- W2025304834 creator A5086425684 @default.
- W2025304834 creator A5088959180 @default.
- W2025304834 date "1998-03-01" @default.
- W2025304834 modified "2023-09-25" @default.
- W2025304834 title "Automatic test data generation using constraint solving techniques" @default.
- W2025304834 cites W1535896115 @default.
- W2025304834 cites W1982205631 @default.
- W2025304834 cites W1995109607 @default.
- W2025304834 cites W2010452422 @default.
- W2025304834 cites W2059942119 @default.
- W2025304834 cites W2064104917 @default.
- W2025304834 cites W2094382938 @default.
- W2025304834 cites W2100221082 @default.
- W2025304834 cites W2101512909 @default.
- W2025304834 cites W2101629181 @default.
- W2025304834 cites W2101811680 @default.
- W2025304834 cites W2109276114 @default.
- W2025304834 cites W2120552859 @default.
- W2025304834 cites W2134836602 @default.
- W2025304834 cites W2135432705 @default.
- W2025304834 cites W2144344516 @default.
- W2025304834 cites W2155786233 @default.
- W2025304834 cites W3162185593 @default.
- W2025304834 doi "https://doi.org/10.1145/271771.271790" @default.
- W2025304834 hasPublicationYear "1998" @default.
- W2025304834 type Work @default.
- W2025304834 sameAs 2025304834 @default.
- W2025304834 citedByCount "184" @default.
- W2025304834 countsByYear W20253048342012 @default.
- W2025304834 countsByYear W20253048342013 @default.
- W2025304834 countsByYear W20253048342014 @default.
- W2025304834 countsByYear W20253048342015 @default.
- W2025304834 countsByYear W20253048342016 @default.
- W2025304834 countsByYear W20253048342017 @default.
- W2025304834 countsByYear W20253048342018 @default.
- W2025304834 countsByYear W20253048342019 @default.
- W2025304834 countsByYear W20253048342020 @default.
- W2025304834 countsByYear W20253048342021 @default.
- W2025304834 countsByYear W20253048342022 @default.
- W2025304834 crossrefType "proceedings-article" @default.
- W2025304834 hasAuthorship W2025304834A5013313145 @default.
- W2025304834 hasAuthorship W2025304834A5086425684 @default.
- W2025304834 hasAuthorship W2025304834A5088959180 @default.
- W2025304834 hasConcept C151730666 @default.
- W2025304834 hasConcept C154945302 @default.
- W2025304834 hasConcept C16910744 @default.
- W2025304834 hasConcept C199360897 @default.
- W2025304834 hasConcept C2524010 @default.
- W2025304834 hasConcept C2776036281 @default.
- W2025304834 hasConcept C2777267654 @default.
- W2025304834 hasConcept C33923547 @default.
- W2025304834 hasConcept C41008148 @default.
- W2025304834 hasConcept C86803240 @default.
- W2025304834 hasConceptScore W2025304834C151730666 @default.
- W2025304834 hasConceptScore W2025304834C154945302 @default.
- W2025304834 hasConceptScore W2025304834C16910744 @default.
- W2025304834 hasConceptScore W2025304834C199360897 @default.
- W2025304834 hasConceptScore W2025304834C2524010 @default.
- W2025304834 hasConceptScore W2025304834C2776036281 @default.
- W2025304834 hasConceptScore W2025304834C2777267654 @default.
- W2025304834 hasConceptScore W2025304834C33923547 @default.
- W2025304834 hasConceptScore W2025304834C41008148 @default.
- W2025304834 hasConceptScore W2025304834C86803240 @default.
- W2025304834 hasLocation W20253048341 @default.
- W2025304834 hasOpenAccess W2025304834 @default.
- W2025304834 hasPrimaryLocation W20253048341 @default.
- W2025304834 hasRelatedWork W1602072618 @default.
- W2025304834 hasRelatedWork W1988818474 @default.
- W2025304834 hasRelatedWork W205705379 @default.
- W2025304834 hasRelatedWork W2363600153 @default.
- W2025304834 hasRelatedWork W2364030138 @default.
- W2025304834 hasRelatedWork W2367760007 @default.
- W2025304834 hasRelatedWork W2390772731 @default.
- W2025304834 hasRelatedWork W2392064188 @default.
- W2025304834 hasRelatedWork W3156689156 @default.
- W2025304834 hasRelatedWork W771334976 @default.
- W2025304834 isParatext "false" @default.
- W2025304834 isRetracted "false" @default.
- W2025304834 magId "2025304834" @default.
- W2025304834 workType "article" @default.