Matches in SemOpenAlex for { <https://semopenalex.org/work/W2770102073> ?p ?o ?g. }
- W2770102073 endingPage "426" @default.
- W2770102073 startingPage "412" @default.
- W2770102073 abstract "Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults efficiently but, on the other hand, the absence of faults does not guarantee a correct behavior outside the bounded domain. Hence, choosing suitable bounds is a non-trivial process as there is a trade-off between the verification time (faster for smaller domains) and the confidence in the result (better for larger domains). Unfortunately, bounded verification tools provide little support in the bound selection process. In this paper, we present a technique that can be used to (i) automatically infer verification bounds whenever possible, (ii) tighten a set of bounds proposed by the user and (iii) guide the user in the bound selection process. This approach may increase the usability of UML/OCL bounded verification tools and improve the efficiency of the verification process." @default.
- W2770102073 created "2017-12-04" @default.
- W2770102073 creator A5008576695 @default.
- W2770102073 creator A5052869388 @default.
- W2770102073 creator A5074872542 @default.
- W2770102073 date "2019-04-01" @default.
- W2770102073 modified "2023-09-26" @default.
- W2770102073 title "Smart Bound Selection for the Verification of UML/OCL Class Diagrams" @default.
- W2770102073 cites W138671001 @default.
- W2770102073 cites W1481422796 @default.
- W2770102073 cites W1515014937 @default.
- W2770102073 cites W1519503479 @default.
- W2770102073 cites W157210729 @default.
- W2770102073 cites W1598023088 @default.
- W2770102073 cites W1606461502 @default.
- W2770102073 cites W1687351869 @default.
- W2770102073 cites W1692960825 @default.
- W2770102073 cites W1733489975 @default.
- W2770102073 cites W1885487684 @default.
- W2770102073 cites W1898735785 @default.
- W2770102073 cites W1978679823 @default.
- W2770102073 cites W1994348879 @default.
- W2770102073 cites W2001007953 @default.
- W2770102073 cites W2009691504 @default.
- W2770102073 cites W2016698151 @default.
- W2770102073 cites W2025196861 @default.
- W2770102073 cites W2027346590 @default.
- W2770102073 cites W2044561940 @default.
- W2770102073 cites W2045430061 @default.
- W2770102073 cites W2055287943 @default.
- W2770102073 cites W2067251265 @default.
- W2770102073 cites W2073143859 @default.
- W2770102073 cites W2091920469 @default.
- W2770102073 cites W2094489875 @default.
- W2770102073 cites W2107334983 @default.
- W2770102073 cites W2112957923 @default.
- W2770102073 cites W2117402063 @default.
- W2770102073 cites W2127229029 @default.
- W2770102073 cites W2131566236 @default.
- W2770102073 cites W2143015677 @default.
- W2770102073 cites W2145486615 @default.
- W2770102073 cites W2406059451 @default.
- W2770102073 cites W2547023109 @default.
- W2770102073 cites W3103893175 @default.
- W2770102073 cites W3140501928 @default.
- W2770102073 cites W31562250 @default.
- W2770102073 cites W4213179597 @default.
- W2770102073 cites W4243071263 @default.
- W2770102073 cites W4243423174 @default.
- W2770102073 cites W4244598732 @default.
- W2770102073 doi "https://doi.org/10.1109/tse.2017.2777830" @default.
- W2770102073 hasPublicationYear "2019" @default.
- W2770102073 type Work @default.
- W2770102073 sameAs 2770102073 @default.
- W2770102073 citedByCount "11" @default.
- W2770102073 countsByYear W27701020732020 @default.
- W2770102073 countsByYear W27701020732021 @default.
- W2770102073 countsByYear W27701020732022 @default.
- W2770102073 countsByYear W27701020732023 @default.
- W2770102073 crossrefType "journal-article" @default.
- W2770102073 hasAuthorship W2770102073A5008576695 @default.
- W2770102073 hasAuthorship W2770102073A5052869388 @default.
- W2770102073 hasAuthorship W2770102073A5074872542 @default.
- W2770102073 hasBestOaLocation W27701020732 @default.
- W2770102073 hasConcept C107457646 @default.
- W2770102073 hasConcept C110251889 @default.
- W2770102073 hasConcept C111498074 @default.
- W2770102073 hasConcept C134306372 @default.
- W2770102073 hasConcept C145644426 @default.
- W2770102073 hasConcept C170130773 @default.
- W2770102073 hasConcept C199360897 @default.
- W2770102073 hasConcept C202446494 @default.
- W2770102073 hasConcept C202973057 @default.
- W2770102073 hasConcept C2777904410 @default.
- W2770102073 hasConcept C33923547 @default.
- W2770102073 hasConcept C34388435 @default.
- W2770102073 hasConcept C36503486 @default.
- W2770102073 hasConcept C41008148 @default.
- W2770102073 hasConcept C55439883 @default.
- W2770102073 hasConcept C62460635 @default.
- W2770102073 hasConcept C80444323 @default.
- W2770102073 hasConceptScore W2770102073C107457646 @default.
- W2770102073 hasConceptScore W2770102073C110251889 @default.
- W2770102073 hasConceptScore W2770102073C111498074 @default.
- W2770102073 hasConceptScore W2770102073C134306372 @default.
- W2770102073 hasConceptScore W2770102073C145644426 @default.
- W2770102073 hasConceptScore W2770102073C170130773 @default.
- W2770102073 hasConceptScore W2770102073C199360897 @default.
- W2770102073 hasConceptScore W2770102073C202446494 @default.
- W2770102073 hasConceptScore W2770102073C202973057 @default.
- W2770102073 hasConceptScore W2770102073C2777904410 @default.
- W2770102073 hasConceptScore W2770102073C33923547 @default.
- W2770102073 hasConceptScore W2770102073C34388435 @default.
- W2770102073 hasConceptScore W2770102073C36503486 @default.
- W2770102073 hasConceptScore W2770102073C41008148 @default.
- W2770102073 hasConceptScore W2770102073C55439883 @default.
- W2770102073 hasConceptScore W2770102073C62460635 @default.
- W2770102073 hasConceptScore W2770102073C80444323 @default.