Matches in SemOpenAlex for { <https://semopenalex.org/work/W4383723154> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4383723154 endingPage "135" @default.
- W4383723154 startingPage "135" @default.
- W4383723154 abstract "With the proliferation of the Internet of Things devices and cyber-physical systems, there is a growing demand for highly functional and high-quality software. To address this demand, it is crucial to employ effective software verification methods. The proposed method is based on the use of physical quantities defined by the International System of Units, which have specific physical dimensions. Additionally, a transformation of the physical value orientation introduced by Siano is utilized. To evaluate the effectiveness of this method, specialized software defect models have been developed. These models are based on the statistical characteristics of the open-source C/C++ code used in drone applications. The advantages of the proposed method include early detection of software defects during compile-time, reduced testing duration, cost savings by identifying a significant portion of latent defects, improved software quality by enhancing reliability, robustness, and performance, as well as complementing existing verification techniques by focusing on latent defects based on software characteristics. By implementing this method, significant reductions in testing time and improvements in both reliability and software quality can be achieved. The method aims to detect 90% of incorrect uses of software variables and over 50% of incorrect uses of operations at both compile-time and run-time." @default.
- W4383723154 created "2023-07-11" @default.
- W4383723154 creator A5058348680 @default.
- W4383723154 creator A5065311024 @default.
- W4383723154 date "2023-07-07" @default.
- W4383723154 modified "2023-09-27" @default.
- W4383723154 title "A Software Verification Method for the Internet of Things and Cyber-Physical Systems" @default.
- W4383723154 cites W1965484730 @default.
- W4383723154 cites W1980703300 @default.
- W4383723154 cites W1992620623 @default.
- W4383723154 cites W1993891073 @default.
- W4383723154 cites W2551547071 @default.
- W4383723154 cites W2569456360 @default.
- W4383723154 cites W2788198797 @default.
- W4383723154 cites W3021126901 @default.
- W4383723154 cites W3035158397 @default.
- W4383723154 cites W3104650056 @default.
- W4383723154 cites W3152558621 @default.
- W4383723154 cites W3183263579 @default.
- W4383723154 cites W4317433379 @default.
- W4383723154 doi "https://doi.org/10.3390/computation11070135" @default.
- W4383723154 hasPublicationYear "2023" @default.
- W4383723154 type Work @default.
- W4383723154 citedByCount "0" @default.
- W4383723154 crossrefType "journal-article" @default.
- W4383723154 hasAuthorship W4383723154A5058348680 @default.
- W4383723154 hasAuthorship W4383723154A5065311024 @default.
- W4383723154 hasBestOaLocation W43837231541 @default.
- W4383723154 hasConcept C104317684 @default.
- W4383723154 hasConcept C111919701 @default.
- W4383723154 hasConcept C117447612 @default.
- W4383723154 hasConcept C127413603 @default.
- W4383723154 hasConcept C149091818 @default.
- W4383723154 hasConcept C169590947 @default.
- W4383723154 hasConcept C179768478 @default.
- W4383723154 hasConcept C185592680 @default.
- W4383723154 hasConcept C200601418 @default.
- W4383723154 hasConcept C2777904410 @default.
- W4383723154 hasConcept C41008148 @default.
- W4383723154 hasConcept C529173508 @default.
- W4383723154 hasConcept C52928878 @default.
- W4383723154 hasConcept C55493867 @default.
- W4383723154 hasConcept C63479239 @default.
- W4383723154 hasConceptScore W4383723154C104317684 @default.
- W4383723154 hasConceptScore W4383723154C111919701 @default.
- W4383723154 hasConceptScore W4383723154C117447612 @default.
- W4383723154 hasConceptScore W4383723154C127413603 @default.
- W4383723154 hasConceptScore W4383723154C149091818 @default.
- W4383723154 hasConceptScore W4383723154C169590947 @default.
- W4383723154 hasConceptScore W4383723154C179768478 @default.
- W4383723154 hasConceptScore W4383723154C185592680 @default.
- W4383723154 hasConceptScore W4383723154C200601418 @default.
- W4383723154 hasConceptScore W4383723154C2777904410 @default.
- W4383723154 hasConceptScore W4383723154C41008148 @default.
- W4383723154 hasConceptScore W4383723154C529173508 @default.
- W4383723154 hasConceptScore W4383723154C52928878 @default.
- W4383723154 hasConceptScore W4383723154C55493867 @default.
- W4383723154 hasConceptScore W4383723154C63479239 @default.
- W4383723154 hasIssue "7" @default.
- W4383723154 hasLocation W43837231541 @default.
- W4383723154 hasOpenAccess W4383723154 @default.
- W4383723154 hasPrimaryLocation W43837231541 @default.
- W4383723154 hasRelatedWork W1847801368 @default.
- W4383723154 hasRelatedWork W2219628131 @default.
- W4383723154 hasRelatedWork W230148860 @default.
- W4383723154 hasRelatedWork W2379622071 @default.
- W4383723154 hasRelatedWork W2495780759 @default.
- W4383723154 hasRelatedWork W2599857630 @default.
- W4383723154 hasRelatedWork W2735735744 @default.
- W4383723154 hasRelatedWork W3088145624 @default.
- W4383723154 hasRelatedWork W318271201 @default.
- W4383723154 hasRelatedWork W2183054858 @default.
- W4383723154 hasVolume "11" @default.
- W4383723154 isParatext "false" @default.
- W4383723154 isRetracted "false" @default.
- W4383723154 workType "article" @default.