FRINK Linked Data Fragments server

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

• W4200026479 abstract "Testing of complex software systems often needs the execution of thousand of tests cases to find errors in the code and to ensure high integrity systems. Hence, it requires the testing tasks to be automated. Test case execution entails establishing preconditions and input data, observing output results, and comparing those results with a given oracle. This work presents two contributions: it uses a Particle Swarm Optimization (PSO) algorithm as a test case generator and also uses mutation testing on formal specifications using SOFL. Using mutation testing on formal specifications allows to find new test cases that would kill more mutants, resulting in a test suite potentially capable of finding more errors. The PSO algorithm is applied to generate the values of the input (test case). Software examples are used in this work to show the high efficiency of our testing framework." @default.
• W4200026479 created "2021-12-31" @default.
• W4200026479 creator A5056203616 @default.
• W4200026479 creator A5056979175 @default.
• W4200026479 creator A5071119321 @default.
• W4200026479 date "2021-11-10" @default.
• W4200026479 modified "2023-09-26" @default.
• W4200026479 title "Automatic Generation of Test Cases from Formal Specifications using Mutation Testing" @default.
• W4200026479 cites W1772789612 @default.
• W4200026479 cites W1987943861 @default.
• W4200026479 cites W2117903529 @default.
• W4200026479 cites W2152195021 @default.
• W4200026479 cites W2606342468 @default.
• W4200026479 cites W2967445945 @default.
• W4200026479 cites W2974858515 @default.
• W4200026479 cites W3127739367 @default.
• W4200026479 cites W4244923041 @default.
• W4200026479 cites W56086133 @default.
• W4200026479 cites W646857671 @default.
• W4200026479 doi "https://doi.org/10.1109/cce53527.2021.9633118" @default.
• W4200026479 hasPublicationYear "2021" @default.
• W4200026479 type Work @default.
• W4200026479 citedByCount "1" @default.
• W4200026479 countsByYear W42000264792022 @default.
• W4200026479 crossrefType "proceedings-article" @default.
• W4200026479 hasAuthorship W4200026479A5056203616 @default.
• W4200026479 hasAuthorship W4200026479A5056979175 @default.
• W4200026479 hasAuthorship W4200026479A5071119321 @default.
• W4200026479 hasConcept C104317684 @default.
• W4200026479 hasConcept C108913964 @default.
• W4200026479 hasConcept C116253237 @default.
• W4200026479 hasConcept C119857082 @default.
• W4200026479 hasConcept C121332964 @default.
• W4200026479 hasConcept C127413603 @default.
• W4200026479 hasConcept C128942645 @default.
• W4200026479 hasConcept C149091818 @default.
• W4200026479 hasConcept C151552104 @default.
• W4200026479 hasConcept C152877465 @default.
• W4200026479 hasConcept C161821725 @default.
• W4200026479 hasConcept C162443782 @default.
• W4200026479 hasConcept C163258240 @default.
• W4200026479 hasConcept C163565370 @default.
• W4200026479 hasConcept C165825675 @default.
• W4200026479 hasConcept C169168650 @default.
• W4200026479 hasConcept C182122060 @default.
• W4200026479 hasConcept C185592680 @default.
• W4200026479 hasConcept C186846655 @default.
• W4200026479 hasConcept C199360897 @default.
• W4200026479 hasConcept C200601418 @default.
• W4200026479 hasConcept C2777904410 @default.
• W4200026479 hasConcept C2780992000 @default.
• W4200026479 hasConcept C41008148 @default.
• W4200026479 hasConcept C501734568 @default.
• W4200026479 hasConcept C53942775 @default.
• W4200026479 hasConcept C55166926 @default.
• W4200026479 hasConcept C55493867 @default.
• W4200026479 hasConcept C62520636 @default.
• W4200026479 hasConcept C7435765 @default.
• W4200026479 hasConceptScore W4200026479C104317684 @default.
• W4200026479 hasConceptScore W4200026479C108913964 @default.
• W4200026479 hasConceptScore W4200026479C116253237 @default.
• W4200026479 hasConceptScore W4200026479C119857082 @default.
• W4200026479 hasConceptScore W4200026479C121332964 @default.
• W4200026479 hasConceptScore W4200026479C127413603 @default.
• W4200026479 hasConceptScore W4200026479C128942645 @default.
• W4200026479 hasConceptScore W4200026479C149091818 @default.
• W4200026479 hasConceptScore W4200026479C151552104 @default.
• W4200026479 hasConceptScore W4200026479C152877465 @default.
• W4200026479 hasConceptScore W4200026479C161821725 @default.
• W4200026479 hasConceptScore W4200026479C162443782 @default.
• W4200026479 hasConceptScore W4200026479C163258240 @default.
• W4200026479 hasConceptScore W4200026479C163565370 @default.
• W4200026479 hasConceptScore W4200026479C165825675 @default.
• W4200026479 hasConceptScore W4200026479C169168650 @default.
• W4200026479 hasConceptScore W4200026479C182122060 @default.
• W4200026479 hasConceptScore W4200026479C185592680 @default.
• W4200026479 hasConceptScore W4200026479C186846655 @default.
• W4200026479 hasConceptScore W4200026479C199360897 @default.
• W4200026479 hasConceptScore W4200026479C200601418 @default.
• W4200026479 hasConceptScore W4200026479C2777904410 @default.
• W4200026479 hasConceptScore W4200026479C2780992000 @default.
• W4200026479 hasConceptScore W4200026479C41008148 @default.
• W4200026479 hasConceptScore W4200026479C501734568 @default.
• W4200026479 hasConceptScore W4200026479C53942775 @default.
• W4200026479 hasConceptScore W4200026479C55166926 @default.
• W4200026479 hasConceptScore W4200026479C55493867 @default.
• W4200026479 hasConceptScore W4200026479C62520636 @default.
• W4200026479 hasConceptScore W4200026479C7435765 @default.
• W4200026479 hasLocation W42000264791 @default.
• W4200026479 hasOpenAccess W4200026479 @default.
• W4200026479 hasPrimaryLocation W42000264791 @default.
• W4200026479 hasRelatedWork W1966242135 @default.
• W4200026479 hasRelatedWork W1969158622 @default.
• W4200026479 hasRelatedWork W2133130676 @default.
• W4200026479 hasRelatedWork W2184612063 @default.
• W4200026479 hasRelatedWork W2204156854 @default.
• W4200026479 hasRelatedWork W2243231242 @default.
• W4200026479 hasRelatedWork W3175215928 @default.
• W4200026479 hasRelatedWork W4200026479 @default.
• W4200026479 hasRelatedWork W4239216682 @default.

• next