FRINK Linked Data Fragments server

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

• W2053352009 abstract "Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and time-consuming, researchers defined several techniques to extract finite state models from code and traces. Automatically generating models requires much less effort than designing them, and thus eases the verification and validation of large software systems. However, when models are inferred automatically, the precision of the mining process is critical. Behavioral models mined with imprecise processes can include many spurious behaviors, and can thus compromise the results of testing and analysis techniques that use those models." @default.
• W2053352009 created "2016-06-24" @default.
• W2053352009 creator A5036120394 @default.
• W2053352009 creator A5066540482 @default.
• W2053352009 creator A5081036622 @default.
• W2053352009 date "2009-08-24" @default.
• W2053352009 modified "2023-10-16" @default.
• W2053352009 title "Automatic steering of behavioral model inference" @default.
• W2053352009 cites W1979414609 @default.
• W2053352009 cites W2004865374 @default.
• W2053352009 cites W2076343783 @default.
• W2053352009 cites W2099353275 @default.
• W2053352009 cites W2101058980 @default.
• W2053352009 cites W2110908283 @default.
• W2053352009 cites W2111923861 @default.
• W2053352009 cites W2115803466 @default.
• W2053352009 cites W2117227762 @default.
• W2053352009 cites W2121376435 @default.
• W2053352009 cites W2121818394 @default.
• W2053352009 cites W2124081952 @default.
• W2053352009 cites W2126834265 @default.
• W2053352009 cites W2131109383 @default.
• W2053352009 cites W2131954495 @default.
• W2053352009 cites W2136230992 @default.
• W2053352009 cites W2136656815 @default.
• W2053352009 cites W2138059712 @default.
• W2053352009 cites W2146908974 @default.
• W2053352009 cites W2149349589 @default.
• W2053352009 cites W2152878141 @default.
• W2053352009 cites W2153487332 @default.
• W2053352009 cites W2155988490 @default.
• W2053352009 cites W2223115626 @default.
• W2053352009 cites W2295399529 @default.
• W2053352009 cites W3106729728 @default.
• W2053352009 cites W4231709874 @default.
• W2053352009 doi "https://doi.org/10.1145/1595696.1595761" @default.
• W2053352009 hasPublicationYear "2009" @default.
• W2053352009 type Work @default.
• W2053352009 sameAs 2053352009 @default.
• W2053352009 citedByCount "89" @default.
• W2053352009 countsByYear W20533520092012 @default.
• W2053352009 countsByYear W20533520092013 @default.
• W2053352009 countsByYear W20533520092014 @default.
• W2053352009 countsByYear W20533520092015 @default.
• W2053352009 countsByYear W20533520092016 @default.
• W2053352009 countsByYear W20533520092017 @default.
• W2053352009 countsByYear W20533520092018 @default.
• W2053352009 countsByYear W20533520092019 @default.
• W2053352009 countsByYear W20533520092020 @default.
• W2053352009 countsByYear W20533520092021 @default.
• W2053352009 countsByYear W20533520092022 @default.
• W2053352009 countsByYear W20533520092023 @default.
• W2053352009 crossrefType "proceedings-article" @default.
• W2053352009 hasAuthorship W2053352009A5036120394 @default.
• W2053352009 hasAuthorship W2053352009A5066540482 @default.
• W2053352009 hasAuthorship W2053352009A5081036622 @default.
• W2053352009 hasBestOaLocation W20533520092 @default.
• W2053352009 hasConcept C117447612 @default.
• W2053352009 hasConcept C119857082 @default.
• W2053352009 hasConcept C124101348 @default.
• W2053352009 hasConcept C154945302 @default.
• W2053352009 hasConcept C167822520 @default.
• W2053352009 hasConcept C199360897 @default.
• W2053352009 hasConcept C2776214188 @default.
• W2053352009 hasConcept C2777904410 @default.
• W2053352009 hasConcept C41008148 @default.
• W2053352009 hasConcept C529173508 @default.
• W2053352009 hasConcept C78639753 @default.
• W2053352009 hasConcept C97256817 @default.
• W2053352009 hasConcept C98045186 @default.
• W2053352009 hasConceptScore W2053352009C117447612 @default.
• W2053352009 hasConceptScore W2053352009C119857082 @default.
• W2053352009 hasConceptScore W2053352009C124101348 @default.
• W2053352009 hasConceptScore W2053352009C154945302 @default.
• W2053352009 hasConceptScore W2053352009C167822520 @default.
• W2053352009 hasConceptScore W2053352009C199360897 @default.
• W2053352009 hasConceptScore W2053352009C2776214188 @default.
• W2053352009 hasConceptScore W2053352009C2777904410 @default.
• W2053352009 hasConceptScore W2053352009C41008148 @default.
• W2053352009 hasConceptScore W2053352009C529173508 @default.
• W2053352009 hasConceptScore W2053352009C78639753 @default.
• W2053352009 hasConceptScore W2053352009C97256817 @default.
• W2053352009 hasConceptScore W2053352009C98045186 @default.
• W2053352009 hasLocation W20533520091 @default.
• W2053352009 hasLocation W20533520092 @default.
• W2053352009 hasOpenAccess W2053352009 @default.
• W2053352009 hasPrimaryLocation W20533520091 @default.
• W2053352009 hasRelatedWork W1601665417 @default.
• W2053352009 hasRelatedWork W2961085424 @default.
• W2053352009 hasRelatedWork W3121164913 @default.
• W2053352009 hasRelatedWork W3122860443 @default.
• W2053352009 hasRelatedWork W3127945745 @default.
• W2053352009 hasRelatedWork W4285260836 @default.
• W2053352009 hasRelatedWork W4286629047 @default.
• W2053352009 hasRelatedWork W4306321456 @default.
• W2053352009 hasRelatedWork W4306674287 @default.
• W2053352009 hasRelatedWork W4224009465 @default.
• W2053352009 isParatext "false" @default.
• W2053352009 isRetracted "false" @default.
• W2053352009 magId "2053352009" @default.

• next