{"version":"1.0","type":"link","title":"Concolic testing - Newikis","description":"Concolic testing (a portmanteau of concrete and symbolic, also known as dynamic symbolic execution) is a hybrid software verification technique that performs symbolic execution, a classical technique that treats program variables as symbolic variables, along a concrete execution (testing on…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}