Suchergebnisse - "Software verification and validation"

The AI Act and The Agile Safety Plan

Autoren: Myklebust, Thor Stålhane, Tor Vatn, Dorthea Mathilde Kristin

Quelle: SpringerBriefs in Computer Science ISBN: 9783031805035

Schlagwörter: safety-critical systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, safety documents, thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPQ Decision theory: general::GPQD Risk assessment, thema EDItEUR::U Computing and Information Technology::UR Computer security, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications::UTN Network security, functional safety, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, software verification and validation, risk management, software safety

Dateibeschreibung: image/jpeg; application/pdf

Zugangs-URL: https://library.oapen.org/handle/20.500.12657/98581
https://library.oapen.org/bitstream/20.500.12657/98581/1/9783031805042.pdf
https://directory.doabooks.org/handle/20.500.12854/151345
https://library.oapen.org/handle/20.500.12657/98581
https://link.springer.com/978-3-031-80504-2

Qualification of Avionic Software Based on Machine Learning: Challenges and Key Enabling Domains

Autoren: Guillaume Vidot Christophe Gabreau Ileana Ober et al.

Weitere Verfasser: Guillaume Vidot Christophe Gabreau Ileana Ober et al.

Quelle: Journal of Aerospace Information Systems. 21:367-379

Schlagwörter: Aircraft Certification, Software Verification and Validation, Software Qualification, Artificial Intelligence, Embedded Software, Convolutional Neural Network, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Reinforcement Learning, Software, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Analytical Solution for One-Dimensional Transient Thermal Conduction in a Hollow Cylinder

Autoren: Robert L. McMasters Filippo de Monte Giampaolo D’Alessandro et al.

Quelle: Journal of Thermophysics and Heat Transfer. 38:55-61

Schlagwörter: Transient Thermal Conduction, Boundary Heat Flux, Convective Boundary Condition, Thermal Diffusion, Software Verification and Validation, Analytical Heat Transfer Calculations, 0103 physical sciences, 01 natural sciences

Zugangs-URL: https://hdl.handle.net/11697/211039
https://doi.org/10.2514/1.T6844

Faire: Repairing Fairness of Neural Networks via Neuron Condition Synthesis

Autoren: Tianlin Li Xiaofei Xie Jian Wang et al.

Quelle: ACM Transactions on Software Engineering and Methodology. 33:1-24

Schlagwörter: Software verification and validation, Databases and Information Systems, 02 engineering and technology, Software creation and management, 16. Peace & justice, Software defect analysis, Computing methodologies, Machine learning approaches, Software testing and debugging, Machine learning, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, 10. No inequality, Neural networks

Dateibeschreibung: application/pdf

Code-to-Code Benchmark for Simulation Tools Based on the Unsteady Vortex-Lattice Method

Autoren: Marcos L. Verstraete Luis R. Ceballos Christian Hente et al.

Quelle: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

Schlagwörter: Software Verification and Validation, Aerodynamic Characteristics, 0203 mechanical engineering, 0103 physical sciences, Vortex Filaments, 02 engineering and technology, 01 natural sciences, Unsteady Aerodynamics

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/11336/226627

Silent Compiler Bug De-duplication via Three-Dimensional Analysis

Autoren: YANG, Chen CHEN, Junjie FAN, Xingyu et al.

Quelle: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. :677-689

Schlagwörter: Software verification and validation, Software testing and debugging, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Software Engineering, 02 engineering and technology, Software creation and management, Software defect analysis

Dateibeschreibung: application/pdf

Generating Python Mutants From Bug Fixes Using Neural Machine Translation

Autoren: Sergen Aşik Uğur Yayan

Quelle: IEEE Access, Vol 11, Pp 85678-85693 (2023)

Schlagwörter: mutation testing, bug fixes, Software quality, software testing, Electrical engineering. Electronics. Nuclear engineering, software verification and validation, mining software repositories, TK1-9971

