concolic testingの概念を調べていたときに、「concrete & symbolic execution」という用語に出くわしました。(そこで言及されている記事、「CUTE: A concolic unit testing engine for C」では、抽象セクションでその用語が使用されています。)
「使用されたアプローチは、シンボリック実行と具象実行を組み合わせた以前の研究に基づいており、より具体的には、そのような組み合わせを使用してテスト入力を生成し、実行可能なすべての実行パスを探索します。」
「具体的な実行」が何を意味するのか、誰でも確認できますか?私の検索にもかかわらず、直接の引用/明示的なステートメントを見つけることができませんでした.
私が理解していることから、「具体的な実行」とは、「変数や入力などに記号値を想定する記号実行とは異なり、実際の入力値を使用してプログラムを実行すること」を意味します。私が間違っている場合は、修正してください(可能であれば小さな例で)。