FRINK Linked Data Fragments server

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

• W2807925054 abstract "Genetic programming (GP) is a heuristic method for automatically generating code. It applies probabilistic-based generation and mutation of code, combined with “natural selection” principles, using a fitness function. Often, the fitness is calculated based on a large test suite. Recently, GP was applied for synthesizing correct-by-design concurrent code from temporal specification, where model checking was used for calculating the fitness function. A deficiency of this approach is that it uses a limited number of fitness values, based on a small number of modes for each verified specification property (e.g., satisfies, does not satisfy a given property). Furthermore, the need to apply model checking on many candidate solutions using the genetic process makes using an off-the-shelf model checker such as Spin prohibitively expensive. The repeated invocation of such a tool, compiling the code for a new candidate solution and running it, can render the performance of this approach several orders of magnitude slower than using an internal model checking. To tackle this problem, we describe here the use of a combination of statistical model checking, and a light use of model checking, for calculating the fitness required by GP." @default.
• W2807925054 created "2018-06-21" @default.
• W2807925054 creator A5007435834 @default.
• W2807925054 creator A5028202793 @default.
• W2807925054 creator A5029676029 @default.
• W2807925054 creator A5061223044 @default.
• W2807925054 date "2018-01-01" @default.
• W2807925054 modified "2023-09-28" @default.
• W2807925054 title "Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking" @default.
• W2807925054 cites W1489725951 @default.
• W2807925054 cites W1497802612 @default.
• W2807925054 cites W1515382807 @default.
• W2807925054 cites W1544634046 @default.
• W2807925054 cites W1552798917 @default.
• W2807925054 cites W1579983817 @default.
• W2807925054 cites W1585803290 @default.
• W2807925054 cites W1590315663 @default.
• W2807925054 cites W1631091010 @default.
• W2807925054 cites W1659842140 @default.
• W2807925054 cites W1783413852 @default.
• W2807925054 cites W1783469492 @default.
• W2807925054 cites W1789713128 @default.
• W2807925054 cites W192333989 @default.
• W2807925054 cites W1977321274 @default.
• W2807925054 cites W1984478483 @default.
• W2807925054 cites W2016206563 @default.
• W2807925054 cites W2023808162 @default.
• W2807925054 cites W2055454967 @default.
• W2807925054 cites W2073689993 @default.
• W2807925054 cites W2166423024 @default.
• W2807925054 cites W2296536107 @default.
• W2807925054 cites W2913483564 @default.
• W2807925054 cites W4233413206 @default.
• W2807925054 doi "https://doi.org/10.1007/978-3-319-94111-0_16" @default.
• W2807925054 hasPublicationYear "2018" @default.
• W2807925054 type Work @default.
• W2807925054 sameAs 2807925054 @default.
• W2807925054 citedByCount "2" @default.
• W2807925054 countsByYear W28079250542018 @default.
• W2807925054 countsByYear W28079250542019 @default.
• W2807925054 crossrefType "book-chapter" @default.
• W2807925054 hasAuthorship W2807925054A5007435834 @default.
• W2807925054 hasAuthorship W2807925054A5028202793 @default.
• W2807925054 hasAuthorship W2807925054A5029676029 @default.
• W2807925054 hasAuthorship W2807925054A5061223044 @default.
• W2807925054 hasConcept C110251889 @default.
• W2807925054 hasConcept C110332635 @default.
• W2807925054 hasConcept C111472728 @default.
• W2807925054 hasConcept C11413529 @default.
• W2807925054 hasConcept C119857082 @default.
• W2807925054 hasConcept C138885662 @default.
• W2807925054 hasConcept C154945302 @default.
• W2807925054 hasConcept C173801870 @default.
• W2807925054 hasConcept C176066374 @default.
• W2807925054 hasConcept C177264268 @default.
• W2807925054 hasConcept C189950617 @default.
• W2807925054 hasConcept C199360897 @default.
• W2807925054 hasConcept C2776760102 @default.
• W2807925054 hasConcept C41008148 @default.
• W2807925054 hasConcept C80444323 @default.
• W2807925054 hasConcept C8880873 @default.
• W2807925054 hasConceptScore W2807925054C110251889 @default.
• W2807925054 hasConceptScore W2807925054C110332635 @default.
• W2807925054 hasConceptScore W2807925054C111472728 @default.
• W2807925054 hasConceptScore W2807925054C11413529 @default.
• W2807925054 hasConceptScore W2807925054C119857082 @default.
• W2807925054 hasConceptScore W2807925054C138885662 @default.
• W2807925054 hasConceptScore W2807925054C154945302 @default.
• W2807925054 hasConceptScore W2807925054C173801870 @default.
• W2807925054 hasConceptScore W2807925054C176066374 @default.
• W2807925054 hasConceptScore W2807925054C177264268 @default.
• W2807925054 hasConceptScore W2807925054C189950617 @default.
• W2807925054 hasConceptScore W2807925054C199360897 @default.
• W2807925054 hasConceptScore W2807925054C2776760102 @default.
• W2807925054 hasConceptScore W2807925054C41008148 @default.
• W2807925054 hasConceptScore W2807925054C80444323 @default.
• W2807925054 hasConceptScore W2807925054C8880873 @default.
• W2807925054 hasLocation W28079250541 @default.
• W2807925054 hasOpenAccess W2807925054 @default.
• W2807925054 hasPrimaryLocation W28079250541 @default.
• W2807925054 hasRelatedWork W105846125 @default.
• W2807925054 hasRelatedWork W1858959726 @default.
• W2807925054 hasRelatedWork W2009286694 @default.
• W2807925054 hasRelatedWork W2016459973 @default.
• W2807925054 hasRelatedWork W2018249978 @default.
• W2807925054 hasRelatedWork W2033269895 @default.
• W2807925054 hasRelatedWork W2050298729 @default.
• W2807925054 hasRelatedWork W2063647782 @default.
• W2807925054 hasRelatedWork W2115116604 @default.
• W2807925054 hasRelatedWork W2188291063 @default.
• W2807925054 hasRelatedWork W2257706352 @default.
• W2807925054 hasRelatedWork W2368353306 @default.
• W2807925054 hasRelatedWork W2413785658 @default.
• W2807925054 hasRelatedWork W2476272430 @default.
• W2807925054 hasRelatedWork W2561489297 @default.
• W2807925054 hasRelatedWork W2974768116 @default.
• W2807925054 hasRelatedWork W3180532914 @default.
• W2807925054 hasRelatedWork W349923146 @default.
• W2807925054 hasRelatedWork W2135332520 @default.
• W2807925054 hasRelatedWork W2874839096 @default.

• next