Matches in SemOpenAlex for { <https://semopenalex.org/work/W2756372922> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2756372922 abstract "IoT devices are software-rich and Java is sometimes chosen as the developing programming language. Although Java is highly productive in constructing large advanced programs, application or user-defined Java classes must be responsible for safety and security issues. In particular, two fundamental methods hashCode and equals play key roles in safety and security assurance. Some existing studies for ensuring the correctness of these two methods rely on static analysis, which are limited to loop-free programs only. This paper proposes a new solution to this important problem, based on equivalence checking of methods or functions. The proposed approach makes use of software analysis workbench (SAW), an open source tool. The approach is also useful in reducing the cost of regression testing when program refactoring is conducted." @default.
- W2756372922 created "2017-09-25" @default.
- W2756372922 creator A5018793641 @default.
- W2756372922 creator A5025395848 @default.
- W2756372922 creator A5042183375 @default.
- W2756372922 creator A5086059037 @default.
- W2756372922 creator A5089781006 @default.
- W2756372922 date "2017-07-01" @default.
- W2756372922 modified "2023-09-26" @default.
- W2756372922 title "Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability" @default.
- W2756372922 cites W1128447031 @default.
- W2756372922 cites W1480909796 @default.
- W2756372922 cites W1528837436 @default.
- W2756372922 cites W1586677474 @default.
- W2756372922 cites W1593874741 @default.
- W2756372922 cites W1606177908 @default.
- W2756372922 cites W1964830323 @default.
- W2756372922 cites W2024219209 @default.
- W2756372922 cites W2042359953 @default.
- W2756372922 cites W2055477538 @default.
- W2756372922 cites W2055569155 @default.
- W2756372922 cites W2117822014 @default.
- W2756372922 cites W2131351054 @default.
- W2756372922 cites W2139555094 @default.
- W2756372922 cites W2140132043 @default.
- W2756372922 cites W2153880904 @default.
- W2756372922 cites W2159595840 @default.
- W2756372922 cites W2163205571 @default.
- W2756372922 cites W2287302287 @default.
- W2756372922 cites W2555865845 @default.
- W2756372922 cites W2556388407 @default.
- W2756372922 cites W92252960 @default.
- W2756372922 doi "https://doi.org/10.1109/icccn.2017.8038505" @default.
- W2756372922 hasPublicationYear "2017" @default.
- W2756372922 type Work @default.
- W2756372922 sameAs 2756372922 @default.
- W2756372922 citedByCount "1" @default.
- W2756372922 countsByYear W27563729222019 @default.
- W2756372922 crossrefType "proceedings-article" @default.
- W2756372922 hasAuthorship W2756372922A5018793641 @default.
- W2756372922 hasAuthorship W2756372922A5025395848 @default.
- W2756372922 hasAuthorship W2756372922A5042183375 @default.
- W2756372922 hasAuthorship W2756372922A5086059037 @default.
- W2756372922 hasAuthorship W2756372922A5089781006 @default.
- W2756372922 hasConcept C110251889 @default.
- W2756372922 hasConcept C115903868 @default.
- W2756372922 hasConcept C132106392 @default.
- W2756372922 hasConcept C138885662 @default.
- W2756372922 hasConcept C152752567 @default.
- W2756372922 hasConcept C199360897 @default.
- W2756372922 hasConcept C2777904410 @default.
- W2756372922 hasConcept C2780069185 @default.
- W2756372922 hasConcept C41008148 @default.
- W2756372922 hasConcept C41895202 @default.
- W2756372922 hasConcept C548217200 @default.
- W2756372922 hasConcept C55439883 @default.
- W2756372922 hasConcept C77019957 @default.
- W2756372922 hasConcept C97686452 @default.
- W2756372922 hasConceptScore W2756372922C110251889 @default.
- W2756372922 hasConceptScore W2756372922C115903868 @default.
- W2756372922 hasConceptScore W2756372922C132106392 @default.
- W2756372922 hasConceptScore W2756372922C138885662 @default.
- W2756372922 hasConceptScore W2756372922C152752567 @default.
- W2756372922 hasConceptScore W2756372922C199360897 @default.
- W2756372922 hasConceptScore W2756372922C2777904410 @default.
- W2756372922 hasConceptScore W2756372922C2780069185 @default.
- W2756372922 hasConceptScore W2756372922C41008148 @default.
- W2756372922 hasConceptScore W2756372922C41895202 @default.
- W2756372922 hasConceptScore W2756372922C548217200 @default.
- W2756372922 hasConceptScore W2756372922C55439883 @default.
- W2756372922 hasConceptScore W2756372922C77019957 @default.
- W2756372922 hasConceptScore W2756372922C97686452 @default.
- W2756372922 hasLocation W27563729221 @default.
- W2756372922 hasOpenAccess W2756372922 @default.
- W2756372922 hasPrimaryLocation W27563729221 @default.
- W2756372922 hasRelatedWork W1522097072 @default.
- W2756372922 hasRelatedWork W1533496377 @default.
- W2756372922 hasRelatedWork W1589713287 @default.
- W2756372922 hasRelatedWork W1933262633 @default.
- W2756372922 hasRelatedWork W2044639210 @default.
- W2756372922 hasRelatedWork W2061021352 @default.
- W2756372922 hasRelatedWork W2075698583 @default.
- W2756372922 hasRelatedWork W2076430670 @default.
- W2756372922 hasRelatedWork W2140214890 @default.
- W2756372922 hasRelatedWork W2143037118 @default.
- W2756372922 hasRelatedWork W23486959 @default.
- W2756372922 hasRelatedWork W2356460842 @default.
- W2756372922 hasRelatedWork W2414972958 @default.
- W2756372922 hasRelatedWork W2769578747 @default.
- W2756372922 hasRelatedWork W2780935268 @default.
- W2756372922 hasRelatedWork W2908382622 @default.
- W2756372922 hasRelatedWork W2990420871 @default.
- W2756372922 hasRelatedWork W3021201818 @default.
- W2756372922 hasRelatedWork W3101318284 @default.
- W2756372922 hasRelatedWork W2101916221 @default.
- W2756372922 isParatext "false" @default.
- W2756372922 isRetracted "false" @default.
- W2756372922 magId "2756372922" @default.
- W2756372922 workType "article" @default.