Matches in SemOpenAlex for { <https://semopenalex.org/work/W1595892306> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1595892306 endingPage "15" @default.
- W1595892306 startingPage "1" @default.
- W1595892306 abstract "Automated functional testing consists in deriving test cases from the specification model of a program to detect faults within an implementation. In our work, we investigate using Constraint Handling Rules (CHRs) to automate the test cases generation process of functional testing. Our case study is a formal model of the Java Card Virtual Machine (JCVM) written in a sub-language of the Coq proof assistant. In this paper we define an automated translation from this formal model into CHRs and propose to generate test cases for each bytecode definition of the JCVM. The originality of our approach resides in the use of CHRs to faithfully model the formally specified operational semantics of the JCVM. The approach has been implemented in Eclipse Prolog and a full set of test cases have been generated for testing the JCVM." @default.
- W1595892306 created "2016-06-24" @default.
- W1595892306 creator A5013313145 @default.
- W1595892306 creator A5022329378 @default.
- W1595892306 date "2005-01-01" @default.
- W1595892306 modified "2023-09-25" @default.
- W1595892306 title "Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine" @default.
- W1595892306 cites W1515441675 @default.
- W1595892306 cites W1520479531 @default.
- W1595892306 cites W1525726734 @default.
- W1595892306 cites W1565777932 @default.
- W1595892306 cites W1812243426 @default.
- W1595892306 cites W2010057075 @default.
- W1595892306 cites W2012685447 @default.
- W1595892306 cites W2077836627 @default.
- W1595892306 cites W2079333278 @default.
- W1595892306 cites W2125831829 @default.
- W1595892306 cites W2133250787 @default.
- W1595892306 cites W2144737265 @default.
- W1595892306 cites W4239717315 @default.
- W1595892306 cites W4251237796 @default.
- W1595892306 doi "https://doi.org/10.1007/11603023_1" @default.
- W1595892306 hasPublicationYear "2005" @default.
- W1595892306 type Work @default.
- W1595892306 sameAs 1595892306 @default.
- W1595892306 citedByCount "2" @default.
- W1595892306 countsByYear W15958923062015 @default.
- W1595892306 crossrefType "book-chapter" @default.
- W1595892306 hasAuthorship W1595892306A5013313145 @default.
- W1595892306 hasAuthorship W1595892306A5022329378 @default.
- W1595892306 hasBestOaLocation W15958923062 @default.
- W1595892306 hasConcept C119857082 @default.
- W1595892306 hasConcept C128942645 @default.
- W1595892306 hasConcept C152877465 @default.
- W1595892306 hasConcept C169168650 @default.
- W1595892306 hasConcept C186846655 @default.
- W1595892306 hasConcept C199360897 @default.
- W1595892306 hasConcept C2777904410 @default.
- W1595892306 hasConcept C41008148 @default.
- W1595892306 hasConcept C529173508 @default.
- W1595892306 hasConcept C548217200 @default.
- W1595892306 hasConcept C81721847 @default.
- W1595892306 hasConceptScore W1595892306C119857082 @default.
- W1595892306 hasConceptScore W1595892306C128942645 @default.
- W1595892306 hasConceptScore W1595892306C152877465 @default.
- W1595892306 hasConceptScore W1595892306C169168650 @default.
- W1595892306 hasConceptScore W1595892306C186846655 @default.
- W1595892306 hasConceptScore W1595892306C199360897 @default.
- W1595892306 hasConceptScore W1595892306C2777904410 @default.
- W1595892306 hasConceptScore W1595892306C41008148 @default.
- W1595892306 hasConceptScore W1595892306C529173508 @default.
- W1595892306 hasConceptScore W1595892306C548217200 @default.
- W1595892306 hasConceptScore W1595892306C81721847 @default.
- W1595892306 hasLocation W15958923061 @default.
- W1595892306 hasLocation W15958923062 @default.
- W1595892306 hasLocation W15958923063 @default.
- W1595892306 hasLocation W15958923064 @default.
- W1595892306 hasLocation W15958923065 @default.
- W1595892306 hasOpenAccess W1595892306 @default.
- W1595892306 hasPrimaryLocation W15958923061 @default.
- W1595892306 hasRelatedWork W1490787830 @default.
- W1595892306 hasRelatedWork W1608659702 @default.
- W1595892306 hasRelatedWork W1709788236 @default.
- W1595892306 hasRelatedWork W2088007073 @default.
- W1595892306 hasRelatedWork W2112962394 @default.
- W1595892306 hasRelatedWork W2143416833 @default.
- W1595892306 hasRelatedWork W2182558278 @default.
- W1595892306 hasRelatedWork W4297806462 @default.
- W1595892306 hasRelatedWork W2473250120 @default.
- W1595892306 hasRelatedWork W2528467228 @default.
- W1595892306 isParatext "false" @default.
- W1595892306 isRetracted "false" @default.
- W1595892306 magId "1595892306" @default.
- W1595892306 workType "book-chapter" @default.