Matches in SemOpenAlex for { <https://semopenalex.org/work/W4237865316> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4237865316 abstract "System specifications are important in maintaining program correctness, detecting bugs, understanding systems and guiding test case generation. Often, these specifications are not explicitly written by developers. If we want to use them for analysis, we need to obtain them through other methods; for example, by mining them out of program behavior. Several tools exist to mine data invariants and temporal properties from program traces, but few examine the temporal relationships between data invariants. An example of this kind of relationship would be the return value of the method isFull? is false until the field size reaches the value capacity. We propose a data-temporal property miner, Quarry, which mines Linear Temporal Logic (LTL) relations of arbitrary length and complexity between Daikon-style data invariants. We infer data invariants from systems using Daikon, recompose these data invariants into sequences, and mine temporal properties over these sequences. Our preliminary results suggest that this method may recover important system properties." @default.
- W4237865316 created "2022-05-12" @default.
- W4237865316 creator A5069023395 @default.
- W4237865316 date "2015-05-01" @default.
- W4237865316 modified "2023-10-18" @default.
- W4237865316 title "Mining Temporal Properties of Data Invariants" @default.
- W4237865316 cites W1996832037 @default.
- W4237865316 cites W2031058408 @default.
- W4237865316 cites W2093938715 @default.
- W4237865316 cites W2110908283 @default.
- W4237865316 cites W2113498867 @default.
- W4237865316 cites W2124081952 @default.
- W4237865316 cites W2124516932 @default.
- W4237865316 cites W2153964911 @default.
- W4237865316 cites W2154550022 @default.
- W4237865316 cites W2156118771 @default.
- W4237865316 cites W2156841542 @default.
- W4237865316 cites W2165575313 @default.
- W4237865316 cites W3012979157 @default.
- W4237865316 cites W3106729728 @default.
- W4237865316 cites W4240473828 @default.
- W4237865316 cites W4251980647 @default.
- W4237865316 cites W4255079701 @default.
- W4237865316 doi "https://doi.org/10.1109/icse.2015.238" @default.
- W4237865316 hasPublicationYear "2015" @default.
- W4237865316 type Work @default.
- W4237865316 citedByCount "2" @default.
- W4237865316 countsByYear W42378653162019 @default.
- W4237865316 countsByYear W42378653162022 @default.
- W4237865316 crossrefType "proceedings-article" @default.
- W4237865316 hasAuthorship W4237865316A5069023395 @default.
- W4237865316 hasConcept C111472728 @default.
- W4237865316 hasConcept C119857082 @default.
- W4237865316 hasConcept C124101348 @default.
- W4237865316 hasConcept C138885662 @default.
- W4237865316 hasConcept C189950617 @default.
- W4237865316 hasConcept C199360897 @default.
- W4237865316 hasConcept C202444582 @default.
- W4237865316 hasConcept C25016198 @default.
- W4237865316 hasConcept C2776291640 @default.
- W4237865316 hasConcept C33923547 @default.
- W4237865316 hasConcept C41008148 @default.
- W4237865316 hasConcept C4777664 @default.
- W4237865316 hasConcept C55439883 @default.
- W4237865316 hasConcept C80444323 @default.
- W4237865316 hasConcept C9652623 @default.
- W4237865316 hasConceptScore W4237865316C111472728 @default.
- W4237865316 hasConceptScore W4237865316C119857082 @default.
- W4237865316 hasConceptScore W4237865316C124101348 @default.
- W4237865316 hasConceptScore W4237865316C138885662 @default.
- W4237865316 hasConceptScore W4237865316C189950617 @default.
- W4237865316 hasConceptScore W4237865316C199360897 @default.
- W4237865316 hasConceptScore W4237865316C202444582 @default.
- W4237865316 hasConceptScore W4237865316C25016198 @default.
- W4237865316 hasConceptScore W4237865316C2776291640 @default.
- W4237865316 hasConceptScore W4237865316C33923547 @default.
- W4237865316 hasConceptScore W4237865316C41008148 @default.
- W4237865316 hasConceptScore W4237865316C4777664 @default.
- W4237865316 hasConceptScore W4237865316C55439883 @default.
- W4237865316 hasConceptScore W4237865316C80444323 @default.
- W4237865316 hasConceptScore W4237865316C9652623 @default.
- W4237865316 hasLocation W42378653161 @default.
- W4237865316 hasOpenAccess W4237865316 @default.
- W4237865316 hasPrimaryLocation W42378653161 @default.
- W4237865316 hasRelatedWork W2020883449 @default.
- W4237865316 hasRelatedWork W2031188261 @default.
- W4237865316 hasRelatedWork W2124110813 @default.
- W4237865316 hasRelatedWork W2763487042 @default.
- W4237865316 hasRelatedWork W3021103820 @default.
- W4237865316 hasRelatedWork W3035590440 @default.
- W4237865316 hasRelatedWork W3205267199 @default.
- W4237865316 hasRelatedWork W4232446061 @default.
- W4237865316 hasRelatedWork W4285022830 @default.
- W4237865316 hasRelatedWork W4386081380 @default.
- W4237865316 isParatext "false" @default.
- W4237865316 isRetracted "false" @default.
- W4237865316 workType "article" @default.