FRINK Linked Data Fragments server

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

• W2534243618 abstract "Dynamic specification inference attempts to infer specifications of software's correct behaviors from execution traces. Automatic online specification mining (AOSM) automatically infers software specifications from online behaviors of in-field programs. Compared with off-line approaches, AOSM is more challenging. On the one hand, it is necessary to divide the evolving trace into small learning units, which we call scenario identification. On the other hand, if online programs encounter failure, erroneous traces which may make specifications inferred very possibly wrong will be produced. This paper gives the solutions of these two problems. For scenario identification, we extract sub-traces of methods issued by one method execution, and infer a FSM (Finite State Machine) model for each method. For the second problem, we assume that software functions are correct in most cases. So we utilize statistical approach to filter out failed software behavior. Meanwhile, based on such strategies, we present a framework for inferring specifications automatically for in-field software. The experiment result demonstrates that precision and completeness of specifications inferred by AOSM respectively have increases of 25% and 7.2% more than these inferred by off-line approach and that AOSM can effectively deal with software failure." @default.
• W2534243618 created "2016-10-28" @default.
• W2534243618 creator A5015742834 @default.
• W2534243618 creator A5033954488 @default.
• W2534243618 creator A5080183182 @default.
• W2534243618 creator A5089613337 @default.
• W2534243618 date "2011-12-01" @default.
• W2534243618 modified "2023-09-27" @default.
• W2534243618 title "Automatic online specification mining" @default.
• W2534243618 cites W1767990287 @default.
• W2534243618 cites W1994034660 @default.
• W2534243618 cites W2030972311 @default.
• W2534243618 cites W2042751794 @default.
• W2534243618 cites W2043811931 @default.
• W2534243618 cites W2076343783 @default.
• W2534243618 cites W2099866050 @default.
• W2534243618 cites W2118325805 @default.
• W2534243618 cites W2119467398 @default.
• W2534243618 cites W2121059325 @default.
• W2534243618 cites W2124081952 @default.
• W2534243618 cites W2124516932 @default.
• W2534243618 cites W2136646111 @default.
• W2534243618 cites W2155988490 @default.
• W2534243618 cites W2156841542 @default.
• W2534243618 cites W2295399529 @default.
• W2534243618 cites W2365984376 @default.
• W2534243618 cites W2481955627 @default.
• W2534243618 cites W3106729728 @default.
• W2534243618 doi "https://doi.org/10.1109/tmee.2011.6199191" @default.
• W2534243618 hasPublicationYear "2011" @default.
• W2534243618 type Work @default.
• W2534243618 sameAs 2534243618 @default.
• W2534243618 citedByCount "0" @default.
• W2534243618 crossrefType "proceedings-article" @default.
• W2534243618 hasAuthorship W2534243618A5015742834 @default.
• W2534243618 hasAuthorship W2534243618A5033954488 @default.
• W2534243618 hasAuthorship W2534243618A5080183182 @default.
• W2534243618 hasAuthorship W2534243618A5089613337 @default.
• W2534243618 hasConcept C1009929 @default.
• W2534243618 hasConcept C101317890 @default.
• W2534243618 hasConcept C115903868 @default.
• W2534243618 hasConcept C116834253 @default.
• W2534243618 hasConcept C119857082 @default.
• W2534243618 hasConcept C124101348 @default.
• W2534243618 hasConcept C134306372 @default.
• W2534243618 hasConcept C138885662 @default.
• W2534243618 hasConcept C149091818 @default.
• W2534243618 hasConcept C154945302 @default.
• W2534243618 hasConcept C167822520 @default.
• W2534243618 hasConcept C17231256 @default.
• W2534243618 hasConcept C199360897 @default.
• W2534243618 hasConcept C202444582 @default.
• W2534243618 hasConcept C2776214188 @default.
• W2534243618 hasConcept C2777904410 @default.
• W2534243618 hasConcept C33923547 @default.
• W2534243618 hasConcept C41008148 @default.
• W2534243618 hasConcept C41895202 @default.
• W2534243618 hasConcept C59822182 @default.
• W2534243618 hasConcept C75291252 @default.
• W2534243618 hasConcept C86803240 @default.
• W2534243618 hasConcept C9652623 @default.
• W2534243618 hasConceptScore W2534243618C1009929 @default.
• W2534243618 hasConceptScore W2534243618C101317890 @default.
• W2534243618 hasConceptScore W2534243618C115903868 @default.
• W2534243618 hasConceptScore W2534243618C116834253 @default.
• W2534243618 hasConceptScore W2534243618C119857082 @default.
• W2534243618 hasConceptScore W2534243618C124101348 @default.
• W2534243618 hasConceptScore W2534243618C134306372 @default.
• W2534243618 hasConceptScore W2534243618C138885662 @default.
• W2534243618 hasConceptScore W2534243618C149091818 @default.
• W2534243618 hasConceptScore W2534243618C154945302 @default.
• W2534243618 hasConceptScore W2534243618C167822520 @default.
• W2534243618 hasConceptScore W2534243618C17231256 @default.
• W2534243618 hasConceptScore W2534243618C199360897 @default.
• W2534243618 hasConceptScore W2534243618C202444582 @default.
• W2534243618 hasConceptScore W2534243618C2776214188 @default.
• W2534243618 hasConceptScore W2534243618C2777904410 @default.
• W2534243618 hasConceptScore W2534243618C33923547 @default.
• W2534243618 hasConceptScore W2534243618C41008148 @default.
• W2534243618 hasConceptScore W2534243618C41895202 @default.
• W2534243618 hasConceptScore W2534243618C59822182 @default.
• W2534243618 hasConceptScore W2534243618C75291252 @default.
• W2534243618 hasConceptScore W2534243618C86803240 @default.
• W2534243618 hasConceptScore W2534243618C9652623 @default.
• W2534243618 hasLocation W25342436181 @default.
• W2534243618 hasOpenAccess W2534243618 @default.
• W2534243618 hasPrimaryLocation W25342436181 @default.
• W2534243618 hasRelatedWork W1589209717 @default.
• W2534243618 hasRelatedWork W1964820107 @default.
• W2534243618 hasRelatedWork W2005882647 @default.
• W2534243618 hasRelatedWork W2010895736 @default.
• W2534243618 hasRelatedWork W2026675907 @default.
• W2534243618 hasRelatedWork W2124516932 @default.
• W2534243618 hasRelatedWork W2126834265 @default.
• W2534243618 hasRelatedWork W2128158689 @default.
• W2534243618 hasRelatedWork W2136646111 @default.
• W2534243618 hasRelatedWork W2147556214 @default.
• W2534243618 hasRelatedWork W2155068430 @default.
• W2534243618 hasRelatedWork W2491178487 @default.
• W2534243618 hasRelatedWork W2740330300 @default.

• next