Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156300645> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2156300645 endingPage "195" @default.
- W2156300645 startingPage "191" @default.
- W2156300645 abstract "We present a semi-proving method for verifying necessary conditions for program correctness. Our approach is based on the integration of global symbolic evaluation and metamorphic testing. It is relatively easier than conventional program proving, and helps to alleviate the problem that software testing cannot show the absence of faults." @default.
- W2156300645 created "2016-06-24" @default.
- W2156300645 creator A5011830756 @default.
- W2156300645 creator A5014822764 @default.
- W2156300645 creator A5049494347 @default.
- W2156300645 date "2002-07-01" @default.
- W2156300645 modified "2023-10-14" @default.
- W2156300645 title "Semi-proving" @default.
- W2156300645 cites W1968223186 @default.
- W2156300645 cites W1979868167 @default.
- W2156300645 cites W1985830587 @default.
- W2156300645 cites W1996839061 @default.
- W2156300645 cites W2006159725 @default.
- W2156300645 cites W2040832338 @default.
- W2156300645 cites W2046585568 @default.
- W2156300645 cites W2070485163 @default.
- W2156300645 cites W2110441383 @default.
- W2156300645 doi "https://doi.org/10.1145/566171.566202" @default.
- W2156300645 hasPublicationYear "2002" @default.
- W2156300645 type Work @default.
- W2156300645 sameAs 2156300645 @default.
- W2156300645 citedByCount "34" @default.
- W2156300645 countsByYear W21563006452013 @default.
- W2156300645 countsByYear W21563006452014 @default.
- W2156300645 countsByYear W21563006452015 @default.
- W2156300645 countsByYear W21563006452016 @default.
- W2156300645 countsByYear W21563006452017 @default.
- W2156300645 countsByYear W21563006452023 @default.
- W2156300645 crossrefType "journal-article" @default.
- W2156300645 hasAuthorship W2156300645A5011830756 @default.
- W2156300645 hasAuthorship W2156300645A5014822764 @default.
- W2156300645 hasAuthorship W2156300645A5049494347 @default.
- W2156300645 hasConcept C107683887 @default.
- W2156300645 hasConcept C115903868 @default.
- W2156300645 hasConcept C199360897 @default.
- W2156300645 hasConcept C2777904410 @default.
- W2156300645 hasConcept C2779639559 @default.
- W2156300645 hasConcept C2984328558 @default.
- W2156300645 hasConcept C41008148 @default.
- W2156300645 hasConcept C55439883 @default.
- W2156300645 hasConceptScore W2156300645C107683887 @default.
- W2156300645 hasConceptScore W2156300645C115903868 @default.
- W2156300645 hasConceptScore W2156300645C199360897 @default.
- W2156300645 hasConceptScore W2156300645C2777904410 @default.
- W2156300645 hasConceptScore W2156300645C2779639559 @default.
- W2156300645 hasConceptScore W2156300645C2984328558 @default.
- W2156300645 hasConceptScore W2156300645C41008148 @default.
- W2156300645 hasConceptScore W2156300645C55439883 @default.
- W2156300645 hasIssue "4" @default.
- W2156300645 hasLocation W21563006451 @default.
- W2156300645 hasOpenAccess W2156300645 @default.
- W2156300645 hasPrimaryLocation W21563006451 @default.
- W2156300645 hasRelatedWork W2100424584 @default.
- W2156300645 hasRelatedWork W2156300645 @default.
- W2156300645 hasRelatedWork W2767681984 @default.
- W2156300645 hasRelatedWork W2972209643 @default.
- W2156300645 hasRelatedWork W3031906162 @default.
- W2156300645 hasRelatedWork W4253053262 @default.
- W2156300645 hasRelatedWork W4376123179 @default.
- W2156300645 hasRelatedWork W4386346189 @default.
- W2156300645 hasRelatedWork W78086918 @default.
- W2156300645 hasRelatedWork W2256669557 @default.
- W2156300645 hasVolume "27" @default.
- W2156300645 isParatext "false" @default.
- W2156300645 isRetracted "false" @default.
- W2156300645 magId "2156300645" @default.
- W2156300645 workType "article" @default.