Matches in SemOpenAlex for { <https://semopenalex.org/work/W249490636> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W249490636 abstract "Abstract : While the last decade has witnessed great advances in assuring high software quality through static verification against software hazards and unexpected behavior, the field has pretty much focused on statically verifying software applications against common properties to detect common programming problems such as incorrect usage of memory pointers. But most quality issues such as correctness, security, and robustness violations are caused by the incorrect usage of application programming interfaces (APIs). Although API properties or behaviors can be formally specified and statically verified against software applications by the current state-of-the-art static verification tools, these API properties or behaviors are often not documented by the developers, partly due to two major hindrances in practice: manually specifying a large number of properties or behaviors for static verification is often (1) inaccurate or incomplete, and (2) cumbersome and prohibitively expensive. This project develops new approaches that mine program source code for API properties, which are used to conduct static verification on the software application under analysis to detect defects around APIs." @default.
- W249490636 created "2016-06-24" @default.
- W249490636 creator A5048118068 @default.
- W249490636 date "2013-01-01" @default.
- W249490636 modified "2023-09-26" @default.
- W249490636 title "Mining Program Source Code for Improving Software Quality" @default.
- W249490636 doi "https://doi.org/10.21236/ada581476" @default.
- W249490636 hasPublicationYear "2013" @default.
- W249490636 type Work @default.
- W249490636 sameAs 249490636 @default.
- W249490636 citedByCount "0" @default.
- W249490636 crossrefType "report" @default.
- W249490636 hasAuthorship W249490636A5048118068 @default.
- W249490636 hasConcept C104317684 @default.
- W249490636 hasConcept C115903868 @default.
- W249490636 hasConcept C117447612 @default.
- W249490636 hasConcept C137287247 @default.
- W249490636 hasConcept C185592680 @default.
- W249490636 hasConcept C186846655 @default.
- W249490636 hasConcept C199360897 @default.
- W249490636 hasConcept C2777904410 @default.
- W249490636 hasConcept C28180684 @default.
- W249490636 hasConcept C33054407 @default.
- W249490636 hasConcept C41008148 @default.
- W249490636 hasConcept C43126263 @default.
- W249490636 hasConcept C529173508 @default.
- W249490636 hasConcept C55439883 @default.
- W249490636 hasConcept C55493867 @default.
- W249490636 hasConcept C63479239 @default.
- W249490636 hasConcept C97686452 @default.
- W249490636 hasConceptScore W249490636C104317684 @default.
- W249490636 hasConceptScore W249490636C115903868 @default.
- W249490636 hasConceptScore W249490636C117447612 @default.
- W249490636 hasConceptScore W249490636C137287247 @default.
- W249490636 hasConceptScore W249490636C185592680 @default.
- W249490636 hasConceptScore W249490636C186846655 @default.
- W249490636 hasConceptScore W249490636C199360897 @default.
- W249490636 hasConceptScore W249490636C2777904410 @default.
- W249490636 hasConceptScore W249490636C28180684 @default.
- W249490636 hasConceptScore W249490636C33054407 @default.
- W249490636 hasConceptScore W249490636C41008148 @default.
- W249490636 hasConceptScore W249490636C43126263 @default.
- W249490636 hasConceptScore W249490636C529173508 @default.
- W249490636 hasConceptScore W249490636C55439883 @default.
- W249490636 hasConceptScore W249490636C55493867 @default.
- W249490636 hasConceptScore W249490636C63479239 @default.
- W249490636 hasConceptScore W249490636C97686452 @default.
- W249490636 hasLocation W2494906361 @default.
- W249490636 hasOpenAccess W249490636 @default.
- W249490636 hasPrimaryLocation W2494906361 @default.
- W249490636 hasRelatedWork W1183695963 @default.
- W249490636 hasRelatedWork W1277328974 @default.
- W249490636 hasRelatedWork W1601356550 @default.
- W249490636 hasRelatedWork W200607821 @default.
- W249490636 hasRelatedWork W2018190521 @default.
- W249490636 hasRelatedWork W2024544369 @default.
- W249490636 hasRelatedWork W2026575038 @default.
- W249490636 hasRelatedWork W2113714600 @default.
- W249490636 hasRelatedWork W2120501260 @default.
- W249490636 hasRelatedWork W2130237836 @default.
- W249490636 hasRelatedWork W2134389864 @default.
- W249490636 hasRelatedWork W2143731719 @default.
- W249490636 hasRelatedWork W2149024168 @default.
- W249490636 hasRelatedWork W2155468340 @default.
- W249490636 hasRelatedWork W2294434616 @default.
- W249490636 hasRelatedWork W2577441054 @default.
- W249490636 hasRelatedWork W2809609713 @default.
- W249490636 hasRelatedWork W2922212438 @default.
- W249490636 hasRelatedWork W3035208397 @default.
- W249490636 hasRelatedWork W3146114146 @default.
- W249490636 isParatext "false" @default.
- W249490636 isRetracted "false" @default.
- W249490636 magId "249490636" @default.
- W249490636 workType "report" @default.