Matches in SemOpenAlex for { <https://semopenalex.org/work/W2029070312> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2029070312 abstract "Property-oriented testing uses the specification of a property to drive the testing process. The aim is to validate a program with respect to a target property, that is, to exercise the program and observe whether the property is violated or not. The paper defines a test strategy for safety properties in cyclic control systems. It consists of the stepwise construction of test scenarios. Each step explores possible continuations of the dangerous scenarios found at the previous step, using black-box sampling techniques. The feasibility of the strategy is illustrated on a stem boiler case study. The target property is the non explosion of the boiler in presence of faults in the physical devices. The experimental results are promising since four different explosive scenarios have been identified." @default.
- W2029070312 created "2016-06-24" @default.
- W2029070312 creator A5027604828 @default.
- W2029070312 creator A5036477732 @default.
- W2029070312 creator A5058744594 @default.
- W2029070312 date "2003-03-09" @default.
- W2029070312 modified "2023-09-25" @default.
- W2029070312 title "Property-oriented testing" @default.
- W2029070312 cites W1974394819 @default.
- W2029070312 cites W2024060531 @default.
- W2029070312 cites W2071112258 @default.
- W2029070312 cites W2121077396 @default.
- W2029070312 cites W2128705399 @default.
- W2029070312 cites W2144956041 @default.
- W2029070312 doi "https://doi.org/10.1145/952532.952752" @default.
- W2029070312 hasPublicationYear "2003" @default.
- W2029070312 type Work @default.
- W2029070312 sameAs 2029070312 @default.
- W2029070312 citedByCount "4" @default.
- W2029070312 crossrefType "proceedings-article" @default.
- W2029070312 hasAuthorship W2029070312A5027604828 @default.
- W2029070312 hasAuthorship W2029070312A5036477732 @default.
- W2029070312 hasAuthorship W2029070312A5058744594 @default.
- W2029070312 hasConcept C111472728 @default.
- W2029070312 hasConcept C127413603 @default.
- W2029070312 hasConcept C138885662 @default.
- W2029070312 hasConcept C149091818 @default.
- W2029070312 hasConcept C154238967 @default.
- W2029070312 hasConcept C162443782 @default.
- W2029070312 hasConcept C178790620 @default.
- W2029070312 hasConcept C185592680 @default.
- W2029070312 hasConcept C186846655 @default.
- W2029070312 hasConcept C189950617 @default.
- W2029070312 hasConcept C199360897 @default.
- W2029070312 hasConcept C200601418 @default.
- W2029070312 hasConcept C2777904410 @default.
- W2029070312 hasConcept C2780013297 @default.
- W2029070312 hasConcept C41008148 @default.
- W2029070312 hasConcept C548081761 @default.
- W2029070312 hasConceptScore W2029070312C111472728 @default.
- W2029070312 hasConceptScore W2029070312C127413603 @default.
- W2029070312 hasConceptScore W2029070312C138885662 @default.
- W2029070312 hasConceptScore W2029070312C149091818 @default.
- W2029070312 hasConceptScore W2029070312C154238967 @default.
- W2029070312 hasConceptScore W2029070312C162443782 @default.
- W2029070312 hasConceptScore W2029070312C178790620 @default.
- W2029070312 hasConceptScore W2029070312C185592680 @default.
- W2029070312 hasConceptScore W2029070312C186846655 @default.
- W2029070312 hasConceptScore W2029070312C189950617 @default.
- W2029070312 hasConceptScore W2029070312C199360897 @default.
- W2029070312 hasConceptScore W2029070312C200601418 @default.
- W2029070312 hasConceptScore W2029070312C2777904410 @default.
- W2029070312 hasConceptScore W2029070312C2780013297 @default.
- W2029070312 hasConceptScore W2029070312C41008148 @default.
- W2029070312 hasConceptScore W2029070312C548081761 @default.
- W2029070312 hasLocation W20290703121 @default.
- W2029070312 hasOpenAccess W2029070312 @default.
- W2029070312 hasPrimaryLocation W20290703121 @default.
- W2029070312 hasRelatedWork W1509843707 @default.
- W2029070312 hasRelatedWork W2333962375 @default.
- W2029070312 hasRelatedWork W2361249627 @default.
- W2029070312 hasRelatedWork W2363063184 @default.
- W2029070312 hasRelatedWork W2366949825 @default.
- W2029070312 hasRelatedWork W2374237184 @default.
- W2029070312 hasRelatedWork W3108395479 @default.
- W2029070312 hasRelatedWork W3115159859 @default.
- W2029070312 hasRelatedWork W4244796473 @default.
- W2029070312 hasRelatedWork W2495223249 @default.
- W2029070312 isParatext "false" @default.
- W2029070312 isRetracted "false" @default.
- W2029070312 magId "2029070312" @default.
- W2029070312 workType "article" @default.