What is Nostr?
arialdo /
npub1ssu…vuvu
2023-08-17 09:01:39

arialdo on Nostr: TIL of a testing approach called Concolic Testing, in which "symbolic execution is ...

TIL of a testing approach called Concolic Testing, in which "symbolic execution is used in conjunction with an automated theorem prover". Wow.

https://en.wikipedia.org/wiki/Concolic_testing
Author Public Key
npub1ssu2pmyzzwhkurvqv843hrfewtuz2heaua5vjayztapaaequcdwsurvuvu