Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570229058> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1570229058 abstract "It is important that program maintainers understand important properties of the programs they modify and ensure that the changes they make do not alter essential properties in unintended ways. Manually documenting those properties, especially temporal ones that constrain the ordering of events, is difficult and rarely done in practice. We propose an automatic approach to inferring a target system's temporal properties based on analyzing its event traces. The core of our technique is a set of pre-defined property patterns among a few events. These patterns form a partial order in terms of their strictness. Our approach finds the strictest properties satisfied by a set of events based on the traces. We report results from experiments on two sets of programs: student solutions for a class assignment, and several recent versions of OpenSSL Comparing properties inferred from different implementations led us to discover important behavioral differences which revealed flaws in the programs. Differences in automatically inferred temporal properties can provide useful information to programmers evolving complex, often unspecified, programs whose correctness depends on preservation of undocumented temporal properties." @default.
- W1570229058 created "2016-06-24" @default.
- W1570229058 creator A5017211677 @default.
- W1570229058 creator A5027001546 @default.
- W1570229058 date "2005-04-06" @default.
- W1570229058 modified "2023-09-23" @default.
- W1570229058 title "Automatically Inferring Temporal Properties for Program Evolution" @default.
- W1570229058 cites W1973828066 @default.
- W1570229058 cites W1994034660 @default.
- W1570229058 cites W1996832037 @default.
- W1570229058 cites W2011958337 @default.
- W1570229058 cites W2021487990 @default.
- W1570229058 cites W2023808162 @default.
- W1570229058 cites W2040060046 @default.
- W1570229058 cites W2061438988 @default.
- W1570229058 cites W2103318645 @default.
- W1570229058 cites W2113371678 @default.
- W1570229058 cites W2115309705 @default.
- W1570229058 cites W2129058735 @default.
- W1570229058 cites W2142554897 @default.
- W1570229058 cites W2160668141 @default.
- W1570229058 cites W2167195680 @default.
- W1570229058 cites W2295399529 @default.
- W1570229058 cites W4230796557 @default.
- W1570229058 cites W4233832762 @default.
- W1570229058 cites W4243167850 @default.
- W1570229058 cites W4244217062 @default.
- W1570229058 cites W4256144738 @default.
- W1570229058 doi "https://doi.org/10.1109/issre.2004.11" @default.
- W1570229058 hasPublicationYear "2005" @default.
- W1570229058 type Work @default.
- W1570229058 sameAs 1570229058 @default.
- W1570229058 citedByCount "44" @default.
- W1570229058 countsByYear W15702290582012 @default.
- W1570229058 countsByYear W15702290582013 @default.
- W1570229058 countsByYear W15702290582014 @default.
- W1570229058 countsByYear W15702290582015 @default.
- W1570229058 countsByYear W15702290582016 @default.
- W1570229058 countsByYear W15702290582017 @default.
- W1570229058 countsByYear W15702290582018 @default.
- W1570229058 countsByYear W15702290582019 @default.
- W1570229058 countsByYear W15702290582020 @default.
- W1570229058 countsByYear W15702290582021 @default.
- W1570229058 countsByYear W15702290582023 @default.
- W1570229058 crossrefType "proceedings-article" @default.
- W1570229058 hasAuthorship W1570229058A5017211677 @default.
- W1570229058 hasAuthorship W1570229058A5027001546 @default.
- W1570229058 hasBestOaLocation W15702290582 @default.
- W1570229058 hasConcept C111472728 @default.
- W1570229058 hasConcept C121332964 @default.
- W1570229058 hasConcept C124101348 @default.
- W1570229058 hasConcept C138885662 @default.
- W1570229058 hasConcept C154945302 @default.
- W1570229058 hasConcept C177264268 @default.
- W1570229058 hasConcept C189950617 @default.
- W1570229058 hasConcept C199360897 @default.
- W1570229058 hasConcept C2164484 @default.
- W1570229058 hasConcept C26713055 @default.
- W1570229058 hasConcept C2777212361 @default.
- W1570229058 hasConcept C2779662365 @default.
- W1570229058 hasConcept C41008148 @default.
- W1570229058 hasConcept C55439883 @default.
- W1570229058 hasConcept C62520636 @default.
- W1570229058 hasConcept C76155785 @default.
- W1570229058 hasConcept C80444323 @default.
- W1570229058 hasConceptScore W1570229058C111472728 @default.
- W1570229058 hasConceptScore W1570229058C121332964 @default.
- W1570229058 hasConceptScore W1570229058C124101348 @default.
- W1570229058 hasConceptScore W1570229058C138885662 @default.
- W1570229058 hasConceptScore W1570229058C154945302 @default.
- W1570229058 hasConceptScore W1570229058C177264268 @default.
- W1570229058 hasConceptScore W1570229058C189950617 @default.
- W1570229058 hasConceptScore W1570229058C199360897 @default.
- W1570229058 hasConceptScore W1570229058C2164484 @default.
- W1570229058 hasConceptScore W1570229058C26713055 @default.
- W1570229058 hasConceptScore W1570229058C2777212361 @default.
- W1570229058 hasConceptScore W1570229058C2779662365 @default.
- W1570229058 hasConceptScore W1570229058C41008148 @default.
- W1570229058 hasConceptScore W1570229058C55439883 @default.
- W1570229058 hasConceptScore W1570229058C62520636 @default.
- W1570229058 hasConceptScore W1570229058C76155785 @default.
- W1570229058 hasConceptScore W1570229058C80444323 @default.
- W1570229058 hasLocation W15702290581 @default.
- W1570229058 hasLocation W15702290582 @default.
- W1570229058 hasOpenAccess W1570229058 @default.
- W1570229058 hasPrimaryLocation W15702290581 @default.
- W1570229058 hasRelatedWork W1504651774 @default.
- W1570229058 hasRelatedWork W1522809628 @default.
- W1570229058 hasRelatedWork W1554764448 @default.
- W1570229058 hasRelatedWork W1558874663 @default.
- W1570229058 hasRelatedWork W1984757784 @default.
- W1570229058 hasRelatedWork W2083338789 @default.
- W1570229058 hasRelatedWork W2161047782 @default.
- W1570229058 hasRelatedWork W2999340747 @default.
- W1570229058 hasRelatedWork W4238823939 @default.
- W1570229058 hasRelatedWork W2789178056 @default.
- W1570229058 isParatext "false" @default.
- W1570229058 isRetracted "false" @default.
- W1570229058 magId "1570229058" @default.
- W1570229058 workType "article" @default.