Matches in SemOpenAlex for { <https://semopenalex.org/work/W2183364241> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2183364241 abstract "We present JPF-SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF-SE uses JPF to generate and explore symbolic execution paths and it uses off-the-shelf decision procedures to manipu- late numeric constraints." @default.
- W2183364241 created "2016-06-24" @default.
- W2183364241 creator A5022515671 @default.
- W2183364241 creator A5088454541 @default.
- W2183364241 date "2007-01-01" @default.
- W2183364241 modified "2023-10-18" @default.
- W2183364241 title "JPF-SE: A Symbolic Execution Extension to" @default.
- W2183364241 cites W1579638562 @default.
- W2183364241 cites W1720848645 @default.
- W2183364241 cites W2012997183 @default.
- W2183364241 cites W2097699872 @default.
- W2183364241 cites W2101512909 @default.
- W2183364241 cites W2125967324 @default.
- W2183364241 cites W2132897303 @default.
- W2183364241 cites W2144517099 @default.
- W2183364241 cites W2171480813 @default.
- W2183364241 hasPublicationYear "2007" @default.
- W2183364241 type Work @default.
- W2183364241 sameAs 2183364241 @default.
- W2183364241 citedByCount "0" @default.
- W2183364241 crossrefType "journal-article" @default.
- W2183364241 hasAuthorship W2183364241A5022515671 @default.
- W2183364241 hasAuthorship W2183364241A5088454541 @default.
- W2183364241 hasConcept C110251889 @default.
- W2183364241 hasConcept C11171543 @default.
- W2183364241 hasConcept C15744967 @default.
- W2183364241 hasConcept C199360897 @default.
- W2183364241 hasConcept C23123167 @default.
- W2183364241 hasConcept C2776095079 @default.
- W2183364241 hasConcept C2777904410 @default.
- W2183364241 hasConcept C2778029271 @default.
- W2183364241 hasConcept C2779639559 @default.
- W2183364241 hasConcept C41008148 @default.
- W2183364241 hasConcept C548217200 @default.
- W2183364241 hasConceptScore W2183364241C110251889 @default.
- W2183364241 hasConceptScore W2183364241C11171543 @default.
- W2183364241 hasConceptScore W2183364241C15744967 @default.
- W2183364241 hasConceptScore W2183364241C199360897 @default.
- W2183364241 hasConceptScore W2183364241C23123167 @default.
- W2183364241 hasConceptScore W2183364241C2776095079 @default.
- W2183364241 hasConceptScore W2183364241C2777904410 @default.
- W2183364241 hasConceptScore W2183364241C2778029271 @default.
- W2183364241 hasConceptScore W2183364241C2779639559 @default.
- W2183364241 hasConceptScore W2183364241C41008148 @default.
- W2183364241 hasConceptScore W2183364241C548217200 @default.
- W2183364241 hasLocation W21833642411 @default.
- W2183364241 hasOpenAccess W2183364241 @default.
- W2183364241 hasPrimaryLocation W21833642411 @default.
- W2183364241 hasRelatedWork W1524123945 @default.
- W2183364241 hasRelatedWork W1608367582 @default.
- W2183364241 hasRelatedWork W1686257886 @default.
- W2183364241 hasRelatedWork W1777881387 @default.
- W2183364241 hasRelatedWork W2028073658 @default.
- W2183364241 hasRelatedWork W2062649364 @default.
- W2183364241 hasRelatedWork W2065865396 @default.
- W2183364241 hasRelatedWork W2074764976 @default.
- W2183364241 hasRelatedWork W2118155805 @default.
- W2183364241 hasRelatedWork W2138161962 @default.
- W2183364241 hasRelatedWork W2149189527 @default.
- W2183364241 hasRelatedWork W2240631110 @default.
- W2183364241 hasRelatedWork W2348100758 @default.
- W2183364241 hasRelatedWork W2400542543 @default.
- W2183364241 hasRelatedWork W2568208399 @default.
- W2183364241 hasRelatedWork W2598788665 @default.
- W2183364241 hasRelatedWork W2784088285 @default.
- W2183364241 hasRelatedWork W3016875846 @default.
- W2183364241 hasRelatedWork W3170702025 @default.
- W2183364241 hasRelatedWork W2561135813 @default.
- W2183364241 isParatext "false" @default.
- W2183364241 isRetracted "false" @default.
- W2183364241 magId "2183364241" @default.
- W2183364241 workType "article" @default.