YOU SAID:

There are two main approaches to automated test case generated for uncovering bugs and vulnerabilities: fuzzing and concolic execution. Fuzzing is good at quickly exploring the input space, but can get stuck when trying to get past more complex conditional causes (i.e., when randomly generated inputs are unlikely to satisfy them). Concolic execution, which we saw in action earlier in the week, uses symbolic execution to uncover constraints and pass them to a solver. It can handle complex branch conditions, but it’s much slower. Hybrid fuzzers combine both coverage-guided fuzzing and concolic execution, bringing in the big guns (concolic) when the fuzzer gets stuck. In non-trivial real-world applications though, even the hybrid approach has been too slow. Until now.

INTO JAPANESE

発見のバグや脆弱性に対して生成された自動テスト _ ケースに 2 つの主なアプローチがある: ファジー化と concolic の実行。ファジー入力空間を迅速に探索が得意ですが、過去のより複雑な条件を取得しようとしたとき動けなくことができます (すなわち、ランダムに生成された入力がそれらを満たすために可能性が高い) 時に発生します。Concolic トン

BACK INTO ENGLISH

Automated tests generated for finding bugs and vulnerabilities _ case has two main approaches: fuzzing and concolic run. When the fuzzy input space exploration are good at quickly, more complex conditions in the past trying to get stuck can (i.e., Randa

INTO JAPANESE

自動テスト _ ケースのバグや脆弱性を見つけることは 2 つの主要なアプローチを生成: ファジー化と concolic を実行します。ファジィ入力宇宙探査が迅速で良いとき、スタックすることができます (すなわち、ランダを取得しようと、過去のより複雑な条件

BACK INTO ENGLISH

Automated tests _ finding cases of bugs and vulnerabilities that produces two main approaches: perform fuzzing and concolic. Can you stack the fuzzy input space exploration is a good (and trying to get IE, Landa, more complex conditions of the past

INTO JAPANESE

自動バグおよび脆弱性の例を見つける 2 つの主な方法を生成するテスト _: ファジー化および concolic を実行します。スタックをファジィ入力宇宙探査は良い (IE、ランダ、過去のより複雑な条件を取得しようとすることができます。

BACK INTO ENGLISH

Testing to generate the 2 main ways to find examples of automatic bug and vulnerability _: perform fuzzing and concolic. Stack fuzzy input space exploration is good (can be trying to get IE, Randa, past more complex conditions.

INTO JAPANESE

自動バグおよび脆弱性 _ の例を見つけること 2 つの主な方法を生成するテスト: ファジー化および concolic を実行します。スタック ファジィ入力宇宙探査が良い (より複雑な条件過去ランダ、IE を得ようとすることができます。

BACK INTO ENGLISH

Automatic bug and vulnerability _ of the test to produce two main ways to find examples: perform fuzzing and concolic. Better stacks fuzzy input space exploration (can be more complex conditions past trying to get Randa, IE.

INTO JAPANESE

自動バグおよび脆弱性の例を見つける 2 つの主な方法を生成するテスト _: ファジー化および concolic を実行します。良いスタック ファジィ入力宇宙探査 (すなわち、ランダを取得しようと過去より複雑な条件をすることができます。

BACK INTO ENGLISH

Testing to generate the 2 main ways to find examples of automatic bug and vulnerability _: perform fuzzing and concolic. Nice stack fuzzy input space exploration (i.e., Randa trying to get past more complex conditions can.

INTO JAPANESE

自動バグおよび脆弱性 _ の例を見つけること 2 つの主な方法を生成するテスト: ファジー化および concolic を実行します。素敵なスタック ファジィ入力宇宙探査 (すなわち、ランダ過去より複雑な条件にすることができますを取得しようとします。

BACK INTO ENGLISH

Automatic bug and vulnerability _ of the test to produce two main ways to find examples: perform fuzzing and concolic. Nice stack fuzzy input space exploration (i.e., Randa past more complex conditions that can try to get.

INTO JAPANESE

自動バグおよび脆弱性の例を見つける 2 つの主な方法を生成するテスト _: ファジー化および concolic を実行します。素敵なスタック ファジィ入力宇宙 (すなわちより複雑な条件を取得しようとすることができます過去のランダ。

BACK INTO ENGLISH

Testing to generate the 2 main ways to find examples of automatic bug and vulnerability _: perform fuzzing and concolic. A nice stack fuzzy input space (i.e. Randa in the past trying to get conditions more complicated and you can.

INTO JAPANESE

自動バグおよび脆弱性 _ の例を見つけること 2 つの主な方法を生成するテスト: ファジー化および concolic を実行します。素敵なスタック ファジィ入力空間 (すなわちランダとより複雑な条件を取得しようと、過去にすることができます。

BACK INTO ENGLISH

Automatic bug and vulnerability _ of the test to produce two main ways to find examples: perform fuzzing and concolic. A nice stack fuzzy input space (can be in the past and trying to get that Randa and more complex criteria.

INTO JAPANESE

自動バグおよび脆弱性の例を見つける 2 つの主な方法を生成するテスト _: ファジー化および concolic を実行します。素敵なスタック ファジィ入力スペース (過去、ランダより複雑な条件を取得しようとすることができます。

BACK INTO ENGLISH

Testing to generate the 2 main ways to find examples of automatic bug and vulnerability _: perform fuzzing and concolic. Nice stack fuzzy input space (can be and trying to get past the Netherlands more complex conditions.

INTO JAPANESE

自動バグおよび脆弱性 _ の例を見つけること 2 つの主な方法を生成するテスト: ファジー化および concolic を実行します。素敵なスタック ファジィ入力スペース (過去のオランダを取得しようとすることができますより複雑な条件。

BACK INTO ENGLISH

Automatic bug and vulnerability _ of the test to produce two main ways to find examples: perform fuzzing and concolic. Nice stack fuzzy input space (can be trying to get past the Netherlands more complex conditions.

INTO JAPANESE

自動バグおよび脆弱性の例を見つける 2 つの主な方法を生成するテスト _: ファジー化および concolic を実行します。素敵なスタック ファジィ入力スペース (オランダ過去を取得しようとすることができますより複雑な条件。

BACK INTO ENGLISH

Testing to generate the 2 main ways to find examples of automatic bug and vulnerability _: perform fuzzing and concolic. Nice stack fuzzy input space (can be trying to get past the Netherlands more complex conditions.

INTO JAPANESE

自動バグおよび脆弱性 _ の例を見つけること 2 つの主な方法を生成するテスト: ファジー化および concolic を実行します。素敵なスタック ファジィ入力スペース (オランダ過去を取得しようとすることができますより複雑な条件。

BACK INTO ENGLISH

Automatic bug and vulnerability _ of the test to produce two main ways to find examples: perform fuzzing and concolic. Nice stack fuzzy input space (can be trying to get past the Netherlands more complex conditions.

INTO JAPANESE

自動バグおよび脆弱性の例を見つける 2 つの主な方法を生成するテスト _: ファジー化および concolic を実行します。素敵なスタック ファジィ入力スペース (オランダ過去を取得しようとすることができますより複雑な条件。

BACK INTO ENGLISH

Testing to generate the 2 main ways to find examples of automatic bug and vulnerability _: perform fuzzing and concolic. Nice stack fuzzy input space (can be trying to get past the Netherlands more complex conditions.

INTO JAPANESE

自動バグおよび脆弱性 _ の例を見つけること 2 つの主な方法を生成するテスト: ファジー化および concolic を実行します。素敵なスタック ファジィ入力スペース (オランダ過去を取得しようとすることができますより複雑な条件。