Matches in SemOpenAlex for { <https://semopenalex.org/work/W2033533862> ?p ?o ?g. }
- W2033533862 abstract "Constraint solving is a fundamental tenet of most test case generation strategies. However, conventional constraint solving methods were not designed in consideration of that aspect of test case generation. It has led to a situation where test case generation techniques can miss test cases when constraints contain function invocations. This is due to the fact that, when solving constraints to generate test cases, function invocations are not effectively handled and, as a result, solutions to some constraints are not found even though they do exist. This problem occurs in both specification-based and code-based testing. To address the problem, this paper presents a function substitution method that transforms test case constraints that contain certain types of functions into equivalent constraints that do not contain those functions. The transformation preserves the solution space and avoids missed test cases. As a result, the completeness of test case generation can be improved." @default.
- W2033533862 created "2016-06-24" @default.
- W2033533862 creator A5029588332 @default.
- W2033533862 creator A5043071282 @default.
- W2033533862 creator A5063211162 @default.
- W2033533862 creator A5069910503 @default.
- W2033533862 creator A5074007281 @default.
- W2033533862 date "2012-08-01" @default.
- W2033533862 modified "2023-09-26" @default.
- W2033533862 title "Function Substitution: Towards Constraint Solving in Software Testing" @default.
- W2033533862 cites W1492884822 @default.
- W2033533862 cites W1511337687 @default.
- W2033533862 cites W1548747954 @default.
- W2033533862 cites W1720848645 @default.
- W2033533862 cites W1976972021 @default.
- W2033533862 cites W1983705309 @default.
- W2033533862 cites W2009489720 @default.
- W2033533862 cites W2021414839 @default.
- W2033533862 cites W2025918428 @default.
- W2033533862 cites W2034127436 @default.
- W2033533862 cites W2078314687 @default.
- W2033533862 cites W2082434633 @default.
- W2033533862 cites W2089412796 @default.
- W2033533862 cites W2096921488 @default.
- W2033533862 cites W2097110854 @default.
- W2033533862 cites W2101512909 @default.
- W2033533862 cites W2103139294 @default.
- W2033533862 cites W2109276114 @default.
- W2033533862 cites W2115593151 @default.
- W2033533862 cites W2128705399 @default.
- W2033533862 cites W2134291258 @default.
- W2033533862 cites W2137860663 @default.
- W2033533862 cites W2140152108 @default.
- W2033533862 cites W2155891457 @default.
- W2033533862 cites W2162300032 @default.
- W2033533862 cites W2166956498 @default.
- W2033533862 cites W2169361939 @default.
- W2033533862 cites W2293616642 @default.
- W2033533862 cites W2900212124 @default.
- W2033533862 cites W3151986606 @default.
- W2033533862 doi "https://doi.org/10.1109/qsic.2012.32" @default.
- W2033533862 hasPublicationYear "2012" @default.
- W2033533862 type Work @default.
- W2033533862 sameAs 2033533862 @default.
- W2033533862 citedByCount "0" @default.
- W2033533862 crossrefType "proceedings-article" @default.
- W2033533862 hasAuthorship W2033533862A5029588332 @default.
- W2033533862 hasAuthorship W2033533862A5043071282 @default.
- W2033533862 hasAuthorship W2033533862A5063211162 @default.
- W2033533862 hasAuthorship W2033533862A5069910503 @default.
- W2033533862 hasAuthorship W2033533862A5074007281 @default.
- W2033533862 hasConcept C104317684 @default.
- W2033533862 hasConcept C11413529 @default.
- W2033533862 hasConcept C119857082 @default.
- W2033533862 hasConcept C126255220 @default.
- W2033533862 hasConcept C128942645 @default.
- W2033533862 hasConcept C134306372 @default.
- W2033533862 hasConcept C14036430 @default.
- W2033533862 hasConcept C152877465 @default.
- W2033533862 hasConcept C154945302 @default.
- W2033533862 hasConcept C17231256 @default.
- W2033533862 hasConcept C176783269 @default.
- W2033533862 hasConcept C185592680 @default.
- W2033533862 hasConcept C199360897 @default.
- W2033533862 hasConcept C204241405 @default.
- W2033533862 hasConcept C2524010 @default.
- W2033533862 hasConcept C2776036281 @default.
- W2033533862 hasConcept C2778220771 @default.
- W2033533862 hasConcept C33923547 @default.
- W2033533862 hasConcept C41008148 @default.
- W2033533862 hasConcept C44616089 @default.
- W2033533862 hasConcept C49937458 @default.
- W2033533862 hasConcept C55493867 @default.
- W2033533862 hasConcept C78458016 @default.
- W2033533862 hasConcept C86803240 @default.
- W2033533862 hasConceptScore W2033533862C104317684 @default.
- W2033533862 hasConceptScore W2033533862C11413529 @default.
- W2033533862 hasConceptScore W2033533862C119857082 @default.
- W2033533862 hasConceptScore W2033533862C126255220 @default.
- W2033533862 hasConceptScore W2033533862C128942645 @default.
- W2033533862 hasConceptScore W2033533862C134306372 @default.
- W2033533862 hasConceptScore W2033533862C14036430 @default.
- W2033533862 hasConceptScore W2033533862C152877465 @default.
- W2033533862 hasConceptScore W2033533862C154945302 @default.
- W2033533862 hasConceptScore W2033533862C17231256 @default.
- W2033533862 hasConceptScore W2033533862C176783269 @default.
- W2033533862 hasConceptScore W2033533862C185592680 @default.
- W2033533862 hasConceptScore W2033533862C199360897 @default.
- W2033533862 hasConceptScore W2033533862C204241405 @default.
- W2033533862 hasConceptScore W2033533862C2524010 @default.
- W2033533862 hasConceptScore W2033533862C2776036281 @default.
- W2033533862 hasConceptScore W2033533862C2778220771 @default.
- W2033533862 hasConceptScore W2033533862C33923547 @default.
- W2033533862 hasConceptScore W2033533862C41008148 @default.
- W2033533862 hasConceptScore W2033533862C44616089 @default.
- W2033533862 hasConceptScore W2033533862C49937458 @default.
- W2033533862 hasConceptScore W2033533862C55493867 @default.
- W2033533862 hasConceptScore W2033533862C78458016 @default.
- W2033533862 hasConceptScore W2033533862C86803240 @default.
- W2033533862 hasLocation W20335338621 @default.