Zugangs-URL: https://doaj.org/article/7dfe9301805043fab025ea2cedc8c524

Network Simulator-Centric Compositional Testing

Autoren: Rousseaux, Tom Crochet, Christophe Aoga, John et al.

Weitere Verfasser: Rousseaux, Tom Crochet, Christophe Aoga, John et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783031626449
Lecture Notes in Computer Science, Vol. 14678, no.2024, p. 177-196 (2024)

Schlagwörter: Computer Science - Symbolic Computation, Networking and Internet Architecture (cs.NI), FOS: Computer and information sciences, Formal Specifications, Software verification and validation, Computer Science - Cryptography and Security, Model-Based Testing, Network Simulator, Adverse Stimuli, 0211 other engineering and technologies, 02 engineering and technology, Symbolic Computation (cs.SC), Concrete Implementation, Time-varying Network Properties, Computer Science - Networking and Internet Architecture, Software Engineering (cs.SE), Computer Science - Software Engineering, Software testing and debugging, 0202 electrical engineering, electronic engineering, information engineering, Safety Properties, Networks, Internet protocols, Cryptography and Security (cs.CR)

Zugangs-URL: http://arxiv.org/abs/2503.04810
https://hdl.handle.net/2078.1/288562

Compile-Time Optimization of the Energy Consumption of Numerical Computations

Autoren: Ben Khalifa, Dorra Martel, Matthieu ENAC - Equipe Informatique Interactive (LII) et al.

Weitere Verfasser: Ben Khalifa, Dorra Martel, Matthieu ENAC - Equipe Informatique Interactive (LII) et al.

Quelle: The 21st ACM International Conference on Computing Frontiers (CF'24) ; https://enac.hal.science/hal-04574817 ; The 21st ACM International Conference on Computing Frontiers (CF'24), May 2024, Ischia (Italia), France. ⟨10.1145/3637543.3654759⟩

Schlagwörter: Computer Arithmetic, Program Optimization, Numerical Accuracy, Source code generation, Software verification and validation, [INFO]Computer Science [cs]

Geographisches Schlagwort: Ischia (Italia), France

Verfügbarkeit: https://enac.hal.science/hal-04574817
https://enac.hal.science/hal-04574817v1/document
https://enac.hal.science/hal-04574817v1/file/NRJCompil-12.pdf
https://doi.org/10.1145/3637543.3654759

Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review

Autoren: Nijat Rajabli Francesco Flammini Roberto Nardone et al.

Quelle: IEEE Access, Vol 9, Pp 4797-4819 (2021)
IEEE Access
DOAJ-Articles
Digitala Vetenskapliga Arkivet-Academic Archive On-line
Archivio della ricerca-Università degli studi di Napoli Federico II
UnpayWall
ORCID
Microsoft Academic Graph

Schlagwörter: Computer and Information Sciences, Autonomous Cars, General Computer Science, intelligent vehicles, Computer science, Certification, 02 engineering and technology, cyber-physical systems, vehicle safety, Software, verification, validation, autonomous cars, safety, Validation, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, General Materials Science, Software verification and validation, formal verification, Literature review, system testing, automotive engineering, General Engineering, Autonomous Cars, Literature review, Validation, Verification, Verification, Data- och informationsvetenskap, Fault injection, Formal methods, TK1-9971, Advanced driver assistance systems, machine learning, Systematic review, system validation, Traffic congestion, Risk analysis (engineering), Electrical engineering. Electronics. Nuclear engineering, autonomous vehicles, Verification and validation

Dateibeschreibung: application/pdf

