FRINK Linked Data Fragments server

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

• W2809205514 endingPage "587" @default.
• W2809205514 startingPage "568" @default.
• W2809205514 abstract "Model-finding tools like the Alloy Analyzer produce concrete examples of how a declarative specification can be satisfied. These formal tools are useful in a wide range of domains: software design, security, networking, and more. By producing concrete examples, they assist in exploring system behavior and can help find surprising faults. Specifications usually have many potential candidate solutions, but model-finders tend to leave the choice of which examples to present entirely to the underlying solver. This paper closes that gap by exploring notions of coverage for the model-finding domain, yielding a novel, rigorous metric for output quality. These ideas are realized in the tool CompoSAT, which interposes itself between Alloy’s constraint-solving and presentation stages to produce ensembles of examples that maximize coverage. We show that high-coverage ensembles like CompoSAT produces are useful for, among other things, detecting overconstraint—a particularly insidious form of specification error. We detail the underlying theory and implementation of CompoSAT and evaluate it on numerous specifications." @default.
• W2809205514 created "2018-06-29" @default.
• W2809205514 creator A5024394821 @default.
• W2809205514 creator A5051441125 @default.
• W2809205514 creator A5079753562 @default.
• W2809205514 date "2018-01-01" @default.
• W2809205514 modified "2023-10-17" @default.
• W2809205514 title "CompoSAT: Specification-Guided Coverage for Model Finding" @default.
• W2809205514 cites W1465565820 @default.
• W2809205514 cites W1480909796 @default.
• W2809205514 cites W1483744477 @default.
• W2809205514 cites W1489366126 @default.
• W2809205514 cites W1518705996 @default.
• W2809205514 cites W1519503479 @default.
• W2809205514 cites W1527892282 @default.
• W2809205514 cites W1552694902 @default.
• W2809205514 cites W1899647947 @default.
• W2809205514 cites W1976371754 @default.
• W2809205514 cites W1976597924 @default.
• W2809205514 cites W1984439778 @default.
• W2809205514 cites W1985581502 @default.
• W2809205514 cites W2002530879 @default.
• W2809205514 cites W2009489720 @default.
• W2809205514 cites W2011849817 @default.
• W2809205514 cites W2042546688 @default.
• W2809205514 cites W2050232116 @default.
• W2809205514 cites W2056872793 @default.
• W2809205514 cites W2095226306 @default.
• W2809205514 cites W2095850105 @default.
• W2809205514 cites W2099204735 @default.
• W2809205514 cites W2101512909 @default.
• W2809205514 cites W2106072155 @default.
• W2809205514 cites W2110712507 @default.
• W2809205514 cites W2112283007 @default.
• W2809205514 cites W2116411029 @default.
• W2809205514 cites W2124026371 @default.
• W2809205514 cites W2130089820 @default.
• W2809205514 cites W2132055325 @default.
• W2809205514 cites W2154897437 @default.
• W2809205514 cites W2157922094 @default.
• W2809205514 cites W2165413178 @default.
• W2809205514 cites W2173307028 @default.
• W2809205514 cites W2294333398 @default.
• W2809205514 cites W2531204761 @default.
• W2809205514 cites W2598672795 @default.
• W2809205514 cites W2614541902 @default.
• W2809205514 cites W2741400146 @default.
• W2809205514 cites W2744460230 @default.
• W2809205514 cites W2951581385 @default.
• W2809205514 cites W3124106557 @default.
• W2809205514 cites W367605388 @default.
• W2809205514 cites W4213179597 @default.
• W2809205514 cites W4237492309 @default.
• W2809205514 cites W4245822332 @default.
• W2809205514 cites W4248218709 @default.
• W2809205514 cites W4251013951 @default.
• W2809205514 cites W4255843482 @default.
• W2809205514 doi "https://doi.org/10.1007/978-3-319-95582-7_34" @default.
• W2809205514 hasPublicationYear "2018" @default.
• W2809205514 type Work @default.
• W2809205514 sameAs 2809205514 @default.
• W2809205514 citedByCount "10" @default.
• W2809205514 countsByYear W28092055142019 @default.
• W2809205514 countsByYear W28092055142021 @default.
• W2809205514 countsByYear W28092055142022 @default.
• W2809205514 countsByYear W28092055142023 @default.
• W2809205514 crossrefType "book-chapter" @default.
• W2809205514 hasAuthorship W2809205514A5024394821 @default.
• W2809205514 hasAuthorship W2809205514A5051441125 @default.
• W2809205514 hasAuthorship W2809205514A5079753562 @default.
• W2809205514 hasConcept C115903868 @default.
• W2809205514 hasConcept C116253237 @default.
• W2809205514 hasConcept C127413603 @default.
• W2809205514 hasConcept C134306372 @default.
• W2809205514 hasConcept C159985019 @default.
• W2809205514 hasConcept C162324750 @default.
• W2809205514 hasConcept C176217482 @default.
• W2809205514 hasConcept C192562407 @default.
• W2809205514 hasConcept C199360897 @default.
• W2809205514 hasConcept C204323151 @default.
• W2809205514 hasConcept C21547014 @default.
• W2809205514 hasConcept C2776036281 @default.
• W2809205514 hasConcept C2778770139 @default.
• W2809205514 hasConcept C33923547 @default.
• W2809205514 hasConcept C36503486 @default.
• W2809205514 hasConcept C41008148 @default.
• W2809205514 hasConcept C78519656 @default.
• W2809205514 hasConcept C80444323 @default.
• W2809205514 hasConceptScore W2809205514C115903868 @default.
• W2809205514 hasConceptScore W2809205514C116253237 @default.
• W2809205514 hasConceptScore W2809205514C127413603 @default.
• W2809205514 hasConceptScore W2809205514C134306372 @default.
• W2809205514 hasConceptScore W2809205514C159985019 @default.
• W2809205514 hasConceptScore W2809205514C162324750 @default.
• W2809205514 hasConceptScore W2809205514C176217482 @default.
• W2809205514 hasConceptScore W2809205514C192562407 @default.
• W2809205514 hasConceptScore W2809205514C199360897 @default.
• W2809205514 hasConceptScore W2809205514C204323151 @default.

• next