Search results for "Correctness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Panos K. Chrysanthis, Krithi Ramamritham	Synthesis of Extended Transaction Models Using ACTA.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	serializability theory, semantics, concurrency control, transaction models, correctness criteria
12	Roshan K. Thomas, Ravi S. Sandhu	Supporting Object-Based High-Assurance Write-up in Multilevel Databases for the Replicated Architecture.	ESORICS	1994	DBLP DOI BibTeX RDF	Replicated architecture, writeup, serial correctness, signaling channels, object-oriented databases, message-filtering
12	Divyakant Agrawal, Soumitra Sengupta	Modular Synchronization in Distributed, Multiversion Databases: Version Control and Concurrency Control.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	modular synchronisation, multiversion databases, multiversion protocols, proving the correctness, protocols, distributed databases, distributed databases, concurrency control, concurrency control, modularity, synchronisation, extensibility, configuration management, version control, two-phase locking, time-stamp, read-only transactions
12	Uri Abraham	On system executions and states.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	Correctness of programs, system execution, cores of executions, global time, semantics of concurrency
12	Richard C. Linger	Cleanroom Software Engineering for Zero-Defect Software.	ICSE	1993	DBLP BibTeX RDF	box structures, software quality certification, statistical usage testing, formal specification, incremental development, correctness verification, cleanroom software engineering
12	Ilana David, Ran Ginosar, Michael Yoeli	An Efficient Implementation of Boolean Functions as Self-Timed Circuits.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	logic module, temporal logic, temporal logic, Boolean functions, Boolean functions, logic design, correctness, logic circuits, automatic synthesis, formal proof, self-timed circuits, functional constraints
12	Eiichi Horita	A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality.	REX Workshop	1992	DBLP DOI BibTeX RDF	local variables, local channels, concurrency, correctness, operational semantics, parameterization, metric spaces, denotational semantics, full abstraction, linear time, imperative languages, branching time, domain equations
12	Flemming Nielson, Hanne Riis Nielson	Layered Predicates.	REX Workshop	1992	DBLP DOI BibTeX RDF	partial equivalence relations, Kripke-logical relations, layered predicates, Kripke-layered predicates, substitution properties, well-structured proofs, correctness of code generation, proof principles, denotational semantics, logical relations
12	Robert L. Probert, Kassem Saleh	Synthesis of Communication Protocols: Survey and Assessment.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	communication protocols synthesis, synchronous mode of behavior, communicating entities, error-recovery patterns, protocols, assessment, survey, design process, interactive methods, semantic correctness
12	A. L. Narasimha Reddy, Prithviraj Banerjee	Algorithms-Based Fault Detection for Signal Processing Applications.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	algorithm based fault detection, FFT factorization, correctness checking, signal processing applications, special-purpose array processors, functional-level concurrent error-detection, VLSI signal processing architectures, finite-precision arithmetic, error coverage, VLSI, fault tolerant computing, integrated circuit testing, error detection, digital signal processing chips, QR factorization, roundoff errors, truncation errors
12	Yin-Fu Huang, Yeh-Hao Chin	A New Methodology to Evaluate Locking Protocols.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	average lock range, evaluation factor, locking-based concurrency control methods, nonstructural locking, ALR, popular locking protocols, 2PL protocol, tree protocol, simulation, protocols, distributed databases, concurrency control, correctness, trees (mathematics), queueing model
12	Frank S. de Boer	A Proof System for the Language POOL.	REX Workshop	1990	DBLP DOI BibTeX RDF	partial correctness, completeness, Object, soundness, Hoare-logic, pointers, proof-system, rendezvous, object-creation
12	Bard Bloom	Constructing Two-Writer Atomic Registers.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	two-writer, memory register, two-writer protocol, protocols, computer architecture, atomic registers, proof of correctness
12	Baruch Awerbuch	On the Effects of Feedback in Dynamic Network Protocols (Preliminary Version)	FOCS	1988	DBLP DOI BibTeX RDF	dynamic network protocols, proving correctness, logarithmic transformers, performance analysis, feedback, communication complexity, communication protocols, asynchronous network
12	Leo Marcus, Timothy Redmond	Two Automated Methods in Implementation Proofs.	CADE	1988	DBLP DOI BibTeX RDF	microcode verification, implementation, program verification, Program correctness
12	Thomas E. Hull, A. Abrham	Properly Rounded Variable Precision Square Root.	ACM Trans. Math. Softw.	1985	DBLP DOI BibTeX RDF	correctness proof, variable precision
12	Siegfried M. Rump, Harald Böhm	Least significant bit evaluation of arithmetic expressions in single-precision.	Computing	1983	DBLP DOI BibTeX RDF	automatic verification of correctness, roundig error, error estimation, Inclusion, high accuracy
12	H. T. Kung 0001, Philip L. Lehman	Concurrent Manipulation of Binary Search Trees.	ACM Trans. Database Syst.	1980	DBLP DOI BibTeX RDF	databases, data structures, concurrency controls, consistency, correctness, binary search trees, locking protocols, concurrent algorithm
12	Leslie Lamport	How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	hardware correctness, parallel processing, multiprocessing, concurrent computing, Computer design
12	Joe W. Duran	Heuristics for program synthesis using loop invariants.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Automatic programming, Program synthesis, Program correctness, Loop invariants
12	Donald I. Good, Richard M. Cohen, Lawrence W. Hunter	A Report On The Development Of Gypsy.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Dynamic storage management, Gypsy, Reliable software, Scope of names, Systems programming language, GYPSY, Concurrency, Programming language, Program verification, Specification language, Correctness, Compiler design, Programming language design
12	Patrick Cousot	Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
12	Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy	Correctness Notions for Petri Nets with Identifiers.	Fundam. Informaticae	2024	DBLP DOI BibTeX RDF
12	Lien Michiels, Robin Verachtert, Andres Ferraro, Kim Falk, Bart Goethals	A Framework and Toolkit for Testing the Correctness of Recommendation Algorithms.	Trans. Recomm. Syst.	2024	DBLP DOI BibTeX RDF
12	Dilliraj Ekambaram, Vijayakumar Ponnusamy	Real-time AI-assisted visual exercise pose correctness during rehabilitation training for musculoskeletal disorder.	J. Real Time Image Process.	2024	DBLP DOI BibTeX RDF
12	David Hitchcock	Tarski's Theory of the Formal Correctness of Definitions.	J. Philos. Log.	2024	DBLP DOI BibTeX RDF
12	Qi Mo, Jianeng Wang, Chengting Jiang, Zhongwen Xie, Cong Liu 0012, Fei Dai 0002	Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets.	IEEE Trans. Syst. Man Cybern. Syst.	2024	DBLP DOI BibTeX RDF
12	Quanjun Zhang, Chunrong Fang, Weisong Sun, Yan Liu, Tieke He, Xiaodong Hao, Zhenyu Chen 0001	APPT: Boosting Automated Patch Correctness Prediction via Fine-Tuning Pre-Trained Models.	IEEE Trans. Software Eng.	2024	DBLP DOI BibTeX RDF
12	Aaron Bembenek, Toby Murray	Symbol Correctness in Deep Neural Networks Containing Symbolic Layers.	CoRR	2024	DBLP DOI BibTeX RDF
12	Joong-Ho Won, Jihan Jung	On the Correctness of the Generalized Isotonic Recursive Partitioning Algorithm.	CoRR	2024	DBLP DOI BibTeX RDF
12	Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl	Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.	CoRR	2024	DBLP DOI BibTeX RDF
12	Hartwig H. Hochmair, Levente Juhász, Takoda Kemp	Correctness Comparison of ChatGPT-4, Bard, Claude-2, and Copilot for Spatial Tasks.	CoRR	2024	DBLP DOI BibTeX RDF
12	Petros Ellinas, Rahul Nellikkath, Ignasi Ventura, Jochen Stiasny, Spyros Chatzivasileiadis	Correctness Verification of Neural Networks Approximating Differential Equations.	CoRR	2024	DBLP DOI BibTeX RDF
12	Zongxia Li, Ishani Mondal, Yijun Liang, Huy Nghiem, Jordan Lee Boyd-Graber	PANDA (Pedantic ANswer-correctness Determination and Adjudication): Improving Automatic Evaluation for Question Answering and Text Generation.	CoRR	2024	DBLP DOI BibTeX RDF
12	Yuxuan Yao, Han Wu 0004, Zhijiang Guo, Biyan Zhou, Jiahui Gao, Sichun Luo, Hanxu Hou, Xiaojin Fu, Linqi Song	Learning From Correctness Without Prompting Makes LLM Efficient Reasoner.	CoRR	2024	DBLP DOI BibTeX RDF
12	Hoang Nguyen Phuoc Bao, Manuel Clavel	Proving correctness for SQL implementations of OCL constraints.	CoRR	2024	DBLP DOI BibTeX RDF
12	Manav Singhal, Tushar Aggarwal, Abhijeet Awasthi, Nagarajan Natarajan, Aditya Kanade	NoFunEval: Funny How Code LMs Falter on Requirements Beyond Functional Correctness.	CoRR	2024	DBLP DOI BibTeX RDF
12	Benjamin Plaut, Khanh Nguyen, Tu Trinh	Softmax Probabilities (Mostly) Predict Large Language Model Correctness on Multiple-Choice Q&A.	CoRR	2024	DBLP DOI BibTeX RDF
12	Xinyi He, Jiaru Zou, Yun Lin, Mengyu Zhou, Shi Han, Zejian Yuan, Dongmei Zhang 0001	CONLINE: Complex Code Generation and Refinement with Online Searching and Correctness Testing.	CoRR	2024	DBLP DOI BibTeX RDF
12	Miltiadis Allamanis, Sheena Panthaplackel, Pengcheng Yin	Unsupervised Evaluation of Code LLMs with Round-Trip Correctness.	CoRR	2024	DBLP DOI BibTeX RDF
12	Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed	Calibration and Correctness of Language Models for Code.	CoRR	2024	DBLP DOI BibTeX RDF
12	Roderick Chapman, Claire Dross, Stuart Matthews, Yannick Moy	Co-Developing Programs and Their Proof of Correctness.	Commun. ACM	2024	DBLP DOI BibTeX RDF
12	Leah Hoffmann	Verifying Correctness.	Commun. ACM	2024	DBLP DOI BibTeX RDF
12	Jules Maire, Damien Vergnaud	Secure Multi-Party Linear Algebra with Perfect Correctness.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
12	Clément Aubert	The correctness of concurrencies in (reversible) concurrent calculi.	J. Log. Algebraic Methods Program.	2024	DBLP DOI BibTeX RDF
12	Bartosz Wcislo	Compositional truth with propositional tautologies and quantifier-free correctness.	Arch. Math. Log.	2024	DBLP DOI BibTeX RDF
12	Radhika Sukapuram, Ranjan Patowary, Gautam Barua	Correctness of Flow Migration.	ICDCN	2024	DBLP DOI BibTeX RDF
12	Syeda Fatema Mazumder, Manuel A. Pérez-Quiñones	The Correctness of the Mental Model of Arrays After Instruction for CS1 Students.	SIGCSE (1)	2024	DBLP DOI BibTeX RDF
12	Pavlo Rehida, Oleg Savenko, Anatoliy Sachenko, Andriy Drozd, Petro Vizhevski	A trust model that ensures the correctness of computing in grid computing system.	IntelITSIS	2024	DBLP BibTeX RDF
12	Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné	Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution).	TACAS (3)	2024	DBLP DOI BibTeX RDF
12	Simmo Saan, Julian Erhard, Michael Schwarz 0007, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl	Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution).	TACAS (3)	2024	DBLP DOI BibTeX RDF
12	Suzanne Petryk, Spencer Whitehead, Joseph E. Gonzalez, Trevor Darrell, Anna Rohrbach, Marcus Rohrbach	Simple Token-Level Confidence Improves Caption Correctness.	WACV	2024	DBLP DOI BibTeX RDF
12	Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey	On the Verification of the Correctness of a Subgraph Construction Algorithm.	VMCAI (1)	2024	DBLP DOI BibTeX RDF
12	Simmo Saan, Michael Schwarz 0007, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani	Correctness Witness Validation by Abstract Interpretation.	VMCAI (1)	2024	DBLP DOI BibTeX RDF
12	Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang	Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program.	EuroSys	2024	DBLP DOI BibTeX RDF
12	Noam Zilberstein, Derek Dreyer, Alexandra Silva 0001	Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
12	Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo	Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
12	Akila Devi T. R., K. Javubar Sathick, A. Abdul Azeez Khan, L. Arun Raj	Novel Framework for Improving the Correctness of Reference Answers to Enhance Results of ASAG Systems.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	Eric Simon, Bernd Amann, Rutian Liu, Stéphane Gançarski	Controlling the Correctness of Aggregation Operations During Sessions of Interactive Analytic Queries.	ACM J. Data Inf. Qual.	2023	DBLP DOI BibTeX RDF
12	Jie Xu, Hongji Xu, Shijie Li, Shuang Zhou, Mengmeng Wang, Yuhao Wang, Jiaqi Zeng, Jianjun Li, Xiaoman Li, Yiran Li, Xinya Li, Wentao Ai, Yang Wang	A new context correctness measure CMoC and corresponding context inconsistency elimination algorithm.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
12	Heling Cao, Lei Li, Yonghe Chu, Miaolei Deng, Panpan Wang, Chenyang Zhao	A coincidental correctness test case identification framework with fuzzy C-means clustering.	Multim. Syst.	2023	DBLP DOI BibTeX RDF
12	Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo	The two halves of disjunctive correctness.	J. Math. Log.	2023	DBLP DOI BibTeX RDF
12	Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski	On the correctness of highly available systems in the presence of failures.	J. Parallel Distributed Comput.	2023	DBLP DOI BibTeX RDF
12	Arik Rinberg, Idit Keidar	Intermediate Value Linearizability: A Quantitative Correctness Criterion.	J. ACM	2023	DBLP DOI BibTeX RDF
12	Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato	A Correctness and Incorrectness Program Logic.	J. ACM	2023	DBLP DOI BibTeX RDF
12	Lin Zhang, Zifan Wang, Fanxin Kong	Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
12	Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo 0001, Nhat-Hoa Tran, Bui Quang Huy, Quyet-Thang Huynh	Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
12	Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa	Proving Correctness of Parallel Implementations of Transition System Specifications.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yuekun Yao, Alexander Koller	Predicting generalization performance with correctness discriminators.	CoRR	2023	DBLP DOI BibTeX RDF
12	Guido Zuccon, Bevan Koopman	Dr ChatGPT, tell me what I want to hear: How prompt knowledge impacts health answer correctness.	CoRR	2023	DBLP DOI BibTeX RDF
12	Sara Papi, Marco Gaido, Andrea Pilzer, Matteo Negri	Reproducibility is Nothing without Correctness: The Importance of Testing Code in NLP.	CoRR	2023	DBLP DOI BibTeX RDF
12	Mingyang Liu, Fu Song, Taolue Chen	Automated Verification of Correctness for Masked Arithmetic Programs.	CoRR	2023	DBLP DOI BibTeX RDF
12	Quanjun Zhang, Chunrong Fang, Weisong Sun, Yan Liu, Tieke He, Xiaodong Hao, Zhenyu Chen 0001	Boosting Automated Patch Correctness Prediction via Pre-trained Language Model.	CoRR	2023	DBLP DOI BibTeX RDF
12	Romain Xu-Darme, Jenny Benois-Pineau, Romain Giot, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset, Alexey Zhukov	On the stability, correctness and plausibility of visual explanation methods based on feature importance.	CoRR	2023	DBLP DOI BibTeX RDF
12	Suzanne Petryk, Spencer Whitehead, Joseph E. Gonzalez, Trevor Darrell, Anna Rohrbach, Marcus Rohrbach	Simple Token-Level Confidence Improves Caption Correctness.	CoRR	2023	DBLP DOI BibTeX RDF
12	Zhenlin Xu, Yi Zhu, Tiffany Deng, Abhay Mittal, Yanbei Chen, Manchen Wang, Paolo Favaro, Joseph Tighe, Davide Modolo	Challenges of Zero-Shot Recognition with Vision-Language Models: Granularity and Correctness.	CoRR	2023	DBLP DOI BibTeX RDF
12	Noam Zilberstein, Derek Dreyer, Alexandra Silva 0001	Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning.	CoRR	2023	DBLP DOI BibTeX RDF
12	Patrick Cousot	Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yongwang Zhao, David Sanán	Rely-guarantee Reasoning about Concurrent Memory Management: Correctness, Safety and Security.	CoRR	2023	DBLP DOI BibTeX RDF
12	Vaibhav Adlakha, Parishad BehnamGhader, Xing Han Lu, Nicholas Meade, Siva Reddy	Evaluating Correctness and Faithfulness of Instruction-Following Models for Question Answering.	CoRR	2023	DBLP DOI BibTeX RDF
12	Daniel Ritter 0001, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma	Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees.	CoRR	2023	DBLP DOI BibTeX RDF
12	Md Sadman Sakib, Yu Sun 0004	From Cooking Recipes to Robot Task Trees - Improving Planning Correctness and Task Efficiency by Leveraging LLMs with a Knowledge Network.	CoRR	2023	DBLP DOI BibTeX RDF
12	Arno Broeders, Ruud Hermans, Sylvia Stuurman, Lex Bijlsma 0001, Harrie Passier	Improving students' code correctness and test completeness by informal specifications.	CoRR	2023	DBLP DOI BibTeX RDF
12	Manel Barkallah, Jean-Marie Jacquet	On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues.	ICE	2023	DBLP DOI BibTeX RDF
12	Maya Gokhale, Ganesh Gopalakrishnan, Jackson Mayo, Santosh Nagarakatte, Cindy Rubio-González, Stephen F. Siegel	Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL.	CoRR	2023	DBLP DOI BibTeX RDF
12	Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo	Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels.	CoRR	2023	DBLP DOI BibTeX RDF
12	Anurudh Peduri, Ina Schaefer, Michael Walter	QbC: Quantum Correctness by Construction.	CoRR	2023	DBLP DOI BibTeX RDF
12	Wonyeol Lee 0001, Sejun Park, Alex Aiken	On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters.	CoRR	2023	DBLP DOI BibTeX RDF
12	Garett Cunningham, Razvan C. Bunescu, David Juedes	Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs.	CoRR	2023	DBLP DOI BibTeX RDF
12	Archiki Prasad, Swarnadeep Saha, Xiang Zhou, Mohit Bansal	ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness.	CoRR	2023	DBLP DOI BibTeX RDF
12	Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey	On the Verification of the Correctness of a Subgraph Construction Algorithm.	CoRR	2023	DBLP DOI BibTeX RDF
12	Simmo Saan, Michael Schwarz 0007, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani	Correctness Witness Validation by Abstract Interpretation.	CoRR	2023	DBLP DOI BibTeX RDF
12	Stefan Wils, Bart Jacobs 0002	Certifying C program correctness with respect to CH2O with VeriFast.	CoRR	2023	DBLP DOI BibTeX RDF
12	Noam Zilberstein, Angelina Saliling, Alexandra Silva 0001	Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects.	CoRR	2023	DBLP DOI BibTeX RDF
12	Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo 0001, Nhat-Hoa Tran, Bui Quang Huy, Quyet-Thang Huynh	Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning.	CoRR	2023	DBLP DOI BibTeX RDF
12	Shuai Ma, Ying Lei, Xinru Wang, Chengbo Zheng, Chuhan Shi, Ming Yin 0001, Xiaojuan Ma	Who Should I Trust: AI or Myself? Leveraging Human and AI Correctness Likelihood to Promote Appropriate Trust in AI-Assisted Decision-Making.	CoRR	2023	DBLP DOI BibTeX RDF
12	Domenico Cotroneo, Alessio Foggia, Cristina Improta, Pietro Liguori, Roberto Natella	Automating the Correctness Assessment of AI-generated Code for Security Contexts.	CoRR	2023	DBLP DOI BibTeX RDF
12	Xin Zhou, Bowen Xu, Kisub Kim, DongGyun Han, Thanh Le-Cong, Junda He, Xuan-Bach Dinh Le, David Lo 0001	PatchZero: Zero-Shot Automatic Patch Correctness Assessment.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yanglin Hu, Yingkai Ouyang, Marco Tomamichel	Privacy and correctness trade-offs for information-theoretically secure quantum homomorphic encryption.	Quantum	2023	DBLP DOI BibTeX RDF
12	J. Christian Attiogbé, Jérôme Rocheteau	Correctness of IoT-based systems: From a DSL to a mechanised analysis.	J. Comput. Lang.	2023	DBLP DOI BibTeX RDF