Zugangs-URL: https://ieeexplore.ieee.org/ielx7/6287639/9312710/09310181.pdf
https://doaj.org/article/fd0774865d484783ad8d9143ada0588b
https://ieeexplore.ieee.org/document/9310181
http://hdl.handle.net/11588/829431
https://doaj.org/article/fd0774865d484783ad8d9143ada0588b
https://ieeexplore.ieee.org/document/9310181/
https://dblp.uni-trier.de/db/journals/access/access9.html#RajabliFNV21
https://iris.unirc.it/handle/20.500.12318/79475
https://hdl.handle.net/11367/99035
https://doi.org/10.1109/ACCESS.2020.3048047
https://ieeexplore.ieee.org/document/9310181
https://hdl.handle.net/11588/829431
https://doi.org/10.1109/ACCESS.2020.3048047
https://hdl.handle.net/2158/1402082
https://doi.org/10.1109/access.2020.3048047

Genedrive CYP2C19 ID Kit - Instructions for Use (IFU) V5.0

Autoren: John Mcdermott William Newman

Schlagwörter: Medical devices, Genetic technology, medical device software verification and validation

Verfügbarkeit: https://doi.org/10.48420/27619581.v1
https://figshare.com/articles/report/Genedrive_CYP2C19_ID_Kit_-_Instructions_for_Use_IFU_V5_0/27619581

VERIFICATION AND VALIDATION OF A SOFTWARE: A REVIEW OF THE LITERATURE

Autoren: Atica M. Altaie Asmaa H. Al-Bayati Rasha Gh. Alsarraj

Quelle: Iraqi Journal for Computers and Informatics, Vol 46, Iss 1, Pp 40-47 (2020)

Schlagwörter: software tools, system development life cycle, Technology, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, software testing, 0501 psychology and cognitive sciences, 02 engineering and technology, software verification and validation, software quality

Zugangs-URL: https://ijci.uoitc.edu.iq/index.php/ijci/article/download/249/173
https://doaj.org/article/2ad0a43332ea485884da584e10f933f7
https://ijci.uoitc.edu.iq/index.php/ijci/article/download/249/173
https://doaj.org/article/2ad0a43332ea485884da584e10f933f7
https://ijci.uoitc.edu.iq/index.php/ijci/article/view/249

Determinacy Race Detector for Promises (Artifact)

Autoren: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Weitere Verfasser: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Schlagwörter: Software and its engineering → Software testing and debugging, Determinism, Software and its engineering → Software verification and validation, Software and its engineering → Software notations and tools, Race detection, ddc:004, Determinacy-race, Software and its engineering → Software creation and management, Software and its engineering → Software defect analysis, Promise, Software and its engineering → Concurrent programming languages, Software and its engineering → General programming languages

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.24

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

Autoren: Altmeyer, Sebastian André, Étienne Dal Zilio, Silvano et al.

Weitere Verfasser: Altmeyer, Sebastian André, Étienne Dal Zilio, Silvano et al.

Schlagwörter: real-time systems, General and reference → Verification, Software and its engineering → Software verification and validation, Computer systems organization → Real-time systems, response time analysis, industrial use case, ddc:004, end-to-end latency, Verification challenge, Computer systems organization → Embedded systems

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.1.4

Toward Tool-Independent Summaries for Symbolic Execution (Artifact)

Autoren: Ramos, Frederico Sabino, Nuno Adão, Pedro et al.

Weitere Verfasser: Ramos, Frederico Sabino, Nuno Adão, Pedro et al.

Schlagwörter: Symbolic Execution, Software and its engineering → Software verification and validation, Runtime Modelling, Security and privacy → Formal methods and theory of security, Symbolic Summaries, ddc:004

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.7

Teachers’ Perspective on Software Testing Education

Autoren: Fasolino, Anna Rita Marin, Beatríz Vos, Tanja E.J. et al.

Quelle: ISSN:1531-4278 ; ISSN:1946-6226 ; Acm Transactions On Computing Education.

Schlagwörter: Software Testing Education, Teachers’ perspective on software testing education, Software Testing Education Practices, Teachers’ Survey, Software and its engineering, Software verification and validation, Applied computing, Education, General and reference, Surveys and overviews, 0806 Information Systems, 0899 Other Information and Computing Sciences, 1301 Education Systems, 3901 Curriculum and pedagogy, 4608 Human-centred computing

