Matches in SemOpenAlex for { <https://semopenalex.org/work/W23912179> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W23912179 abstract "Some authors have recently suggested the use of constraint logic programming (CLP) for the verification of hybrid systems. In this paper, we offer evidence that CLP can also be used for the derivation of meaningful test cases. In our approach, formal specifications of concurrent hybrid systems are automatically translated into a format executable by a CLP program. The user can then study the behaviour of his system by specifying conditions under which the execution should be performed. The conditions are specified declaratively in a fragment of first order temporal logic relating variables' values at different times. Such a specification is translated automatically into constraints, which are taken into account during a symbolic execution performed by the CLP program. The symbolic execution generates paths consistent with the user-defined conditions, together with a set of corresponding necessary and sufficient constraints on the input values. We apply an algorithm based on the projection of these constraints to try to extract good input values for testing the final code of the system." @default.
- W23912179 created "2016-06-24" @default.
- W23912179 creator A5045201515 @default.
- W23912179 date "2011-01-01" @default.
- W23912179 modified "2023-09-27" @default.
- W23912179 title "AUTOMATIC DERIVATION OF MEANINGFUL EXPERIMENTS FOR HYBRID SYSTEMS" @default.
- W23912179 cites W1490985464 @default.
- W23912179 cites W1569707226 @default.
- W23912179 cites W2063727779 @default.
- W23912179 cites W2099529102 @default.
- W23912179 cites W2101629181 @default.
- W23912179 cites W2120552859 @default.
- W23912179 cites W2124778357 @default.
- W23912179 cites W2158744037 @default.
- W23912179 cites W2178044126 @default.
- W23912179 cites W2519218684 @default.
- W23912179 cites W2570710533 @default.
- W23912179 cites W3159226331 @default.
- W23912179 hasPublicationYear "2011" @default.
- W23912179 type Work @default.
- W23912179 sameAs 23912179 @default.
- W23912179 citedByCount "2" @default.
- W23912179 crossrefType "journal-article" @default.
- W23912179 hasAuthorship W23912179A5045201515 @default.
- W23912179 hasConcept C11413529 @default.
- W23912179 hasConcept C126255220 @default.
- W23912179 hasConcept C128838566 @default.
- W23912179 hasConcept C137631369 @default.
- W23912179 hasConcept C154945302 @default.
- W23912179 hasConcept C160145156 @default.
- W23912179 hasConcept C173404611 @default.
- W23912179 hasConcept C176783269 @default.
- W23912179 hasConcept C177264268 @default.
- W23912179 hasConcept C199360897 @default.
- W23912179 hasConcept C2524010 @default.
- W23912179 hasConcept C2776036281 @default.
- W23912179 hasConcept C2777904410 @default.
- W23912179 hasConcept C2779639559 @default.
- W23912179 hasConcept C33923547 @default.
- W23912179 hasConcept C41008148 @default.
- W23912179 hasConcept C44616089 @default.
- W23912179 hasConcept C49937458 @default.
- W23912179 hasConcept C57493831 @default.
- W23912179 hasConcept C80444323 @default.
- W23912179 hasConceptScore W23912179C11413529 @default.
- W23912179 hasConceptScore W23912179C126255220 @default.
- W23912179 hasConceptScore W23912179C128838566 @default.
- W23912179 hasConceptScore W23912179C137631369 @default.
- W23912179 hasConceptScore W23912179C154945302 @default.
- W23912179 hasConceptScore W23912179C160145156 @default.
- W23912179 hasConceptScore W23912179C173404611 @default.
- W23912179 hasConceptScore W23912179C176783269 @default.
- W23912179 hasConceptScore W23912179C177264268 @default.
- W23912179 hasConceptScore W23912179C199360897 @default.
- W23912179 hasConceptScore W23912179C2524010 @default.
- W23912179 hasConceptScore W23912179C2776036281 @default.
- W23912179 hasConceptScore W23912179C2777904410 @default.
- W23912179 hasConceptScore W23912179C2779639559 @default.
- W23912179 hasConceptScore W23912179C33923547 @default.
- W23912179 hasConceptScore W23912179C41008148 @default.
- W23912179 hasConceptScore W23912179C44616089 @default.
- W23912179 hasConceptScore W23912179C49937458 @default.
- W23912179 hasConceptScore W23912179C57493831 @default.
- W23912179 hasConceptScore W23912179C80444323 @default.
- W23912179 hasLocation W239121791 @default.
- W23912179 hasOpenAccess W23912179 @default.
- W23912179 hasPrimaryLocation W239121791 @default.
- W23912179 hasRelatedWork W121750021 @default.
- W23912179 hasRelatedWork W146471122 @default.
- W23912179 hasRelatedWork W1538906861 @default.
- W23912179 hasRelatedWork W1562722544 @default.
- W23912179 hasRelatedWork W1968462888 @default.
- W23912179 hasRelatedWork W2023011353 @default.
- W23912179 hasRelatedWork W2031010282 @default.
- W23912179 hasRelatedWork W2041827531 @default.
- W23912179 hasRelatedWork W2086946679 @default.
- W23912179 hasRelatedWork W2091099650 @default.
- W23912179 hasRelatedWork W2166837757 @default.
- W23912179 hasRelatedWork W230146207 @default.
- W23912179 hasRelatedWork W2535094036 @default.
- W23912179 hasRelatedWork W2620458621 @default.
- W23912179 hasRelatedWork W2727562789 @default.
- W23912179 hasRelatedWork W2950607845 @default.
- W23912179 hasRelatedWork W2982153049 @default.
- W23912179 hasRelatedWork W3090142046 @default.
- W23912179 hasRelatedWork W79866667 @default.
- W23912179 hasRelatedWork W151313883 @default.
- W23912179 isParatext "false" @default.
- W23912179 isRetracted "false" @default.
- W23912179 magId "23912179" @default.
- W23912179 workType "article" @default.