|
|
|
|
|
|
by pfdietz
171 days ago
|
|
|
One can define properties the software is supposed to have, then autonomously test for those properties (as in, initiate a process that spends arbitrary amounts of time running new tests to try to show the software fails to have those properties.) Is this not autonomous because the properties weren't created without humans being involved? How could that even be possible? |
|
|