Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Piya, Sanyogita"'
Autor:
Piya, Sanyogita, Sullivan, Allison
In today's society, we are becoming increasingly dependent on software systems. However, we also constantly witness the negative impacts of buggy software. Program synthesis aims to improve software correctness by automatically generating the program
Externí odkaz:
http://arxiv.org/abs/2312.04687
