Matches in SemOpenAlex for { <https://semopenalex.org/work/W3003315136> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W3003315136 abstract "In this paper, an approach based on the IOCOS testing relation to test safety PLC code using the tool QuickCheck is presented. Testing and validation of the safety PLC code is typically carried out on a physical system using checklists. These checklists are developed by engineers using system specification. However, due to the manual nature of checklist generation and execution, certain test cases can be overlooked and can lead to human accidents. The presented approach allows on-the-fly generation and execution of test cases, which expands the scope of testing by including test cases unconceived during checklist generation. Furthermore, it is demonstrated how errors in the safety PLC code are uncovered based on the IOCOS relation." @default.
- W3003315136 created "2020-02-07" @default.
- W3003315136 creator A5017972835 @default.
- W3003315136 creator A5046883181 @default.
- W3003315136 creator A5091131586 @default.
- W3003315136 date "2019-07-01" @default.
- W3003315136 modified "2023-10-16" @default.
- W3003315136 title "On-the-fly conformance testing of safety PLC code using QuickCheck" @default.
- W3003315136 cites W1501421125 @default.
- W3003315136 cites W1539570097 @default.
- W3003315136 cites W1587663028 @default.
- W3003315136 cites W1608087281 @default.
- W3003315136 cites W1687944053 @default.
- W3003315136 cites W1979349468 @default.
- W3003315136 cites W2005274253 @default.
- W3003315136 cites W203066007 @default.
- W3003315136 cites W2030696013 @default.
- W3003315136 cites W2119717320 @default.
- W3003315136 cites W2152029933 @default.
- W3003315136 cites W2510744089 @default.
- W3003315136 cites W2974275827 @default.
- W3003315136 doi "https://doi.org/10.1109/indin41052.2019.8972277" @default.
- W3003315136 hasPublicationYear "2019" @default.
- W3003315136 type Work @default.
- W3003315136 sameAs 3003315136 @default.
- W3003315136 citedByCount "2" @default.
- W3003315136 countsByYear W30033151362019 @default.
- W3003315136 countsByYear W30033151362021 @default.
- W3003315136 crossrefType "proceedings-article" @default.
- W3003315136 hasAuthorship W3003315136A5017972835 @default.
- W3003315136 hasAuthorship W3003315136A5046883181 @default.
- W3003315136 hasAuthorship W3003315136A5091131586 @default.
- W3003315136 hasBestOaLocation W30033151362 @default.
- W3003315136 hasConcept C111919701 @default.
- W3003315136 hasConcept C115903868 @default.
- W3003315136 hasConcept C127413603 @default.
- W3003315136 hasConcept C151730666 @default.
- W3003315136 hasConcept C15744967 @default.
- W3003315136 hasConcept C177264268 @default.
- W3003315136 hasConcept C180747234 @default.
- W3003315136 hasConcept C188087704 @default.
- W3003315136 hasConcept C199360897 @default.
- W3003315136 hasConcept C200601418 @default.
- W3003315136 hasConcept C25343380 @default.
- W3003315136 hasConcept C2776760102 @default.
- W3003315136 hasConcept C2777267654 @default.
- W3003315136 hasConcept C2777904410 @default.
- W3003315136 hasConcept C2778012447 @default.
- W3003315136 hasConcept C2779356329 @default.
- W3003315136 hasConcept C41008148 @default.
- W3003315136 hasConcept C53942775 @default.
- W3003315136 hasConcept C76844732 @default.
- W3003315136 hasConcept C77088390 @default.
- W3003315136 hasConcept C86803240 @default.
- W3003315136 hasConceptScore W3003315136C111919701 @default.
- W3003315136 hasConceptScore W3003315136C115903868 @default.
- W3003315136 hasConceptScore W3003315136C127413603 @default.
- W3003315136 hasConceptScore W3003315136C151730666 @default.
- W3003315136 hasConceptScore W3003315136C15744967 @default.
- W3003315136 hasConceptScore W3003315136C177264268 @default.
- W3003315136 hasConceptScore W3003315136C180747234 @default.
- W3003315136 hasConceptScore W3003315136C188087704 @default.
- W3003315136 hasConceptScore W3003315136C199360897 @default.
- W3003315136 hasConceptScore W3003315136C200601418 @default.
- W3003315136 hasConceptScore W3003315136C25343380 @default.
- W3003315136 hasConceptScore W3003315136C2776760102 @default.
- W3003315136 hasConceptScore W3003315136C2777267654 @default.
- W3003315136 hasConceptScore W3003315136C2777904410 @default.
- W3003315136 hasConceptScore W3003315136C2778012447 @default.
- W3003315136 hasConceptScore W3003315136C2779356329 @default.
- W3003315136 hasConceptScore W3003315136C41008148 @default.
- W3003315136 hasConceptScore W3003315136C53942775 @default.
- W3003315136 hasConceptScore W3003315136C76844732 @default.
- W3003315136 hasConceptScore W3003315136C77088390 @default.
- W3003315136 hasConceptScore W3003315136C86803240 @default.
- W3003315136 hasLocation W30033151361 @default.
- W3003315136 hasLocation W30033151362 @default.
- W3003315136 hasOpenAccess W3003315136 @default.
- W3003315136 hasPrimaryLocation W30033151361 @default.
- W3003315136 hasRelatedWork W2016222907 @default.
- W3003315136 hasRelatedWork W2088476856 @default.
- W3003315136 hasRelatedWork W2135396778 @default.
- W3003315136 hasRelatedWork W2166247150 @default.
- W3003315136 hasRelatedWork W2247694024 @default.
- W3003315136 hasRelatedWork W2357425395 @default.
- W3003315136 hasRelatedWork W2384847609 @default.
- W3003315136 hasRelatedWork W3197208344 @default.
- W3003315136 hasRelatedWork W4220699888 @default.
- W3003315136 hasRelatedWork W4243252198 @default.
- W3003315136 isParatext "false" @default.
- W3003315136 isRetracted "false" @default.
- W3003315136 magId "3003315136" @default.
- W3003315136 workType "article" @default.