Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106189008> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2106189008 abstract "Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. When programs contain dynamic memory allocation and loops, constraint reasoning becomes challenging as new variables and new constraints are created during the test data generation process. In this paper, we address this problem by proposing a new constraint model of C programs based on operators that model dynamic memory management. These operators apply deduction rules on abstract states of the memory allowing so to enhance the constraint reasoning process that permits to generate test data for these programs. We illustrate our approach on structural testing of a complex program that contains dynamic memory allocation/deallocation, structures and loops. An implementation is in progress and first experimental results obtained on this program show the highly deductive potential of the approach." @default.
- W2106189008 created "2016-06-24" @default.
- W2106189008 creator A5013313145 @default.
- W2106189008 creator A5071902706 @default.
- W2106189008 creator A5088959180 @default.
- W2106189008 date "2007-09-01" @default.
- W2106189008 modified "2023-09-25" @default.
- W2106189008 title "Modelling Dynamic Memory Management in Constraint-Based Testing" @default.
- W2106189008 cites W1533493347 @default.
- W2106189008 cites W1578077343 @default.
- W2106189008 cites W1608087281 @default.
- W2106189008 cites W1709754610 @default.
- W2106189008 cites W1787500456 @default.
- W2106189008 cites W2009489720 @default.
- W2106189008 cites W2016962213 @default.
- W2106189008 cites W2017741580 @default.
- W2106189008 cites W2025304834 @default.
- W2106189008 cites W2042835116 @default.
- W2106189008 cites W2059942119 @default.
- W2106189008 cites W2096449544 @default.
- W2106189008 cites W2101629181 @default.
- W2106189008 cites W2106043799 @default.
- W2106189008 cites W2107085346 @default.
- W2106189008 cites W2120552859 @default.
- W2106189008 cites W2121478122 @default.
- W2106189008 cites W2129781020 @default.
- W2106189008 cites W2131290359 @default.
- W2106189008 cites W2133900335 @default.
- W2106189008 cites W2144737265 @default.
- W2106189008 cites W2161716898 @default.
- W2106189008 cites W2164392635 @default.
- W2106189008 cites W2167895601 @default.
- W2106189008 cites W3524579 @default.
- W2106189008 cites W6337991 @default.
- W2106189008 cites W653962758 @default.
- W2106189008 cites W3021865842 @default.
- W2106189008 doi "https://doi.org/10.1109/taic.part.2007.22" @default.
- W2106189008 hasPublicationYear "2007" @default.
- W2106189008 type Work @default.
- W2106189008 sameAs 2106189008 @default.
- W2106189008 citedByCount "3" @default.
- W2106189008 crossrefType "proceedings-article" @default.
- W2106189008 hasAuthorship W2106189008A5013313145 @default.
- W2106189008 hasAuthorship W2106189008A5071902706 @default.
- W2106189008 hasAuthorship W2106189008A5088959180 @default.
- W2106189008 hasBestOaLocation W21061890082 @default.
- W2106189008 hasConcept C136085584 @default.
- W2106189008 hasConcept C176649486 @default.
- W2106189008 hasConcept C199360897 @default.
- W2106189008 hasConcept C2524010 @default.
- W2106189008 hasConcept C2776036281 @default.
- W2106189008 hasConcept C33923547 @default.
- W2106189008 hasConcept C41008148 @default.
- W2106189008 hasConcept C80444323 @default.
- W2106189008 hasConcept C98045186 @default.
- W2106189008 hasConceptScore W2106189008C136085584 @default.
- W2106189008 hasConceptScore W2106189008C176649486 @default.
- W2106189008 hasConceptScore W2106189008C199360897 @default.
- W2106189008 hasConceptScore W2106189008C2524010 @default.
- W2106189008 hasConceptScore W2106189008C2776036281 @default.
- W2106189008 hasConceptScore W2106189008C33923547 @default.
- W2106189008 hasConceptScore W2106189008C41008148 @default.
- W2106189008 hasConceptScore W2106189008C80444323 @default.
- W2106189008 hasConceptScore W2106189008C98045186 @default.
- W2106189008 hasLocation W21061890081 @default.
- W2106189008 hasLocation W21061890082 @default.
- W2106189008 hasLocation W21061890083 @default.
- W2106189008 hasOpenAccess W2106189008 @default.
- W2106189008 hasPrimaryLocation W21061890081 @default.
- W2106189008 hasRelatedWork W1602072618 @default.
- W2106189008 hasRelatedWork W2152087638 @default.
- W2106189008 hasRelatedWork W2351992378 @default.
- W2106189008 hasRelatedWork W2363471132 @default.
- W2106189008 hasRelatedWork W2370652759 @default.
- W2106189008 hasRelatedWork W2379162918 @default.
- W2106189008 hasRelatedWork W2496475388 @default.
- W2106189008 hasRelatedWork W4213421478 @default.
- W2106189008 hasRelatedWork W55822027 @default.
- W2106189008 hasRelatedWork W831794578 @default.
- W2106189008 isParatext "false" @default.
- W2106189008 isRetracted "false" @default.
- W2106189008 magId "2106189008" @default.
- W2106189008 workType "article" @default.