Matches in SemOpenAlex for { <https://semopenalex.org/work/W2399672836> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2399672836 abstract "Algebraic specification languages have been successfully used for the formal specification of abstract data types (ADTs) and software components, and there are several approaches to automatically derive test cases that check the conformity between the implementation and the algebraic specification of a software component. However, existing approaches do not assure the coverage of conditional axioms and conditions embedded in complex axioms. In this paper, we present a novel approach and a tool to automatically derive test cases from bounded algebraic specifications of ADTs, assuring axiom coverage and of all minterms in its full disjunctive normal form (FDNF). The algebraic specification is first translated into the Alloy modelling language, and the Alloy Analyzer tool is used to find model instances for each test goal (axiom and minterm to cover), from which test cases in JUnit are extracted." @default.
- W2399672836 created "2016-06-24" @default.
- W2399672836 creator A5031730966 @default.
- W2399672836 creator A5068751710 @default.
- W2399672836 creator A5090133469 @default.
- W2399672836 date "2011-01-01" @default.
- W2399672836 modified "2023-09-24" @default.
- W2399672836 title "TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY" @default.
- W2399672836 cites W2083411793 @default.
- W2399672836 cites W2121150942 @default.
- W2399672836 cites W2123863902 @default.
- W2399672836 cites W2125831829 @default.
- W2399672836 cites W2148418519 @default.
- W2399672836 cites W2152949134 @default.
- W2399672836 cites W2166172769 @default.
- W2399672836 cites W2170108788 @default.
- W2399672836 cites W2171207016 @default.
- W2399672836 cites W2253691073 @default.
- W2399672836 cites W2261267397 @default.
- W2399672836 cites W2272548202 @default.
- W2399672836 cites W2143135004 @default.
- W2399672836 cites W2464475647 @default.
- W2399672836 doi "https://doi.org/10.5220/0003528101920200" @default.
- W2399672836 hasPublicationYear "2011" @default.
- W2399672836 type Work @default.
- W2399672836 sameAs 2399672836 @default.
- W2399672836 citedByCount "3" @default.
- W2399672836 countsByYear W23996728362012 @default.
- W2399672836 countsByYear W23996728362013 @default.
- W2399672836 crossrefType "proceedings-article" @default.
- W2399672836 hasAuthorship W2399672836A5031730966 @default.
- W2399672836 hasAuthorship W2399672836A5068751710 @default.
- W2399672836 hasAuthorship W2399672836A5090133469 @default.
- W2399672836 hasBestOaLocation W23996728361 @default.
- W2399672836 hasConcept C11413529 @default.
- W2399672836 hasConcept C116253237 @default.
- W2399672836 hasConcept C134306372 @default.
- W2399672836 hasConcept C136119220 @default.
- W2399672836 hasConcept C167729594 @default.
- W2399672836 hasConcept C199360897 @default.
- W2399672836 hasConcept C201677973 @default.
- W2399672836 hasConcept C202444582 @default.
- W2399672836 hasConcept C2524010 @default.
- W2399672836 hasConcept C2777691520 @default.
- W2399672836 hasConcept C33923547 @default.
- W2399672836 hasConcept C34388435 @default.
- W2399672836 hasConcept C41008148 @default.
- W2399672836 hasConcept C80444323 @default.
- W2399672836 hasConcept C9376300 @default.
- W2399672836 hasConceptScore W2399672836C11413529 @default.
- W2399672836 hasConceptScore W2399672836C116253237 @default.
- W2399672836 hasConceptScore W2399672836C134306372 @default.
- W2399672836 hasConceptScore W2399672836C136119220 @default.
- W2399672836 hasConceptScore W2399672836C167729594 @default.
- W2399672836 hasConceptScore W2399672836C199360897 @default.
- W2399672836 hasConceptScore W2399672836C201677973 @default.
- W2399672836 hasConceptScore W2399672836C202444582 @default.
- W2399672836 hasConceptScore W2399672836C2524010 @default.
- W2399672836 hasConceptScore W2399672836C2777691520 @default.
- W2399672836 hasConceptScore W2399672836C33923547 @default.
- W2399672836 hasConceptScore W2399672836C34388435 @default.
- W2399672836 hasConceptScore W2399672836C41008148 @default.
- W2399672836 hasConceptScore W2399672836C80444323 @default.
- W2399672836 hasConceptScore W2399672836C9376300 @default.
- W2399672836 hasLocation W23996728361 @default.
- W2399672836 hasOpenAccess W2399672836 @default.
- W2399672836 hasPrimaryLocation W23996728361 @default.
- W2399672836 hasRelatedWork W1508416889 @default.
- W2399672836 hasRelatedWork W1526091374 @default.
- W2399672836 hasRelatedWork W1543184178 @default.
- W2399672836 hasRelatedWork W1553352239 @default.
- W2399672836 hasRelatedWork W1592412049 @default.
- W2399672836 hasRelatedWork W1814211106 @default.
- W2399672836 hasRelatedWork W182185105 @default.
- W2399672836 hasRelatedWork W2020190447 @default.
- W2399672836 hasRelatedWork W203939441 @default.
- W2399672836 hasRelatedWork W2053087499 @default.
- W2399672836 hasRelatedWork W2057602126 @default.
- W2399672836 hasRelatedWork W2070717690 @default.
- W2399672836 hasRelatedWork W2073268071 @default.
- W2399672836 hasRelatedWork W2120500179 @default.
- W2399672836 hasRelatedWork W2120501031 @default.
- W2399672836 hasRelatedWork W2161516603 @default.
- W2399672836 hasRelatedWork W2253372059 @default.
- W2399672836 hasRelatedWork W2556005817 @default.
- W2399672836 hasRelatedWork W2621291488 @default.
- W2399672836 hasRelatedWork W2555186796 @default.
- W2399672836 isParatext "false" @default.
- W2399672836 isRetracted "false" @default.
- W2399672836 magId "2399672836" @default.
- W2399672836 workType "article" @default.