Matches in SemOpenAlex for { <https://semopenalex.org/work/W2367493802> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2367493802 endingPage "1040" @default.
- W2367493802 startingPage "1035" @default.
- W2367493802 abstract "Because of concurrency and non determinism, the inner states of a running distributed program should be considered a part from the start and the end states, when the program is to be tested and the validated. According to specification based testing, these inner states will tranform into event sequences through the ports of the program, and the co relations among these events, i.e. the set of event sequencing constraints should be provided by the program's specification. In this paper, the authors introduce the E CSPE (extended constraints on succeeding and preceding events), a method to formalize these event constraints. The E CSPE includes three basic discription rules, which correspond to three different types of such event constraints. Based on the consistency with and coverage of these event constraints by the event sequences produced by the program execution, the validity of the distributed implementation can be tested." @default.
- W2367493802 created "2016-06-24" @default.
- W2367493802 creator A5029817092 @default.
- W2367493802 creator A5043239066 @default.
- W2367493802 creator A5061025205 @default.
- W2367493802 creator A5068499840 @default.
- W2367493802 creator A5073588743 @default.
- W2367493802 date "2000-08-01" @default.
- W2367493802 modified "2023-09-24" @default.
- W2367493802 title "Validation Test of Distributed Program Based on Event Sequencing Constraints" @default.
- W2367493802 hasPublicationYear "2000" @default.
- W2367493802 type Work @default.
- W2367493802 sameAs 2367493802 @default.
- W2367493802 citedByCount "0" @default.
- W2367493802 crossrefType "journal-article" @default.
- W2367493802 hasAuthorship W2367493802A5029817092 @default.
- W2367493802 hasAuthorship W2367493802A5043239066 @default.
- W2367493802 hasAuthorship W2367493802A5061025205 @default.
- W2367493802 hasAuthorship W2367493802A5068499840 @default.
- W2367493802 hasAuthorship W2367493802A5073588743 @default.
- W2367493802 hasConcept C121332964 @default.
- W2367493802 hasConcept C154945302 @default.
- W2367493802 hasConcept C177264268 @default.
- W2367493802 hasConcept C193702766 @default.
- W2367493802 hasConcept C199360897 @default.
- W2367493802 hasConcept C2776436953 @default.
- W2367493802 hasConcept C2779662365 @default.
- W2367493802 hasConcept C41008148 @default.
- W2367493802 hasConcept C62520636 @default.
- W2367493802 hasConceptScore W2367493802C121332964 @default.
- W2367493802 hasConceptScore W2367493802C154945302 @default.
- W2367493802 hasConceptScore W2367493802C177264268 @default.
- W2367493802 hasConceptScore W2367493802C193702766 @default.
- W2367493802 hasConceptScore W2367493802C199360897 @default.
- W2367493802 hasConceptScore W2367493802C2776436953 @default.
- W2367493802 hasConceptScore W2367493802C2779662365 @default.
- W2367493802 hasConceptScore W2367493802C41008148 @default.
- W2367493802 hasConceptScore W2367493802C62520636 @default.
- W2367493802 hasIssue "8" @default.
- W2367493802 hasLocation W23674938021 @default.
- W2367493802 hasOpenAccess W2367493802 @default.
- W2367493802 hasPrimaryLocation W23674938021 @default.
- W2367493802 hasRelatedWork W147875353 @default.
- W2367493802 hasRelatedWork W1547955242 @default.
- W2367493802 hasRelatedWork W2059942119 @default.
- W2367493802 hasRelatedWork W2069859625 @default.
- W2367493802 hasRelatedWork W2173386945 @default.
- W2367493802 hasRelatedWork W2204552931 @default.
- W2367493802 hasRelatedWork W2295964729 @default.
- W2367493802 hasRelatedWork W2368581371 @default.
- W2367493802 hasRelatedWork W2389410251 @default.
- W2367493802 hasRelatedWork W2393953667 @default.
- W2367493802 hasRelatedWork W2406355580 @default.
- W2367493802 hasRelatedWork W2573483806 @default.
- W2367493802 hasRelatedWork W2896378369 @default.
- W2367493802 hasRelatedWork W29280441 @default.
- W2367493802 hasRelatedWork W2968924361 @default.
- W2367493802 hasRelatedWork W3003291514 @default.
- W2367493802 hasRelatedWork W56439669 @default.
- W2367493802 hasRelatedWork W2304500142 @default.
- W2367493802 hasRelatedWork W2554543760 @default.
- W2367493802 hasRelatedWork W3100398163 @default.
- W2367493802 hasVolume "11" @default.
- W2367493802 isParatext "false" @default.
- W2367493802 isRetracted "false" @default.
- W2367493802 magId "2367493802" @default.
- W2367493802 workType "article" @default.