FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3120492914> ?p ?o ?g. }

• W3120492914 endingPage "691" @default.
• W3120492914 startingPage "676" @default.
• W3120492914 abstract "Industry applications of formal verification to signaling control tables require formulation of a large number of mathematical conjectures expressing verification rules. It is paramount to establish the validity and completeness of these conjectures. This article discusses a mutation-based validation technique that guides domain experts in the construction of such verification rules. Furthermore, we use genetic programming to quickly generate millions of well-formed data mutations of control tables and to synthesize mutation programs. The technique is illustrated by a synthetic running example and a discussion of our experience in using it in the industrial setting." @default.
• W3120492914 created "2021-01-18" @default.
• W3120492914 creator A5013810800 @default.
• W3120492914 creator A5061369742 @default.
• W3120492914 creator A5079640086 @default.
• W3120492914 date "2021-06-01" @default.
• W3120492914 modified "2023-09-24" @default.
• W3120492914 title "Mutation Testing for Rule-Based Verification of Railway Signaling Data" @default.
• W3120492914 cites W1176542980 @default.
• W3120492914 cites W1538014561 @default.
• W3120492914 cites W1543488019 @default.
• W3120492914 cites W1544621933 @default.
• W3120492914 cites W1546956568 @default.
• W3120492914 cites W1554863622 @default.
• W3120492914 cites W1739451848 @default.
• W3120492914 cites W1974245620 @default.
• W3120492914 cites W1983371115 @default.
• W3120492914 cites W2002175120 @default.
• W3120492914 cites W2009489720 @default.
• W3120492914 cites W2018017297 @default.
• W3120492914 cites W2066894451 @default.
• W3120492914 cites W2114733864 @default.
• W3120492914 cites W2124058309 @default.
• W3120492914 cites W2132304387 @default.
• W3120492914 cites W2135841285 @default.
• W3120492914 cites W2165094929 @default.
• W3120492914 cites W2165395380 @default.
• W3120492914 cites W2170260129 @default.
• W3120492914 cites W2296595264 @default.
• W3120492914 cites W2499688976 @default.
• W3120492914 cites W2608890018 @default.
• W3120492914 cites W2616524285 @default.
• W3120492914 cites W2900442643 @default.
• W3120492914 cites W2901560378 @default.
• W3120492914 cites W2998975145 @default.
• W3120492914 cites W53299842 @default.
• W3120492914 cites W639481382 @default.
• W3120492914 doi "https://doi.org/10.1109/tr.2020.3047462" @default.
• W3120492914 hasPublicationYear "2021" @default.
• W3120492914 type Work @default.
• W3120492914 sameAs 3120492914 @default.
• W3120492914 citedByCount "2" @default.
• W3120492914 countsByYear W31204929142022 @default.
• W3120492914 countsByYear W31204929142023 @default.
• W3120492914 crossrefType "journal-article" @default.
• W3120492914 hasAuthorship W3120492914A5013810800 @default.
• W3120492914 hasAuthorship W3120492914A5061369742 @default.
• W3120492914 hasAuthorship W3120492914A5079640086 @default.
• W3120492914 hasBestOaLocation W31204929142 @default.
• W3120492914 hasConcept C104317684 @default.
• W3120492914 hasConcept C110332635 @default.
• W3120492914 hasConcept C111498074 @default.
• W3120492914 hasConcept C115903868 @default.
• W3120492914 hasConcept C119857082 @default.
• W3120492914 hasConcept C124101348 @default.
• W3120492914 hasConcept C127413603 @default.
• W3120492914 hasConcept C134306372 @default.
• W3120492914 hasConcept C163565370 @default.
• W3120492914 hasConcept C17231256 @default.
• W3120492914 hasConcept C185592680 @default.
• W3120492914 hasConcept C199360897 @default.
• W3120492914 hasConcept C200601418 @default.
• W3120492914 hasConcept C33923547 @default.
• W3120492914 hasConcept C36503486 @default.
• W3120492914 hasConcept C41008148 @default.
• W3120492914 hasConcept C501734568 @default.
• W3120492914 hasConcept C55493867 @default.
• W3120492914 hasConcept C80444323 @default.
• W3120492914 hasConceptScore W3120492914C104317684 @default.
• W3120492914 hasConceptScore W3120492914C110332635 @default.
• W3120492914 hasConceptScore W3120492914C111498074 @default.
• W3120492914 hasConceptScore W3120492914C115903868 @default.
• W3120492914 hasConceptScore W3120492914C119857082 @default.
• W3120492914 hasConceptScore W3120492914C124101348 @default.
• W3120492914 hasConceptScore W3120492914C127413603 @default.
• W3120492914 hasConceptScore W3120492914C134306372 @default.
• W3120492914 hasConceptScore W3120492914C163565370 @default.
• W3120492914 hasConceptScore W3120492914C17231256 @default.
• W3120492914 hasConceptScore W3120492914C185592680 @default.
• W3120492914 hasConceptScore W3120492914C199360897 @default.
• W3120492914 hasConceptScore W3120492914C200601418 @default.
• W3120492914 hasConceptScore W3120492914C33923547 @default.
• W3120492914 hasConceptScore W3120492914C36503486 @default.
• W3120492914 hasConceptScore W3120492914C41008148 @default.
• W3120492914 hasConceptScore W3120492914C501734568 @default.
• W3120492914 hasConceptScore W3120492914C55493867 @default.
• W3120492914 hasConceptScore W3120492914C80444323 @default.
• W3120492914 hasIssue "2" @default.
• W3120492914 hasLocation W31204929141 @default.
• W3120492914 hasLocation W31204929142 @default.
• W3120492914 hasOpenAccess W3120492914 @default.
• W3120492914 hasPrimaryLocation W31204929141 @default.
• W3120492914 hasRelatedWork W1980783918 @default.
• W3120492914 hasRelatedWork W2112007285 @default.
• W3120492914 hasRelatedWork W2117798332 @default.
• W3120492914 hasRelatedWork W2151898527 @default.
• W3120492914 hasRelatedWork W2387645942 @default.
• W3120492914 hasRelatedWork W2406785329 @default.

• next