FRINK Linked Data Fragments server

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

• W2491178487 endingPage "307" @default.
• W2491178487 startingPage "241" @default.
• W2491178487 abstract "Software specifications are the foundation of many software development activities including maintenance, testing, and verification. However, specifications are rarely available for real systems. This dissertation describes a dynamic analysis technique to automatically infer program specifications. We focus on temporal specifications, an important category of specifications that constrain the order of occurrence of events. Our technique generates execution traces of the program by running a set of test cases and then analyzes the properties satisfied by traces using inference techniques and a set of predefined patterns. Our approach makes three contributions over previous work, focusing on enabling effective dynamic inference on large programs under realistic conditions. First, our inference algorithm scales well to large execution traces that have millions of events and thousands of distinct events. Second, our statistical inference algorithm can successfully infer property specifications from imperfect traces collected from buggy programs or using inadequate instrumentation tools. Third, our heuristics can effectively reduce the large number of properties inferred to a manageable set of mostly interesting properties. We implemented our dynamic analysis technique in a prototype tool called Perracotta. To evaluate the usefulness of dynamically inferred temporal properties, we applied Perracotta to aid program understanding, verification, and differencing. Results include inferring a 24-state finite state machine from the JBoss transaction manager that is consistent with the J2EE specification, inferring interesting API rules for the Windows kernel, and detecting a previously unknown deadlock bug in Windows by checking the inferred properties with the ESP verifier." @default.
• W2491178487 created "2016-08-23" @default.
• W2491178487 creator A5017211677 @default.
• W2491178487 creator A5027001546 @default.
• W2491178487 date "2011-05-24" @default.
• W2491178487 modified "2023-09-27" @default.
• W2491178487 title "Automatic Inference and Effective Application of Temporal Specifications" @default.
• W2491178487 cites W1969005071 @default.
• W2491178487 cites W1973828066 @default.
• W2491178487 cites W1993836075 @default.
• W2491178487 cites W1994034660 @default.
• W2491178487 cites W1996832037 @default.
• W2491178487 cites W2004865374 @default.
• W2491178487 cites W2007181618 @default.
• W2491178487 cites W2011958337 @default.
• W2491178487 cites W2021487990 @default.
• W2491178487 cites W2023808162 @default.
• W2491178487 cites W2052592404 @default.
• W2491178487 cites W2074847015 @default.
• W2491178487 cites W2080573945 @default.
• W2491178487 cites W2084974764 @default.
• W2491178487 cites W2103714221 @default.
• W2491178487 cites W2105899810 @default.
• W2491178487 cites W2110836109 @default.
• W2491178487 cites W2113371678 @default.
• W2491178487 cites W2116409384 @default.
• W2491178487 cites W2117426803 @default.
• W2491178487 cites W2119467398 @default.
• W2491178487 cites W2130560480 @default.
• W2491178487 cites W2131954495 @default.
• W2491178487 cites W2137720526 @default.
• W2491178487 cites W2142554897 @default.
• W2491178487 cites W2146641295 @default.
• W2491178487 cites W2147543351 @default.
• W2491178487 cites W2150684130 @default.
• W2491178487 cites W2156841542 @default.
• W2491178487 cites W2167762898 @default.
• W2491178487 cites W2223115626 @default.
• W2491178487 cites W2295399529 @default.
• W2491178487 cites W2987907651 @default.
• W2491178487 cites W3037543967 @default.
• W2491178487 cites W4230796557 @default.
• W2491178487 cites W4231021522 @default.
• W2491178487 cites W4231113774 @default.
• W2491178487 cites W4231709874 @default.
• W2491178487 cites W4233319527 @default.
• W2491178487 cites W4233832762 @default.
• W2491178487 cites W4234695972 @default.
• W2491178487 cites W4253606798 @default.
• W2491178487 cites W4254354208 @default.
• W2491178487 cites W4254645357 @default.
• W2491178487 cites W4256285596 @default.
• W2491178487 doi "https://doi.org/10.1201/b10928-9" @default.
• W2491178487 hasPublicationYear "2011" @default.
• W2491178487 type Work @default.
• W2491178487 sameAs 2491178487 @default.
• W2491178487 citedByCount "2" @default.
• W2491178487 countsByYear W24911784872014 @default.
• W2491178487 countsByYear W24911784872020 @default.
• W2491178487 crossrefType "book-chapter" @default.
• W2491178487 hasAuthorship W2491178487A5017211677 @default.
• W2491178487 hasAuthorship W2491178487A5027001546 @default.
• W2491178487 hasConcept C154945302 @default.
• W2491178487 hasConcept C2776214188 @default.
• W2491178487 hasConcept C41008148 @default.
• W2491178487 hasConceptScore W2491178487C154945302 @default.
• W2491178487 hasConceptScore W2491178487C2776214188 @default.
• W2491178487 hasConceptScore W2491178487C41008148 @default.
• W2491178487 hasLocation W24911784871 @default.
• W2491178487 hasOpenAccess W2491178487 @default.
• W2491178487 hasPrimaryLocation W24911784871 @default.
• W2491178487 hasRelatedWork W2367950322 @default.
• W2491178487 hasRelatedWork W2404595106 @default.
• W2491178487 hasRelatedWork W2511279186 @default.
• W2491178487 hasRelatedWork W2911297108 @default.
• W2491178487 hasRelatedWork W2953238046 @default.
• W2491178487 hasRelatedWork W3107474891 @default.
• W2491178487 hasRelatedWork W4210999218 @default.
• W2491178487 hasRelatedWork W4289528260 @default.
• W2491178487 hasRelatedWork W4300631627 @default.
• W2491178487 hasRelatedWork W86463150 @default.
• W2491178487 isParatext "false" @default.
• W2491178487 isRetracted "false" @default.
• W2491178487 magId "2491178487" @default.
• W2491178487 workType "book-chapter" @default.