Matches in SemOpenAlex for { <https://semopenalex.org/work/W2057777> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2057777 endingPage "260" @default.
- W2057777 startingPage "249" @default.
- W2057777 abstract "Three approaches to the problem of testing synchronous data-flow programs written in LUSTRE are presented. LUSTRE is a language well-adapted to both the specification and the development of reactive software. The first approach automatically transforms a set of LUSTRE invariant properties characterizing the environment of the reactive program into a constrained random generator of test data sequences. The second approach consists in analyzing the required safety properties (written in LUSTRE) of the software. This analysis may result, in specific cases, in automatic generators of relevant test data. The third approach considers that LUSTRE is used for the implementation of the software, and defines structure-based testing criteria. These criteria are specific to the model which captures the LUSTRE program structure : the operator net. Moreover, an automatic test data generation process is described for this last approach using LESAR, a tool designed to automatically prove the satisfaction of safety properties on LUSTRE programs." @default.
- W2057777 created "2016-06-24" @default.
- W2057777 creator A5038561587 @default.
- W2057777 creator A5064272853 @default.
- W2057777 date "1995-01-01" @default.
- W2057777 modified "2023-09-26" @default.
- W2057777 title "Testing Techniques for Data-Flow Synchronous Programs." @default.
- W2057777 cites W1523509419 @default.
- W2057777 cites W1547265787 @default.
- W2057777 cites W1663179985 @default.
- W2057777 cites W2027106228 @default.
- W2057777 cites W2054554282 @default.
- W2057777 cites W2099645986 @default.
- W2057777 cites W2114754412 @default.
- W2057777 cites W2119133945 @default.
- W2057777 cites W2132264164 @default.
- W2057777 cites W2141585059 @default.
- W2057777 cites W2151250735 @default.
- W2057777 cites W2167239688 @default.
- W2057777 cites W2171441042 @default.
- W2057777 cites W3152134618 @default.
- W2057777 cites W78382735 @default.
- W2057777 cites W84474622 @default.
- W2057777 hasPublicationYear "1995" @default.
- W2057777 type Work @default.
- W2057777 sameAs 2057777 @default.
- W2057777 citedByCount "5" @default.
- W2057777 countsByYear W20577772012 @default.
- W2057777 crossrefType "journal-article" @default.
- W2057777 hasAuthorship W2057777A5038561587 @default.
- W2057777 hasAuthorship W2057777A5064272853 @default.
- W2057777 hasConcept C111919701 @default.
- W2057777 hasConcept C180699724 @default.
- W2057777 hasConcept C199360897 @default.
- W2057777 hasConcept C2777904410 @default.
- W2057777 hasConcept C2780940931 @default.
- W2057777 hasConcept C41008148 @default.
- W2057777 hasConcept C489000 @default.
- W2057777 hasConcept C77088390 @default.
- W2057777 hasConceptScore W2057777C111919701 @default.
- W2057777 hasConceptScore W2057777C180699724 @default.
- W2057777 hasConceptScore W2057777C199360897 @default.
- W2057777 hasConceptScore W2057777C2777904410 @default.
- W2057777 hasConceptScore W2057777C2780940931 @default.
- W2057777 hasConceptScore W2057777C41008148 @default.
- W2057777 hasConceptScore W2057777C489000 @default.
- W2057777 hasConceptScore W2057777C77088390 @default.
- W2057777 hasLocation W20577771 @default.
- W2057777 hasOpenAccess W2057777 @default.
- W2057777 hasPrimaryLocation W20577771 @default.
- W2057777 hasRelatedWork W1563126103 @default.
- W2057777 hasRelatedWork W1644732418 @default.
- W2057777 hasRelatedWork W1884521777 @default.
- W2057777 hasRelatedWork W1985551847 @default.
- W2057777 hasRelatedWork W2006078804 @default.
- W2057777 hasRelatedWork W2016250485 @default.
- W2057777 hasRelatedWork W2033072042 @default.
- W2057777 hasRelatedWork W2063110689 @default.
- W2057777 hasRelatedWork W2088791908 @default.
- W2057777 hasRelatedWork W2099497471 @default.
- W2057777 hasRelatedWork W2107085346 @default.
- W2057777 hasRelatedWork W2126319344 @default.
- W2057777 hasRelatedWork W2135006396 @default.
- W2057777 hasRelatedWork W2141223953 @default.
- W2057777 hasRelatedWork W2147253199 @default.
- W2057777 hasRelatedWork W2159120852 @default.
- W2057777 hasRelatedWork W2161716898 @default.
- W2057777 hasRelatedWork W2168188083 @default.
- W2057777 hasRelatedWork W2540462941 @default.
- W2057777 hasRelatedWork W2622306730 @default.
- W2057777 isParatext "false" @default.
- W2057777 isRetracted "false" @default.
- W2057777 magId "2057777" @default.
- W2057777 workType "article" @default.