Results 331 to 338 of about 2,784,953 (338)
Some of the next articles are maybe not open access.
How to check correctness of total interpretive structural models?
Annals of Operations Research, 2016Sushil
semanticscholar +1 more source
Correctness witnesses: exchanging verification results between verifiers
SIGSOFT FSE, 2016Dirk Beyer +3 more
semanticscholar +1 more source
Systematically Debugging IoT Control System Correctness for Building Automation
International Conference on Systems for Energy-Efficient Built Environments, 2016C. Liang +7 more
semanticscholar +1 more source
Fault localization for automated program repair: effectiveness, performance, repair correctness
Software quality journal, 2016F. Assiri, J. Bieman
semanticscholar +1 more source
Model synchronization based on triple graph grammars: correctness, completeness and invertibility
Journal of Software and Systems Modeling, 2015F. Hermann +7 more
semanticscholar +1 more source