Search results for "correctness"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Bo Lin, Shangwen Wang, Ming Wen 0001, Xiaoguang Mao	Context-Aware Code Change Embedding for Better Patch Correctness Assessment.	ACM Trans. Softw. Eng. Methodol.	2022	DBLP DOI BibTeX RDF
12	Haoye Tian, Yinghua Li, Weiguo Pian, Abdoul Kader Kaboré, Kui Liu 0001, Andrew Habib, Jacques Klein, Tegawendé F. Bissyandé	Predicting Patch Correctness Based on the Similarity of Failing Test Cases.	ACM Trans. Softw. Eng. Methodol.	2022	DBLP DOI BibTeX RDF
12	Boubakr Nour, Soumaya Cherkaoui	How Far Can We Go in Compute-less Networking: Computation Correctness and Accuracy.	IEEE Netw.	2022	DBLP DOI BibTeX RDF
12	Rashmi Priya 0001, Dharavath Ramesh, Venkanna Udutalapally	NSGA-2 Optimized Fuzzy Inference System for Crop Plantation Correctness Index Identification.	IEEE Trans. Sustain. Comput.	2022	DBLP DOI BibTeX RDF
12	Priyanka Darke, Ravindra Metta, Raveendra Kumar Medicherla, R. Venkatesh 0001	Impactful research and tooling for program correctness.	Commun. ACM	2022	DBLP DOI BibTeX RDF
12	Mia Filic, Kenneth G. Paterson, Anupama Unnikrishnan, Fernando Virdia	Adversarial Correctness and Privacy for Probabilistic Data Structures.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
12	Krzysztof Jaskólski	Methodology for Verifying the Indication Correctness of a Vessel Compass Based on the Spectral Analysis of Heading Errors and Reliability Theory.	Sensors	2022	DBLP DOI BibTeX RDF
12	Stephan Merz, Vincent Trélat	Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
12	Dapeng Yan, Kui Liu 0001, Yuqing Niu, Li Li 0029, Zhe Liu 0001, Zhiming Liu 0001, Jacques Klein, Tegawendé F. Bissyandé	Crex: Predicting patch correctness in automated repair of C programs through transfer learning of execution semantics.	Inf. Softw. Technol.	2022	DBLP DOI BibTeX RDF
12	Shelernaz Azimi, Claus Pahl	The Impact of Data Completeness and Correctness on Explainable Machine Learning Models.	J. Data Intell.	2022	DBLP DOI BibTeX RDF
12	Rong Gu, Peter Gjøl Jensen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist	Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems.	Sci. Comput. Program.	2022	DBLP DOI BibTeX RDF
12	Wlodzimierz Drabent	On Correctness and Completeness of an n Queens Program.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
12	Miguel Areias 0001, Ricardo Rocha 0001	On the correctness of a lock-free compression-based elastic mechanism for a hash trie design.	Computing	2022	DBLP DOI BibTeX RDF
12	Paul Alcock, Ben Simms, Will Fantom, Charalampos Rotsos, Nicholas J. P. Race	Improving Intent Correctness with Automated Testing.	NetSoft	2022	DBLP DOI BibTeX RDF
12	Codruta Maria Serban, Anca Hangan	A System for Evaluating the Correctness of Physical Exercises Execution.	AQTR	2022	DBLP DOI BibTeX RDF
12	Akshit Aggarwal, Srinibas Swain	Poster: Correctness of n-parties ECDSA By the Claim of Byzantine Agreement.	CCS	2022	DBLP DOI BibTeX RDF
12	Mia Filic, Kenneth G. Paterson, Anupama Unnikrishnan, Fernando Virdia	Adversarial Correctness and Privacy for Probabilistic Data Structures.	CCS	2022	DBLP DOI BibTeX RDF
12	Rosario Cammarota	Intel HERACLES: Homomorphic Encryption Revolutionary Accelerator with Correctness for Learning-oriented End-to-End Solutions.	CCSW	2022	DBLP DOI BibTeX RDF
12	Rémi Meunier, Thomas Carle, Thierry Monteil 0001	Correctness and Efficiency Criteria for the Multi-Phase Task Model.	ECRTS	2022	DBLP DOI BibTeX RDF
12	Tim Jammer, Alexander Hück, Jan-Patrick Lehr, Joachim Protze, Simon Schwitanski, Christian H. Bischof	Towards a Hybrid MPI Correctness Benchmark Suite.	EuroMPI	2022	DBLP DOI BibTeX RDF
12	Mohamed Amin Hammami, Mariam Lahami, Afef Jmal Maâlej	Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts.	CRiSIS	2022	DBLP DOI BibTeX RDF
12	Géza Kulcsár, Johannes Kristan, Sven Erik Jeroschewski	Correctness, Completeness, Consistency: Challenges of Migrating Arrowhead System-of-Systems Models.	NOMS	2022	DBLP DOI BibTeX RDF
12	Nima Amirafshar, Ahmad Sadigh Baroughi, Hadi Shahriar Shahhoseini, Nima TaheriNejad	An Approximate Carry Disregard Multiplier with Improved Mean Relative Error Distance and Probability of Correctness.	DSD	2022	DBLP DOI BibTeX RDF
12	Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen	Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins.	ISoLA (1)	2022	DBLP DOI BibTeX RDF
12	Hengfei Yang, Bo Shen, Gaoyang Xu, Yonghua Chen	Modeling Method and Correctness Verification of Power Grid Safety and Stability Control Strategy System.	QRS Companion	2022	DBLP DOI BibTeX RDF
12	Sadhana Suryadevara, Kristin Stephens-Martinez	UPIC a Problem-Solving Framework: Understand, Plan, Implement, and Correctness/Debugging.	ICER (2)	2022	DBLP DOI BibTeX RDF
12	Mark Santolucito, Jialu Zhang 0002, Ennan Zhai, Jürgen Cito, Ruzica Piskac	Learning CI Configuration Correctness for Early Build Feedback.	SANER	2022	DBLP DOI BibTeX RDF
12	J. Christian Attiogbé, Jérôme Rocheteau	Architectural Invariants and Correctness of IoT-Based Systems.	MEDI Workshops	2022	DBLP DOI BibTeX RDF
12	Youngjae Kim, Manzoor Hussain, Jae-Won Suh, Jang-Eui Hong	Evaluating Correctness of Reinforcement Learning based on Actor-Critic Algorithm.	ICUFN	2022	DBLP DOI BibTeX RDF
12	Yu Xia 0005, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, Srinivas Devadas	Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness.	SIGMOD Conference	2022	DBLP DOI BibTeX RDF
12	Chu Fei Luo, Rohan Bhambhoria, Samuel Dahan, Xiaodan Zhu 0001	Evaluating Explanation Correctness in Legal Decision Making.	Canadian AI	2022	DBLP DOI BibTeX RDF
12	Jorge Fandinno, Zachary Hansen, Yuliya Lierler	Arguing Correctness of ASP Programs with Aggregates.	LPNMR	2022	DBLP DOI BibTeX RDF
12	Naama Ben-David, Michal Friedman 0001, Yuanhao Wei	Brief Announcement: Survey of Persistent Memory Correctness Conditions.	DISC	2022	DBLP DOI BibTeX RDF
12	Nuno Costa, João Paulo Fernandes, Rui Abreu 0001	Asserting the correctness of Shor implementations using metamorphic testing.	QP4SE@ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
12	Caleb Stanford, Konstantinos Kallas, Rajeev Alur	Correctness in Stream Processing: Challenges and Opportunities.	CIDR	2022	DBLP BibTeX RDF
12	Seulbae Kim, Taesoo Kim	RoboFuzz: fuzzing robotic systems over robot operating system (ROS) for finding correctness bugs.	ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
12	Nitish Yadav, Ayushi Malhotra, Sakshee Patel, Minal Bhise	Aggregate Query Result Correctness Using Pattern Tables.	DASFAA (Workshops)	2022	DBLP DOI BibTeX RDF
12	Rolf Drechsler, Alireza Mahzoon	Polynomial Formal Verification: Ensuring Correctness under Resource Constraints.	ICCAD	2022	DBLP DOI BibTeX RDF
12	Nico Potyka, Xiang Yin 0007, Francesca Toni	On the Tradeoff Between Correctness and Completeness in Argumentative Explainable AI.	ArgXAI@COMMA	2022	DBLP BibTeX RDF
12	Lin Zhang, Zifan Wang, Fanxin Kong	Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness.	RTSS	2022	DBLP DOI BibTeX RDF
12	Ali Ghanbari 0001, Andrian Marcus	Patch correctness assessment in automated program repair based on the impact of patches on production and test code.	ISSTA	2022	DBLP DOI BibTeX RDF
12	Han Jiang 0009, Zeqian Li, Jacob Whitehill	Can the Mathematical Correctness of Object Configurations Affect the Accuracy of Their Perception?	CVPR Workshops	2022	DBLP DOI BibTeX RDF
12	Rui Zhang, Jianjun Yu, Yuanchun Zhou	AuxPOS: Improving Grammatical Correctness with Big Data Based Text Summarization.	IEEE Big Data	2022	DBLP DOI BibTeX RDF
12	Kathryn Kenny, Jongwook Kim, Eric Lacker	KennyRiMr: An Eclipse Plug-in to Improve Correctness of Rename Method Refactoring in Java.	SEAA	2022	DBLP DOI BibTeX RDF
12	Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud	A Formal Correctness Proof for an EDF Scheduler Implementation.	RTAS	2022	DBLP DOI BibTeX RDF
12	Dor Ma'ayan, Shahar Maoz, Roey Rozi	Validating the correctness of reactive systems specifications through systematic exploration.	MoDELS	2022	DBLP DOI BibTeX RDF
12	Jean-Benoit Delbrouck, Pierre J. Chambon, Christian Bluethgen, Emily Bao Tsai, Omar Almusa, Curtis P. Langlotz	Improving the Factual Correctness of Radiology Report Generation with Semantic Rewards.	EMNLP (Findings)	2022	DBLP DOI BibTeX RDF
12	Subhajit Chaudhury, Sarathkrishna Swaminathan, R. Chulaka Gunasekara, Maxwell Crouse, Srinivas Ravishankar, Daiki Kimura, Keerthiram Murugesan, Ramón Fernandez Astudillo, Tahira Naseem, Pavan Kapanipathi, Alexander Gray	X-FACTOR: A Cross-metric Evaluation of Factual Correctness in Abstractive Summarization.	EMNLP	2022	DBLP DOI BibTeX RDF
12	Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer	Traits: Correctness-by-Construction for Free.	FORTE	2022	DBLP DOI BibTeX RDF
12	Ali Ghanbari 0001, Andrian Marcus	Shibboleth: Hybrid Patch Correctness Assessment in Automated Program Repair.	ASE	2022	DBLP DOI BibTeX RDF
12	Haoye Tian, Xunzhu Tang, Andrew Habib, Shangwen Wang, Kui Liu 0001, Xin Xia 0001, Jacques Klein, Tegawendé F. Bissyandé	Is this Change the Answer to that Problem?: Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness.	ASE	2022	DBLP DOI BibTeX RDF
12	Thu-Trang Nguyen, Hieu Dinh Vo	Detecting Coincidental Correctness and Mitigating Its Impacts on Localizing Variability Faults.	KSE	2022	DBLP DOI BibTeX RDF
12	Dina Bashkirova, Ben Usman, Kate Saenko	Evaluation of Correctness in Unsupervised Many-to-Many Image Translation.	WACV	2022	DBLP DOI BibTeX RDF
12	Balázs-István Pelok, Csanád Sándor, Ákos Bálint, Csaba Sulyok, Károly Simon	Estimating the Correctness of Exercises for Flat Feet Using Semantic Segmentation.	SISY	2022	DBLP DOI BibTeX RDF
12	Wlodzimierz Drabent	On Correctness of Normal Logic Programs.	LOPSTR	2022	DBLP DOI BibTeX RDF
12	Angela Schwering, Jakub Krukar, Charu Manivannan, Malumbo Chipofya, Sahib Jan	Generalized, Inaccurate, Incomplete: How to Comprehensively Analyze Sketch Maps Beyond Their Metric Correctness.	COSIT	2022	DBLP DOI BibTeX RDF
12	Tom Vanallemeersch, Arne Defauw, Sara Szoc, Alina Kramchaninova, Joachim Van den Bogaert, Andrea Lösch	ELRC Action: Covering Confidentiality, Correctness and Cross-linguality.	LREC	2022	DBLP BibTeX RDF
12	Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer	VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction.	SEFM Workshops	2022	DBLP DOI BibTeX RDF
12	Fumiya Sato, Ayano Ikegami, Takashi Ishio, Kazumasa Shimari, Kenichi Matsumoto	Comparing Execution Traces of Jupyter Notebook for Checking Correctness of Refactoring.	IWSC	2022	DBLP DOI BibTeX RDF
12	Aishwarya Sivaraman	Ensuring Correctness of Modern Software Systems by Example		2022	RDF
12	Jia Shen Teoh	Automated Performance and Correctness Debugging for Big Data Analytics		2022	RDF
12	Manuel Gieseking	Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis.		2022	RDF
12	Nicolas Müller	Integrity and Correctness of Machine Learning Data.		2022	RDF
12	Stephan Gocht	Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning. (PDF / PS)		2022	RDF
12	Daniela Glavanicová, Matteo Pascucci	Correctness and Completeness of Programming Instructions for Traffic Circulation.	Sci. Eng. Ethics	2021	DBLP DOI BibTeX RDF
12	Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal	MonkeyDB: effectively testing correctness under weak isolation levels.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
12	Stefan Tomaszek, Roland Speith, Andy Schürr	Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques.	Softw. Syst. Model.	2021	DBLP DOI BibTeX RDF
12	Lixiao Zheng, Shuai Ma 0001, Zuxi Chen, Xiangyu Luo	Ensuring the Correctness of Regular Expressions: A Review.	Int. J. Autom. Comput.	2021	DBLP DOI BibTeX RDF
12	Muhammad Nauman, Nadeem Akhtar, Omar Hussain Alhazmi, Mustafa Hameed, Habib Ullah, Nadia Khan	Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets.	IEEE Access	2021	DBLP DOI BibTeX RDF
12	Muhammad Nauman, Nadeem Akhtar, Adi Alhudhaif, Abdulrahman Alothaim	Guaranteeing Correctness of Machine Learning Based Decision Making at Higher Educational Institutions.	IEEE Access	2021	DBLP DOI BibTeX RDF
12	Hrvoje Rimac, Maria A. Grishina, Vladimir Potemkin 0001	Use of the Complementarity Principle in Docking Procedures: A New Approach for Evaluating the Correctness of Binding Poses.	J. Chem. Inf. Model.	2021	DBLP DOI BibTeX RDF
12	Saurabh Pal, Pijush Kanti Dutta Pramanik, Aranyak Maity, Prasenjit Choudhury	Learner question's correctness assessment and a guided correction method: enhancing the user experience in an interactive online learning system.	PeerJ Comput. Sci.	2021	DBLP DOI BibTeX RDF
12	Miguel Areias 0001, Ricardo Rocha 0001	On the correctness and efficiency of a novel lock-free hash trie map design.	J. Parallel Distributed Comput.	2021	DBLP DOI BibTeX RDF
12	Moses Ganardi, Danny Hucke, Markus Lohrey	Derandomization for Sliding Window Algorithms with Strict Correctness∗.	Theory Comput. Syst.	2021	DBLP DOI BibTeX RDF
12	Dina Bashkirova, Ben Usman, Kate Saenko	Evaluation of Correctness in Unsupervised Many-to-Many Image Translation.	CoRR	2021	DBLP BibTeX RDF
12	Alina Dana Miron, Crina Grosan	Classifying action correctness in physical rehabilitation exercises.	CoRR	2021	DBLP BibTeX RDF
12	Stefan Wils, Bart Jacobs 0002	Certifying C program correctness with respect to CompCert with VeriFast.	CoRR	2021	DBLP BibTeX RDF
12	Thom S. Badings, Nils Jansen 0001, Hasan A. Poonawala, Mariëlle Stoelinga	Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty.	CoRR	2021	DBLP BibTeX RDF
12	Wlodzimierz Drabent	On correctness and completeness of an n queens program.	CoRR	2021	DBLP BibTeX RDF
12	Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal	MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels.	CoRR	2021	DBLP BibTeX RDF
12	Yushan Zhang, Peisen Yao, Rongxin Wu, Charles Zhang	Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection.	CoRR	2021	DBLP BibTeX RDF
12	Sashank Santhanam, Behnam Hedayatnia, Spandana Gella, Aishwarya Padmakumar, Seokhwan Kim, Yang Liu 0004, Dilek Hakkani-Tur	Rome was built in 1776: A Case Study on Factual Correctness in Knowledge-Grounded Response Generation.	CoRR	2021	DBLP 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.	CoRR	2021	DBLP BibTeX RDF
12	Duc Kinh Le Tran	Riiid! Answer Correctness Prediction Kaggle Challenge: 4th Place Solution Summary.	CoRR	2021	DBLP BibTeX RDF
12	Aritra Ghosh 0001, Jay Raspat, Andrew S. Lan	Option Tracing: Beyond Correctness Analysis in Knowledge Tracing.	CoRR	2021	DBLP BibTeX RDF
12	Boubakr Nour, Soumaya Cherkaoui	How Far Can We Go in Compute-less Networking: Computation Correctness and Accuracy.	CoRR	2021	DBLP BibTeX RDF
12	Orcun Yalcin, Xiuyi Fan, Siyuan Liu	Evaluating the Correctness of Explainable AI Algorithms for Classification.	CoRR	2021	DBLP BibTeX RDF
12	Mustafa Anil Koçak, David Ramírez, Elza Erkip, Dennis E. Shasha	SafePredict: A Meta-Algorithm for Machine Learning That Uses Refusals to Guarantee Correctness.	IEEE Trans. Pattern Anal. Mach. Intell.	2021	DBLP DOI BibTeX RDF
12	Peter Schwabe, Benoît Viguier, Timmy Weerwag, Freek Wiedijk	A Coq proof of the correctness of X25519 in TweetNaCl.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
12	Javier Herranz, Ramiro Martínez, Manuel Sánchez	Shorter Lattice-based Zero-Knowledge Proofs for the Correctness of a Shuffle.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
12	Jon Haël Brenas, Arash Shaban-Nejad	Proving the Correctness of Knowledge Graph Update: A Scenario From Surveillance of Adverse Childhood Experiences.	Frontiers Big Data	2021	DBLP DOI BibTeX RDF
12	Walter Guttmann	Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
12	Pasquale Noce	A Shorter Compiler Correctness Proof for Language IMP.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
12	Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger	System correctness under adverse conditions.	it Inf. Technol.	2021	DBLP DOI BibTeX RDF
12	Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi 0002, Paola Spoletini	TOrPEDO: witnessing model correctness with topological proofs.	Formal Aspects Comput.	2021	DBLP DOI BibTeX RDF
12	John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim	Verifying correctness of persistent concurrent data structures: a sound and complete method.	Formal Aspects Comput.	2021	DBLP DOI BibTeX RDF
12	Cong Liu 0012, Qingtian Zeng, Long Cheng 0003, Hua Duan, Mengchu Zhou, Jiujun Cheng	Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns.	IEEE Trans Autom. Sci. Eng.	2021	DBLP DOI BibTeX RDF
12	Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg 0001, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault	An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.	ACM Trans. Program. Lang. Syst.	2021	DBLP DOI BibTeX RDF
12	Abu Naser Masud, Björn Lisper	Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs.	ACM Trans. Program. Lang. Syst.	2021	DBLP DOI BibTeX RDF
12	Nuria Brede, Nicola Botta	On the correctness of monadic backward induction.	J. Funct. Program.	2021	DBLP DOI BibTeX RDF