Matches in SemOpenAlex for { <https://semopenalex.org/work/W1455759230> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1455759230 endingPage "238" @default.
- W1455759230 startingPage "223" @default.
- W1455759230 abstract "We present CoMA (Conformance Monitoring by Abstract State Machines), a specification-based approach and its supporting tool for runtime monitoring of Java software. Based on the information obtained from code execution and model simulation, the conformance of the concrete implementation is checked with respect to its formal specification given in terms of Abstract State Machines. At runtime, undesirable behaviors of the implementation, as well as incorrect specifications of the system behavior are recognized.The technique we propose makes use of Java annotations, which link the concrete implementation to its formal model, without enriching the code with behavioral information contained only in the abstract specification. The approach fosters the separation between implementation and specification, and allows the reuse of specifications for other purposes (formal verification, simulation, model-based testing, etc.)." @default.
- W1455759230 created "2016-06-24" @default.
- W1455759230 creator A5021486887 @default.
- W1455759230 creator A5089822604 @default.
- W1455759230 creator A5008671444 @default.
- W1455759230 date "2012-01-01" @default.
- W1455759230 modified "2023-10-01" @default.
- W1455759230 title "CoMA: Conformance Monitoring of Java Programs by Abstract State Machines" @default.
- W1455759230 cites W1609712057 @default.
- W1455759230 cites W1807498156 @default.
- W1455759230 cites W1861203031 @default.
- W1455759230 cites W2027769154 @default.
- W1455759230 cites W2073544622 @default.
- W1455759230 cites W2094160561 @default.
- W1455759230 cites W2095929625 @default.
- W1455759230 cites W2101623441 @default.
- W1455759230 cites W2118962824 @default.
- W1455759230 cites W2138916466 @default.
- W1455759230 cites W2150593762 @default.
- W1455759230 cites W2152929251 @default.
- W1455759230 cites W4230958226 @default.
- W1455759230 cites W4238275896 @default.
- W1455759230 cites W45356373 @default.
- W1455759230 doi "https://doi.org/10.1007/978-3-642-29860-8_17" @default.
- W1455759230 hasPublicationYear "2012" @default.
- W1455759230 type Work @default.
- W1455759230 sameAs 1455759230 @default.
- W1455759230 citedByCount "31" @default.
- W1455759230 countsByYear W14557592302012 @default.
- W1455759230 countsByYear W14557592302013 @default.
- W1455759230 countsByYear W14557592302014 @default.
- W1455759230 countsByYear W14557592302015 @default.
- W1455759230 countsByYear W14557592302016 @default.
- W1455759230 countsByYear W14557592302017 @default.
- W1455759230 countsByYear W14557592302018 @default.
- W1455759230 countsByYear W14557592302020 @default.
- W1455759230 countsByYear W14557592302021 @default.
- W1455759230 countsByYear W14557592302023 @default.
- W1455759230 crossrefType "book-chapter" @default.
- W1455759230 hasAuthorship W1455759230A5008671444 @default.
- W1455759230 hasAuthorship W1455759230A5021486887 @default.
- W1455759230 hasAuthorship W1455759230A5089822604 @default.
- W1455759230 hasBestOaLocation W14557592302 @default.
- W1455759230 hasConcept C100136789 @default.
- W1455759230 hasConcept C111919701 @default.
- W1455759230 hasConcept C120665830 @default.
- W1455759230 hasConcept C121332964 @default.
- W1455759230 hasConcept C199360897 @default.
- W1455759230 hasConcept C41008148 @default.
- W1455759230 hasConcept C48103436 @default.
- W1455759230 hasConcept C548217200 @default.
- W1455759230 hasConceptScore W1455759230C100136789 @default.
- W1455759230 hasConceptScore W1455759230C111919701 @default.
- W1455759230 hasConceptScore W1455759230C120665830 @default.
- W1455759230 hasConceptScore W1455759230C121332964 @default.
- W1455759230 hasConceptScore W1455759230C199360897 @default.
- W1455759230 hasConceptScore W1455759230C41008148 @default.
- W1455759230 hasConceptScore W1455759230C48103436 @default.
- W1455759230 hasConceptScore W1455759230C548217200 @default.
- W1455759230 hasLocation W14557592301 @default.
- W1455759230 hasLocation W14557592302 @default.
- W1455759230 hasLocation W14557592303 @default.
- W1455759230 hasOpenAccess W1455759230 @default.
- W1455759230 hasPrimaryLocation W14557592301 @default.
- W1455759230 hasRelatedWork W1490787830 @default.
- W1455759230 hasRelatedWork W1493446239 @default.
- W1455759230 hasRelatedWork W1527178015 @default.
- W1455759230 hasRelatedWork W1860988706 @default.
- W1455759230 hasRelatedWork W1979547103 @default.
- W1455759230 hasRelatedWork W2162118494 @default.
- W1455759230 hasRelatedWork W2383147678 @default.
- W1455759230 hasRelatedWork W3121650164 @default.
- W1455759230 hasRelatedWork W4254917997 @default.
- W1455759230 hasRelatedWork W2528467228 @default.
- W1455759230 isParatext "false" @default.
- W1455759230 isRetracted "false" @default.
- W1455759230 magId "1455759230" @default.
- W1455759230 workType "book-chapter" @default.