Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966703696> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W1966703696 abstract "The need to manually specify temporal properties of software systems is a major barrier to wider adoption of software model checking, because the specification of software temporal properties is a difficult, time-consuming, and error-prone process. To address this problem, we propose to automatically extract software library usage rules, which are one type of temporal specifications. Our approach uses a model checker to check a set of software library usage rule candidates against known good programs using that library, and identifies valid rules based on model checking results. These valid rules can help programmers learn about common software library usage. They can also be used to check new programs using the same library. We have implemented our approach in an Eclipse plug-in named LtRules, which can extract software library usage rules from C programs using BLAST as the underlying model checker." @default.
- W1966703696 created "2016-06-24" @default.
- W1966703696 creator A5022256556 @default.
- W1966703696 creator A5057690857 @default.
- W1966703696 creator A5076008048 @default.
- W1966703696 date "2006-05-28" @default.
- W1966703696 modified "2023-10-16" @default.
- W1966703696 title "LtRules" @default.
- W1966703696 cites W1570229058 @default.
- W1966703696 cites W2043811931 @default.
- W1966703696 cites W2082000355 @default.
- W1966703696 cites W2119467398 @default.
- W1966703696 cites W2156841542 @default.
- W1966703696 cites W2295399529 @default.
- W1966703696 cites W3106729728 @default.
- W1966703696 cites W4231709874 @default.
- W1966703696 doi "https://doi.org/10.1145/1134285.1134424" @default.
- W1966703696 hasPublicationYear "2006" @default.
- W1966703696 type Work @default.
- W1966703696 sameAs 1966703696 @default.
- W1966703696 citedByCount "10" @default.
- W1966703696 countsByYear W19667036962013 @default.
- W1966703696 countsByYear W19667036962014 @default.
- W1966703696 countsByYear W19667036962015 @default.
- W1966703696 countsByYear W19667036962017 @default.
- W1966703696 countsByYear W19667036962021 @default.
- W1966703696 crossrefType "proceedings-article" @default.
- W1966703696 hasAuthorship W1966703696A5022256556 @default.
- W1966703696 hasAuthorship W1966703696A5057690857 @default.
- W1966703696 hasAuthorship W1966703696A5076008048 @default.
- W1966703696 hasConcept C41008148 @default.
- W1966703696 hasConceptScore W1966703696C41008148 @default.
- W1966703696 hasLocation W19667036961 @default.
- W1966703696 hasOpenAccess W1966703696 @default.
- W1966703696 hasPrimaryLocation W19667036961 @default.
- W1966703696 hasRelatedWork W2093578348 @default.
- W1966703696 hasRelatedWork W2350741829 @default.
- W1966703696 hasRelatedWork W2358668433 @default.
- W1966703696 hasRelatedWork W2376932109 @default.
- W1966703696 hasRelatedWork W2382290278 @default.
- W1966703696 hasRelatedWork W2390279801 @default.
- W1966703696 hasRelatedWork W2748952813 @default.
- W1966703696 hasRelatedWork W2766271392 @default.
- W1966703696 hasRelatedWork W2899084033 @default.
- W1966703696 hasRelatedWork W3004735627 @default.
- W1966703696 isParatext "false" @default.
- W1966703696 isRetracted "false" @default.
- W1966703696 magId "1966703696" @default.
- W1966703696 workType "article" @default.