Matches in SemOpenAlex for { <https://semopenalex.org/work/W90899233> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W90899233 abstract "The main challenge to automate a testing or a simulation process is to be able to automate the generation of realistic input sequences to feed the program. In other words, we need an executable model of the program environment which inputs are the program outputs, and which outputs are the program inputs. In the first Lurette prototype – an automated testing tool of reactive programs designed at Verimag –, the System Under Test (SUT) environment behaviour was described by Lustre observers which were specifying what realistic SUT inputs should be. In other words, the environment was modelled by a set of (linear) constraints over Boolean and numeric variables. The work of Lurette was to solve those constraints, and to draw a value among the solutions to produce one SUT input vector. But, from a language expressing power point of view, Lustre observers happen to be too restrictive, in particular to express sequences of different testing scenarios, or to have some control on the probabilistic distribution of the drawn solution. It was precisely to overcome those limitations that a new language, Lucky, was designed. A Lucky program is an interpreted automaton whose transitions define the reactions of the machine. More precisely, each transition is associated to (1) a set of constraints (a lustre-like formula) that defines the set of the possible outputs, and (2) a weight that defines the relative probability for each transitions to be taken, i.e., to be used to produce the output vector for the current step." @default.
- W90899233 created "2016-06-24" @default.
- W90899233 creator A5002817720 @default.
- W90899233 creator A5088310354 @default.
- W90899233 date "2004-01-01" @default.
- W90899233 modified "2023-09-27" @default.
- W90899233 title "The Lucky language Reference Manual" @default.
- W90899233 cites W1503767920 @default.
- W90899233 cites W1580085173 @default.
- W90899233 cites W1884521777 @default.
- W90899233 cites W2081938726 @default.
- W90899233 cites W2135784828 @default.
- W90899233 hasPublicationYear "2004" @default.
- W90899233 type Work @default.
- W90899233 sameAs 90899233 @default.
- W90899233 citedByCount "4" @default.
- W90899233 crossrefType "journal-article" @default.
- W90899233 hasAuthorship W90899233A5002817720 @default.
- W90899233 hasAuthorship W90899233A5088310354 @default.
- W90899233 hasConcept C111919701 @default.
- W90899233 hasConcept C112505250 @default.
- W90899233 hasConcept C11413529 @default.
- W90899233 hasConcept C154945302 @default.
- W90899233 hasConcept C160145156 @default.
- W90899233 hasConcept C174784677 @default.
- W90899233 hasConcept C177264268 @default.
- W90899233 hasConcept C180699724 @default.
- W90899233 hasConcept C199360897 @default.
- W90899233 hasConcept C2780940931 @default.
- W90899233 hasConcept C41008148 @default.
- W90899233 hasConcept C49937458 @default.
- W90899233 hasConcept C7342684 @default.
- W90899233 hasConcept C80444323 @default.
- W90899233 hasConceptScore W90899233C111919701 @default.
- W90899233 hasConceptScore W90899233C112505250 @default.
- W90899233 hasConceptScore W90899233C11413529 @default.
- W90899233 hasConceptScore W90899233C154945302 @default.
- W90899233 hasConceptScore W90899233C160145156 @default.
- W90899233 hasConceptScore W90899233C174784677 @default.
- W90899233 hasConceptScore W90899233C177264268 @default.
- W90899233 hasConceptScore W90899233C180699724 @default.
- W90899233 hasConceptScore W90899233C199360897 @default.
- W90899233 hasConceptScore W90899233C2780940931 @default.
- W90899233 hasConceptScore W90899233C41008148 @default.
- W90899233 hasConceptScore W90899233C49937458 @default.
- W90899233 hasConceptScore W90899233C7342684 @default.
- W90899233 hasConceptScore W90899233C80444323 @default.
- W90899233 hasLocation W908992331 @default.
- W90899233 hasOpenAccess W90899233 @default.
- W90899233 hasPrimaryLocation W908992331 @default.
- W90899233 hasRelatedWork W1484215430 @default.
- W90899233 hasRelatedWork W1585531884 @default.
- W90899233 hasRelatedWork W1596798461 @default.
- W90899233 hasRelatedWork W1966969580 @default.
- W90899233 hasRelatedWork W1989486238 @default.
- W90899233 hasRelatedWork W2004922367 @default.
- W90899233 hasRelatedWork W203309333 @default.
- W90899233 hasRelatedWork W2067973879 @default.
- W90899233 hasRelatedWork W2082769530 @default.
- W90899233 hasRelatedWork W2083819564 @default.
- W90899233 hasRelatedWork W2090397578 @default.
- W90899233 hasRelatedWork W2125415493 @default.
- W90899233 hasRelatedWork W2133318222 @default.
- W90899233 hasRelatedWork W2148588333 @default.
- W90899233 hasRelatedWork W2161623493 @default.
- W90899233 hasRelatedWork W2461020454 @default.
- W90899233 hasRelatedWork W2905447919 @default.
- W90899233 hasRelatedWork W813128308 @default.
- W90899233 hasRelatedWork W2098599774 @default.
- W90899233 hasRelatedWork W2110499812 @default.
- W90899233 isParatext "false" @default.
- W90899233 isRetracted "false" @default.
- W90899233 magId "90899233" @default.
- W90899233 workType "article" @default.