Search Results - "Computer software correctness"

CQLLM: A Framework for Generating CodeQL Security Vulnerability Detection Code Based on Large Language Model.

Authors: Wang, Le Chen, Chan Zhu, Junyi et al.

Source: Applied Sciences (2076-3417); Jan2026, Vol. 16 Issue 1, p517, 17p

On Systematic Construction of Correct Logic Programs.

Authors: DRABENT, WŁODZIMIERZ¹ (AUTHOR) drabent@ipipan.waw.pl

Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p631-648. 18p.

Systems Correctness Practices at Amazon Web Services.

Authors: Brooker, Marc Desai, Ankush

Source: Communications of the ACM. Jun2025, Vol. 68 Issue 6, p38-42. 5p.

Subjects: Amazon Web Services Inc., Computer software correctness, Software reliability, Programming languages, Simulation methods & models, Virtual machine systems

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)

Full Information Numerical Simulation of Two-Dimensional Steady Ground Temperature Field.

Authors: Jiang, Fan Dai, Shikun Zhang, Ying et al.

Source: Applied Sciences (2076-3417); Apr2025, Vol. 15 Issue 7, p3643, 16p

Exploring Automated Assertion Generation via Large Language Models.

Authors: Zhang, Quanjun Sun, Weifeng Fang, Chunrong et al.

Source: ACM Transactions on Software Engineering & Methodology; Mar2025, Vol. 34 Issue 3, p1-25, 25p

Towards neural-network-guided program synthesis and verification.

Authors: Kobayashi, Naoki Sekiyama, Taro Sato, Issei et al.

Source: Formal Methods in System Design. Nov2025, Vol. 67 Issue 2, p222-254. 33p.

Subjects: Artificial neural networks, Computer software correctness, Model validation, Code generators, Predicate calculus, Constraint satisfaction

eSTARK: extending STARKs with arguments.

Authors: Masip-Ardevol, Héctor Baylina-Melé, Jordi Guzmán-Albiol, Marc et al.

Source: Designs, Codes & Cryptography. Nov2024, Vol. 92 Issue 11, p3677-3721. 45p.

Computing Utility Needs Monadic Abstractions.

Authors: Du, Yu Pan, Yu-Xuan Yu, Zi-Shu et al.

Source: Journal of Computer Science & Technology (10009000); Jan2026, Vol. 41 Issue 1, p193-203, 11p

An architecture refactoring approach to reducing software hierarchy complexity.

Authors: Zhao, Yongxin Wu, Wenhan Fei, Yuan et al.

Source: Journal of Software: Evolution & Process. Apr2024, Vol. 36 Issue 4, p1-27. 27p.

Subjects: Software refactoring, Computer software correctness, Computer software quality control, Software architecture, Computer programming, Battery management systems

Keeper: Automated Testing and Fixing of Machine Learning Software.

Authors: Wan, Chengcheng Liu, Shicheng Xie, Sophie et al.

Source: ACM Transactions on Software Engineering & Methodology; Sep2024, Vol. 33 Issue 7, p1-33, 33p

CPD : a linear temporal logic over finite traces guided model checking tool.

Authors: Zeng, Xiangqi Wang, Meng Wang, Miao et al.

Source: Software Quality Journal; Dec2025, Vol. 33 Issue 4, p1-21, 21p

LoRe: A Programming Model for Verifiably Safe Local-first Software.

Authors: Haas, Julian Mogk, Ragnar Yanakieva, Elena et al.

Source: ACM Transactions on Programming Languages & Systems. Mar2024, Vol. 46 Issue 1, p1-26. 26p.

Analytical Solution for the Steady Seepage Field of an Anchor Circular Pit in Layered Soil.

Authors: Huang, Jirong Gu, Lixiong He, Zhen et al.

Source: Buildings (2075-5309); Jan2024, Vol. 14 Issue 1, p74, 19p

Quantum software testing: State of the art.

Authors: García de la Barrera, Antonio García‐Rodríguez de Guzmán, Ignacio Polo, Macario et al.

Source: Journal of Software: Evolution & Process. Apr2023, Vol. 35 Issue 4, p1-14. 14p.

Subjects: Computer software correctness, Software engineering, Computer software testing, Quantum computing, Quantum theory, Software engineers

Co-Developing Programs and Their Proof of Correctness.

Authors: Chapman, Roderick Dross, Claire Matthews, Stuart et al.

Source: Communications of the ACM; Mar2024, Vol. 67 Issue 3, p84-94, 11p

Sports training auxiliary decision support system based on neural network algorithm.

Authors: Wang, Tianyi¹, 02305@qqhru.edu.cn

Source: Neural Computing & Applications; Feb2023, Vol. 35 Issue 6, p4211-4224, 14p

THE PRICE OF AI ASSISTANCE: THE UNDERMINING EFFECT OF AI-GENERATED CODE ON DEVELOPERS' PROCEDURAL KNOWLEDGE.

Authors: Diebel, Christopher Goutier, Marc Adam, Martin et al.

Source: Proceedings of the European Conference on Information Systems (ECIS); 2025, p1-16, 16p

Sliding mode control for speed loop combined with MTPA strategy of IPMSM applied in electric vehicles.

Authors: An Thi Hoai Thu Anh Tran Hung Cuong Duong Minh Chien

Source: Bulletin of Electrical Engineering & Informatics; Apr2025, Vol. 14 Issue 2, p883-892, 10p

Galois to provide trusted computing hardware and software design and development tools.

Source: Military & Aerospace Electronics. Nov/Dec2024, Vol. 35 Issue 6, p49-50. 2p.