Relation: https://lirias.kuleuven.be/handle/20.500.12942/775043

Verfügbarkeit: https://lirias.kuleuven.be/handle/20.500.12942/775043
https://hdl.handle.net/20.500.12942/775043

Workshop Summary: 2019 IEEE / ACM Fourth International Workshop on Metamorphic Testing (MET 2019)

Autoren: Xie, Xiaoyuan Poon, Pak-Lok Pullum, Laura L

Quelle: ACM SIGSOFT Software Engineering Notes. 44:56-59

Schlagwörter: 080309 Software Engineering, Software verification and validation, Software engineering, 9. Industry and infrastructure, 0202 electrical engineering, electronic engineering, information engineering, Metamorphic testing, 02 engineering and technology, 7. Clean energy, Software testing, 12. Responsible consumption

Zugangs-URL: https://dl.acm.org/doi/pdf/10.1145/3356773.3356810
https://dblp.uni-trier.de/db/journals/sigsoft/sigsoft44.html#XiePP19

Probabilistic Worst-Case Timing Analysis: Taxonomy and Comprehensive Survey

Autoren: Cazorla, Francisco J. Kosmidis, Leonidas Mezzetti, Enrico et al.

Weitere Verfasser: Cazorla, Francisco J. Kosmidis, Leonidas Mezzetti, Enrico et al.

Quelle: Digital.CSIC. Repositorio Institucional del CSIC
instname
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya

Schlagwörter: Probabilistic analysis, Software verification and validation, Embedded systems, Probabilistic representations, 02 engineering and technology, 01 natural sciences, Worst-case execution time, ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES, Supercomputadors, Informàtica [Àrees temàtiques de la UPC], 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, High performance computing, Àrees temàtiques de la UPC::Informàtica, Real-time systems

Dateibeschreibung: application/pdf

Zugangs-URL: https://riunet.upv.es/bitstream/10251/147545/3/Cazorla%3bKosmidis%3bMezzetti%20-%20Probabilistic%20Worst-Case%20Timing%20Analysis%3a%20Taxonomy%20and%20Comprehensive%20....pdf
http://hdl.handle.net/10261/197505
https://riunet.upv.es/handle/10251/147545
http://hdl.handle.net/2117/166847
https://digital.csic.es/handle/10261/197505
https://doi.org/10.1145/3301283
http://doi.org/10.1145/3301283
https://upcommons.upc.edu/bitstream/2117/166847/1/Probabilistic%20Worst-Case%20Timing%20Analysis.pdf
https://dblp.uni-trier.de/db/journals/csur/csur52.html#CazorlaKMHAV19
https://dl.acm.org/doi/10.1145/3301283
https://hdl.handle.net/2117/166847
https://doi.org/10.1145/3301283

Development of a Standard for Verification and Validation of Software Used to Calculate Nuclear System Thermal Fluids Behavior

Weitere Verfasser: Crane, Ryan

Quelle: Conference: 18th International Conference on Nuclear Engineering (ICONE 18),Xi'an, China,05/17/2010,05/21/2010

Dateibeschreibung: Medium: ED

Zugangs-URL: http://www.osti.gov/scitech/servlets/purl/983356

The AI Act and The Agile Safety Plan ; 9783031805042.pdf

Autoren: Myklebust, Thor Stålhane, Tor Vatn, Dorthea Mathilde Kristin

Schlagwörter: functional safety, software safety, safety-critical systems, software verification and validation, risk management, safety documents

Dateibeschreibung: application/pdf

Relation: SpringerBriefs in Computer Science; ONIX_20250213_9783031805042_24

Verfügbarkeit: https://library.oapen.org/handle/20.500.12657/98581
https://hdl.handle.net/20.500.12657/98581
https://link.springer.com/978-3-031-80504-2