FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2115484804> ?p ?o ?g. }

• W2115484804 endingPage "31" @default.
• W2115484804 startingPage "19" @default.
• W2115484804 abstract "Embedded assertions have been recognized as a potentially powerful tool for automatic runtime detection of software faults during debugging, testing, maintenance and even production versions of software systems. Yet despite the richness of the notations and the maturity of the techniques and tools that have been developed for programming with assertions, assertions are a development tool that has seen little widespread use in practice. The main reasons seem to be that (1) previous assertion processing tools did not integrate easily with existing programming environments, and (2) it is not well understood what kinds of assertions are most effective at detecting software faults. This paper describes experience using an assertion processing tool that was built to address the concerns of ease-of-use and effectiveness. The tool is called APP, an Annotation PreProcessor for C programs developed in UNIX-based development environments, APP has been used in the development of a variety of software systems over the past five years. Based-on this experience, the paper presents a classification of the assertions that were most effective at detecting faults. While the assertions that are described guard against many common kinds of faults and errors, the very commonness of such faults demonstrates the need for an explicit, high-level, automatically checkable specification of required behavior. It is hoped that the classification presented in this paper will prove to be a useful first step in developing a method of programming with assertions.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
• W2115484804 created "2016-06-24" @default.
• W2115484804 creator A5047104641 @default.
• W2115484804 date "1995-01-01" @default.
• W2115484804 modified "2023-10-01" @default.
• W2115484804 title "A practical approach to programming with assertions" @default.
• W2115484804 cites W10589072 @default.
• W2115484804 cites W106588390 @default.
• W2115484804 cites W1485183224 @default.
• W2115484804 cites W1495187315 @default.
• W2115484804 cites W1521996732 @default.
• W2115484804 cites W165425967 @default.
• W2115484804 cites W169401469 @default.
• W2115484804 cites W1751458928 @default.
• W2115484804 cites W1970495662 @default.
• W2115484804 cites W1973326708 @default.
• W2115484804 cites W1974845728 @default.
• W2115484804 cites W1977912468 @default.
• W2115484804 cites W1978474592 @default.
• W2115484804 cites W2001837704 @default.
• W2115484804 cites W2004153601 @default.
• W2115484804 cites W2020853051 @default.
• W2115484804 cites W2032889498 @default.
• W2115484804 cites W2052363833 @default.
• W2115484804 cites W2053081075 @default.
• W2115484804 cites W2068063761 @default.
• W2115484804 cites W2069300761 @default.
• W2115484804 cites W2081814494 @default.
• W2115484804 cites W2088338682 @default.
• W2115484804 cites W2104182286 @default.
• W2115484804 cites W2126538733 @default.
• W2115484804 cites W2132302503 @default.
• W2115484804 cites W2139682567 @default.
• W2115484804 cites W2142853621 @default.
• W2115484804 cites W2144973245 @default.
• W2115484804 cites W2148238464 @default.
• W2115484804 cites W2151688527 @default.
• W2115484804 cites W2168230617 @default.
• W2115484804 cites W2987803397 @default.
• W2115484804 cites W3174107850 @default.
• W2115484804 cites W1567659153 @default.
• W2115484804 doi "https://doi.org/10.1109/32.341844" @default.
• W2115484804 hasPublicationYear "1995" @default.
• W2115484804 type Work @default.
• W2115484804 sameAs 2115484804 @default.
• W2115484804 citedByCount "307" @default.
• W2115484804 countsByYear W21154848042012 @default.
• W2115484804 countsByYear W21154848042013 @default.
• W2115484804 countsByYear W21154848042014 @default.
• W2115484804 countsByYear W21154848042015 @default.
• W2115484804 countsByYear W21154848042016 @default.
• W2115484804 countsByYear W21154848042017 @default.
• W2115484804 countsByYear W21154848042018 @default.
• W2115484804 countsByYear W21154848042019 @default.
• W2115484804 countsByYear W21154848042020 @default.
• W2115484804 countsByYear W21154848042021 @default.
• W2115484804 countsByYear W21154848042022 @default.
• W2115484804 countsByYear W21154848042023 @default.
• W2115484804 crossrefType "journal-article" @default.
• W2115484804 hasAuthorship W2115484804A5047104641 @default.
• W2115484804 hasBestOaLocation W21154848042 @default.
• W2115484804 hasConcept C1009929 @default.
• W2115484804 hasConcept C112968700 @default.
• W2115484804 hasConcept C115903868 @default.
• W2115484804 hasConcept C136197465 @default.
• W2115484804 hasConcept C154945302 @default.
• W2115484804 hasConcept C168065819 @default.
• W2115484804 hasConcept C199360897 @default.
• W2115484804 hasConcept C2777904410 @default.
• W2115484804 hasConcept C33923547 @default.
• W2115484804 hasConcept C40422974 @default.
• W2115484804 hasConcept C41008148 @default.
• W2115484804 hasConcept C45357846 @default.
• W2115484804 hasConcept C529173508 @default.
• W2115484804 hasConcept C94375191 @default.
• W2115484804 hasConceptScore W2115484804C1009929 @default.
• W2115484804 hasConceptScore W2115484804C112968700 @default.
• W2115484804 hasConceptScore W2115484804C115903868 @default.
• W2115484804 hasConceptScore W2115484804C136197465 @default.
• W2115484804 hasConceptScore W2115484804C154945302 @default.
• W2115484804 hasConceptScore W2115484804C168065819 @default.
• W2115484804 hasConceptScore W2115484804C199360897 @default.
• W2115484804 hasConceptScore W2115484804C2777904410 @default.
• W2115484804 hasConceptScore W2115484804C33923547 @default.
• W2115484804 hasConceptScore W2115484804C40422974 @default.
• W2115484804 hasConceptScore W2115484804C41008148 @default.
• W2115484804 hasConceptScore W2115484804C45357846 @default.
• W2115484804 hasConceptScore W2115484804C529173508 @default.
• W2115484804 hasConceptScore W2115484804C94375191 @default.
• W2115484804 hasIssue "1" @default.
• W2115484804 hasLocation W21154848041 @default.
• W2115484804 hasLocation W21154848042 @default.
• W2115484804 hasOpenAccess W2115484804 @default.
• W2115484804 hasPrimaryLocation W21154848041 @default.
• W2115484804 hasRelatedWork W1498982577 @default.
• W2115484804 hasRelatedWork W1587224678 @default.
• W2115484804 hasRelatedWork W1601811574 @default.
• W2115484804 hasRelatedWork W1987935534 @default.

• next