Results 311 to 320 of about 2,493,519 (340)
Some of the next articles are maybe not open access.
Tool Support for Correctness-by-Construction
Fundamental Approaches to Software Engineering, 2019Tobias Runge +5 more
semanticscholar +1 more source
Prevalence of coincidental correctness and mitigation of its impact on fault localization
ACM Transactions on Software Engineering and Methodology, 2014Wes Masri, Rawad Abou Assi
exaly
A taxonomy of correctness criteria in database applications
VLDB Journal, 1996Krithi Ramamritham +2 more
exaly
How to check correctness of total interpretive structural models?
Annals of Operations Research, 2016Sushil
semanticscholar +1 more source
Correctness attraction: a study of stability of software behavior under runtime perturbation
Empirical Software Engineering, 2017Benoit Baudry +2 more
exaly
Correctness witnesses: exchanging verification results between verifiers
SIGSOFT FSE, 2016Dirk Beyer +3 more
semanticscholar +1 more source