Results 281 to 290 of about 2,493,519 (340)
Schema validation and evaluation framework for extracted schemas in JSON databases. [PDF]
Sci RepBelefqih S +3 more
europepmc +1 more source
Correctness and Relative Correctness
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015 In the process of trying to define what is a software fault, we have foundthat to formally define software faults we need to introduce the conceptof relative correctness, i.e.
Nafi Diallo +2 more
openaire +2 more sources
Engel on doxastic correctness [PDF]
SynthÈse, 2015 In this paper I discuss Pascal Engel’s recent work on doxastic correctness. I raise worries about two elements of his view—the role played in it by the distinction between i -correctness and e -correctness, and the construal of doxastic correctness as an
Conor Mchugh, Mchugh Conor
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Context-Aware Code Change Embedding for Better Patch Correctness Assessment
ACM Transactions on Software Engineering and Methodology, 2022Despite the capability in successfully fixing more and more real-world bugs, existing Automated Program Repair (APR) techniques are still challenged by the long-standing overfitting problem (i.e., a generated patch that passes all tests is actually ...
Bo Lin +3 more
semanticscholar +1 more source
DIY: Assessing the Correctness of Natural Language to SQL Systems
International Conference on Intelligent User Interfaces, 2021Designing natural language interfaces for querying databases remains an important goal pursued by researchers in natural language processing, databases, and HCI.
Arpit Narechania +3 more
semanticscholar +1 more source
Law's Ideal Dimension, 2021
The main thesis of this chapter is that law necessarily raises a claim to correctness and that this necessary connection between law and correctness implies a conceptually necessary connection between law and morality that goes beyond the scope of a ...
R. Alexy
semanticscholar +1 more source
The main thesis of this chapter is that law necessarily raises a claim to correctness and that this necessary connection between law and correctness implies a conceptually necessary connection between law and morality that goes beyond the scope of a ...
R. Alexy
semanticscholar +1 more source
Automated Patch Correctness Assessment: How Far are We?
International Conference on Automated Software Engineering, 2020Test-based automated program repair (APR) has attracted huge attention from both industry and academia. Despite the significant progress made in recent studies, the overfitting problem (i.e., the generated patch is plausible but overfitting) is still a ...
Shangwen Wang +7 more
semanticscholar +1 more source