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
arialdo /
npub1ss…rvuvu
2023-08-17 09:01:39
Author Public Key
npub1ssu2pmyzzwhkurvqv843hrfewtuz2heaua5vjayztapaaequcdwsurvuvuPublished at
2023-08-17 09:01:39Event JSON
{
"id": "601f78b87b61abb16194b98d415a5d9b5e6ab8accc48845ae2a66384f874f3aa",
"pubkey": "8438a0ec8213af6e0d8061eb1b8d3972f8255f3de768c974825f43dee41cc35d",
"created_at": 1692262899,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.online/users/arialdo/statuses/110904141373118170",
"activitypub"
]
],
"content": "TIL of a testing approach called Concolic Testing, in which \"symbolic execution is used in conjunction with an automated theorem prover\". Wow.\n\nhttps://en.wikipedia.org/wiki/Concolic_testing",
"sig": "1d2f30f013b0b0ff90c4b4b9426836b1283ff90cab144fcfe285eda0fefcc8657b2834ea25d6c5ec19fa348b19a4462494a5e04e2a2830d4ab97b0995d372121"
}