Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078644736> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2078644736 abstract "Software reliability will be no less a challenge in the 80's than in the previous decade but the basic research of the 70's can be applied to develop software tools to meet this challenge. In this paper one such application is described, namely the development of a debugging package based on two very active areas of research in the late 60's and throughout the 70's: research on proving assertions about programs [7,9,10,14,17] and on symbolic execution [3,11,12,13]. Combining these two areas appears to have been very fruitful in producing an approach to debugging of great promise.The development of the debugging package for a version of Pascal is described and some applications of the package are discussed. Some possibilities for future developments are also given." @default.
- W2078644736 created "2016-06-24" @default.
- W2078644736 creator A5024959686 @default.
- W2078644736 creator A5050609863 @default.
- W2078644736 creator A5057691435 @default.
- W2078644736 date "1979-01-01" @default.
- W2078644736 modified "2023-09-27" @default.
- W2078644736 title "Assertional checking and symbolic execution" @default.
- W2078644736 cites W1586217630 @default.
- W2078644736 cites W1818907601 @default.
- W2078644736 cites W1972894053 @default.
- W2078644736 cites W1986658425 @default.
- W2078644736 cites W1995109607 @default.
- W2078644736 cites W1998708330 @default.
- W2078644736 cites W2002680633 @default.
- W2078644736 cites W2070485163 @default.
- W2078644736 cites W2101512909 @default.
- W2078644736 cites W2103953153 @default.
- W2078644736 cites W2109276114 @default.
- W2078644736 cites W2160363852 @default.
- W2078644736 cites W3145693741 @default.
- W2078644736 cites W3146075203 @default.
- W2078644736 doi "https://doi.org/10.1145/800177.810051" @default.
- W2078644736 hasPublicationYear "1979" @default.
- W2078644736 type Work @default.
- W2078644736 sameAs 2078644736 @default.
- W2078644736 citedByCount "2" @default.
- W2078644736 crossrefType "proceedings-article" @default.
- W2078644736 hasAuthorship W2078644736A5024959686 @default.
- W2078644736 hasAuthorship W2078644736A5050609863 @default.
- W2078644736 hasAuthorship W2078644736A5057691435 @default.
- W2078644736 hasConcept C115903868 @default.
- W2078644736 hasConcept C136388014 @default.
- W2078644736 hasConcept C168065819 @default.
- W2078644736 hasConcept C199360897 @default.
- W2078644736 hasConcept C2777904410 @default.
- W2078644736 hasConcept C2779639559 @default.
- W2078644736 hasConcept C41008148 @default.
- W2078644736 hasConcept C75608658 @default.
- W2078644736 hasConceptScore W2078644736C115903868 @default.
- W2078644736 hasConceptScore W2078644736C136388014 @default.
- W2078644736 hasConceptScore W2078644736C168065819 @default.
- W2078644736 hasConceptScore W2078644736C199360897 @default.
- W2078644736 hasConceptScore W2078644736C2777904410 @default.
- W2078644736 hasConceptScore W2078644736C2779639559 @default.
- W2078644736 hasConceptScore W2078644736C41008148 @default.
- W2078644736 hasConceptScore W2078644736C75608658 @default.
- W2078644736 hasLocation W20786447361 @default.
- W2078644736 hasOpenAccess W2078644736 @default.
- W2078644736 hasPrimaryLocation W20786447361 @default.
- W2078644736 hasRelatedWork W1439881768 @default.
- W2078644736 hasRelatedWork W1506283830 @default.
- W2078644736 hasRelatedWork W1576742951 @default.
- W2078644736 hasRelatedWork W2003716256 @default.
- W2078644736 hasRelatedWork W2008317913 @default.
- W2078644736 hasRelatedWork W2032512378 @default.
- W2078644736 hasRelatedWork W2060820408 @default.
- W2078644736 hasRelatedWork W2090180847 @default.
- W2078644736 hasRelatedWork W2154833931 @default.
- W2078644736 hasRelatedWork W2351995308 @default.
- W2078644736 hasRelatedWork W2498902211 @default.
- W2078644736 hasRelatedWork W2549979842 @default.
- W2078644736 hasRelatedWork W2610193179 @default.
- W2078644736 hasRelatedWork W2752382195 @default.
- W2078644736 hasRelatedWork W2764157639 @default.
- W2078644736 hasRelatedWork W2768717596 @default.
- W2078644736 hasRelatedWork W2946801219 @default.
- W2078644736 hasRelatedWork W2987480070 @default.
- W2078644736 hasRelatedWork W3082860845 @default.
- W2078644736 hasRelatedWork W3101739347 @default.
- W2078644736 isParatext "false" @default.
- W2078644736 isRetracted "false" @default.
- W2078644736 magId "2078644736" @default.
- W2078644736 workType "article" @default.