Matches in SemOpenAlex for { <https://semopenalex.org/work/W2900301613> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2900301613 abstract "The verification process of software is of growing importance as it helps to assure that an application is correctly built. However, an efficient verification method of implementation of an application should also reject cases of invalid data which provide valid results. Thus, we propose in this paper a constraint-based analysis technique to detect vulnerabilities in Java applications at the executable level. We propose to exploit both the information contained in the Bytecode structure of the application and the information given by the user specification. Indeed, we show how the user specifications can be used to deduce the invalid input state that put the testing method in valid post-state and then to detect some defections in the Bytecode programs." @default.
- W2900301613 created "2018-11-16" @default.
- W2900301613 creator A5058867763 @default.
- W2900301613 creator A5088541702 @default.
- W2900301613 date "2018-05-01" @default.
- W2900301613 modified "2023-09-26" @default.
- W2900301613 title "Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs" @default.
- W2900301613 cites W1160404560 @default.
- W2900301613 cites W1539039010 @default.
- W2900301613 cites W1577504098 @default.
- W2900301613 cites W2005274700 @default.
- W2900301613 cites W2036526036 @default.
- W2900301613 cites W2040807797 @default.
- W2900301613 cites W2041687550 @default.
- W2900301613 cites W2047694629 @default.
- W2900301613 cites W2054193570 @default.
- W2900301613 cites W2073792277 @default.
- W2900301613 cites W2115787393 @default.
- W2900301613 cites W2153919898 @default.
- W2900301613 cites W2466388701 @default.
- W2900301613 cites W2625545128 @default.
- W2900301613 cites W2779411928 @default.
- W2900301613 doi "https://doi.org/10.1109/icmcs.2018.8525962" @default.
- W2900301613 hasPublicationYear "2018" @default.
- W2900301613 type Work @default.
- W2900301613 sameAs 2900301613 @default.
- W2900301613 citedByCount "0" @default.
- W2900301613 crossrefType "proceedings-article" @default.
- W2900301613 hasAuthorship W2900301613A5058867763 @default.
- W2900301613 hasAuthorship W2900301613A5088541702 @default.
- W2900301613 hasConcept C110251889 @default.
- W2900301613 hasConcept C115903868 @default.
- W2900301613 hasConcept C127413603 @default.
- W2900301613 hasConcept C15524039 @default.
- W2900301613 hasConcept C160145156 @default.
- W2900301613 hasConcept C165696696 @default.
- W2900301613 hasConcept C168702491 @default.
- W2900301613 hasConcept C199360897 @default.
- W2900301613 hasConcept C2776036281 @default.
- W2900301613 hasConcept C2777472213 @default.
- W2900301613 hasConcept C2779818221 @default.
- W2900301613 hasConcept C38652104 @default.
- W2900301613 hasConcept C41008148 @default.
- W2900301613 hasConcept C48103436 @default.
- W2900301613 hasConcept C548217200 @default.
- W2900301613 hasConcept C78519656 @default.
- W2900301613 hasConcept C98045186 @default.
- W2900301613 hasConceptScore W2900301613C110251889 @default.
- W2900301613 hasConceptScore W2900301613C115903868 @default.
- W2900301613 hasConceptScore W2900301613C127413603 @default.
- W2900301613 hasConceptScore W2900301613C15524039 @default.
- W2900301613 hasConceptScore W2900301613C160145156 @default.
- W2900301613 hasConceptScore W2900301613C165696696 @default.
- W2900301613 hasConceptScore W2900301613C168702491 @default.
- W2900301613 hasConceptScore W2900301613C199360897 @default.
- W2900301613 hasConceptScore W2900301613C2776036281 @default.
- W2900301613 hasConceptScore W2900301613C2777472213 @default.
- W2900301613 hasConceptScore W2900301613C2779818221 @default.
- W2900301613 hasConceptScore W2900301613C38652104 @default.
- W2900301613 hasConceptScore W2900301613C41008148 @default.
- W2900301613 hasConceptScore W2900301613C48103436 @default.
- W2900301613 hasConceptScore W2900301613C548217200 @default.
- W2900301613 hasConceptScore W2900301613C78519656 @default.
- W2900301613 hasConceptScore W2900301613C98045186 @default.
- W2900301613 hasLocation W29003016131 @default.
- W2900301613 hasOpenAccess W2900301613 @default.
- W2900301613 hasPrimaryLocation W29003016131 @default.
- W2900301613 hasRelatedWork W1706056004 @default.
- W2900301613 hasRelatedWork W2008475907 @default.
- W2900301613 hasRelatedWork W2031466154 @default.
- W2900301613 hasRelatedWork W2051020320 @default.
- W2900301613 hasRelatedWork W2064976529 @default.
- W2900301613 hasRelatedWork W2102285002 @default.
- W2900301613 hasRelatedWork W2118847476 @default.
- W2900301613 hasRelatedWork W2129374824 @default.
- W2900301613 hasRelatedWork W2137409926 @default.
- W2900301613 hasRelatedWork W2156879900 @default.
- W2900301613 hasRelatedWork W2465608671 @default.
- W2900301613 hasRelatedWork W2883813762 @default.
- W2900301613 hasRelatedWork W2899478507 @default.
- W2900301613 hasRelatedWork W2907278310 @default.
- W2900301613 hasRelatedWork W29348749 @default.
- W2900301613 hasRelatedWork W2982570580 @default.
- W2900301613 hasRelatedWork W3080834498 @default.
- W2900301613 hasRelatedWork W3178791001 @default.
- W2900301613 hasRelatedWork W34374446 @default.
- W2900301613 hasRelatedWork W98242774 @default.
- W2900301613 isParatext "false" @default.
- W2900301613 isRetracted "false" @default.
- W2900301613 magId "2900301613" @default.
- W2900301613 workType "article" @default.