Search Results - "Software verification"

A novel verification tool suite for industrial robotic systems evaluation results.

Alternate Title: Endüstriyel robotik sistemler için bir doğrulama aracının değerlendirme sonuçları.

Authors: Erdoğmuş, Alim Kerem Yayan, Uğur

Source: Pamukkale University Journal of Engineering Sciences. 2026, Vol. 32 Issue 2, p276-294. 19p.

Subjects: Software verification, Fault tolerance (Engineering), Computer performance, Industrial robots, System safety

Safety, Correctness, and the Shape of Reasoning.

Authors: Teodorescu, Lucian Radu¹, lucteo@lucteo.ro

Source: Overload; Jun2026, Issue 193, p4-7, 4p

GameGuard: A Static Analysis Framework for Verifying Game Logic in Android Applications.

Authors: Wandhekar, Nikhil Senta, Pratik Dalavi, Nishikant et al.

Source: Grenze International Journal of Engineering & Technology (GIJET); Jan2026, Vol. 12 Issue Part2, p2075-2080, 6p

Innovative Cost-Effective Embedded System to Enhance ECU Firmware Quality Through Remote Hybrid Testing in Automotive Domain.

Authors: Bogorin-Predescu, Adrian Titu, Stefan Titu, Aurel Mihail et al.

Source: Applied Sciences (2076-3417); Dec2025, Vol. 15 Issue 23, p12736, 27p

Security Analysis of Automated Code Generation: Structural Vulnerabilities in AI-Generated Code.

Authors: Yoo, Sang Hyun Kim, Hyun Jung

Source: Technical Journal / Tehnički Glasnik; Dec2025, Vol. 19 Issue 4, p560-574, 15p

Extract, model, refine: improved modelling of program verification tools through data enrichment.

Authors: Lathouwers, Sophie Liu, Yujie Zaytsev, Vadim

Source: Software & Systems Modeling. Aug2025, Vol. 24 Issue 4, p1293-1313. 21p.

Subjects: Software verification, Software engineering, Statistical reliability, Software development tools, Software frameworks, Automation software, Information storage & retrieval systems, Acquisition of data

LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions.

Authors: King, Daragh Koutavas, Vasileios Kovács, Laura

Source: International Journal on Software Tools for Technology Transfer. Jun2026, Vol. 28 Issue 3, p317-328. 12p.

Subjects: Software verification, Computer software testing, Java programming language, Language models, Computer software

Sound Static Data Race Verification for C: Is the Race Lost?

Authors: Holter, Karoliine Saan, Simmo Lam, Patrick et al.

Source: ACM Transactions on Programming Languages & Systems. Sep2025, Vol. 47 Issue 3, p1-40. 40p.

Concurrency Contracts for Designing Highly Available Replicated Data Types.

Authors: De Porre, Kevin Ferreira, Carla Gonzalez Boix, Elisa

Source: Software: Practice & Experience; Sep2025, Vol. 55 Issue 9, p1489-1505, 17p

Monte Carlo validation of the pairwise comparisons method accuracy improvement for 3D objects.

Authors: Koczkodaj, Waldemar W. Kułakowski, Konrad Meng Cheng Lau et al.

Source: Advances in Science & Technology Research Journal; 2025, Vol. 19 Issue 6, p194-202, 9p

A language-parametric test amplification framework for executable domain-specific languages.

Authors: Khorram, Faezeh Bousse, Erwan Mottu, Jean-Marie et al.

Source: Software & Systems Modeling; Aug2025, Vol. 24 Issue 4, p1187-1212, 26p

Study of an Anisotropic Cohesion Weakening–Friction Strengthening Model for Bedded Shale.

Authors: Zhou, Wenjing Xie, Yuan Jia, Suizi et al.

Source: Rock Mechanics & Rock Engineering. May2025, Vol. 58 Issue 5, p5875-5887. 13p.

Subjects: Internal friction, Software verification, Material plasticity, Mechanical models, Resource exploitation, Cohesion

Formal verification of bioinformatics software using model checking and theorem proving.

Authors: Weerasena, Hansika Jayasena, Aruna Boucher, Christina et al.

Source: Briefings in Bioinformatics. Jul2025, Vol. 26 Issue 4, p1-13. 13p.

Software Verification Witnesses Thoroughness.

Authors: Mordan, V. O. Mutilin, V. S.

Source: Programming & Computer Software. Feb2026, Vol. 52 Issue 1, p39-49. 11p.

Subjects: Software verification, Computer software correctness, Software measurement, Software visualization, Defect tracking (Computer software development)

Safe Coding.

Authors: Kern, Christoph¹, xtof@google.com

Source: ACM Queue; Sep/Oct2025, Vol. 23 Issue 5, p1-15, 15p

Local Reasoning Can Help Prove Correctness.

Authors: Teodorescu, Lucian Radu Parent, Sean

Source: Overload; Aug2025, Issue 188, p4-8, 5p

Enhancing Software Requirements Verification and Validation Techniques.

Authors: Alrwais, Omer¹ oalrwais@ksu.edu.sa

Source: International Journal of Mathematics & Computer Science. 2025, Vol. 20 Issue 3, p901-911. 11p.

Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs.

Authors: CICCALÈ, MARCO JURJO-RIVAS, DANIEL MORALES, JOSE F. et al.

Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p612-630. 19p.

ANTHEM 2.0: Automated Reasoning for Answer Set Programming.

Authors: FANDINNO, JORGE HANSEN, ZACHARY LIERLER, YULIYA et al.

Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p668-684. 17p.

The neglected model validation of antimicrobial resistance transmission models – a systematic review.

Authors: Brinch, Maja L. Palladino, Andrea Geurtsen, Jeroen et al.

Source: Antimicrobial Resistance & Infection Control. 5/28/2025, Vol. 14 Issue 1, p1-11. 11p.