<div align="center">
<script async src="//pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script>
<!-- Contents -->
<ins class="adsbygoogle"
     style="display:inline-block;width:728px;height:90px"
     data-ad-client="ca-pub-1411820076951016"
     data-ad-slot="3793401480"></ins>
<script>
(adsbygoogle = window.adsbygoogle || []).push({});
</script>
</div>

Excuse the ads! We need some help to keep our site up.

<div id="google_translate_element"></div><script type="text/javascript">
function googleTranslateElementInit() {
  new google.translate.TranslateElement({pageLanguage: 'ko', layout: google.translate.TranslateElement.InlineLayout.SIMPLE, multilanguagePage: true, gaTrack: true, gaId: 'UA-92563911-1'}, 'google_translate_element');
}
</script><script type="text/javascript" src="//translate.google.com/translate_a/element.js?cb=googleTranslateElementInit"></script>

List


Concolic testing

Example

경로조건Solved
  • z의 값이 1000이 아닐 경우
((χ * 2) ≠ 1000)χ : 500 이외의 값
  • z의 값이 1000이고 y의 값이 z보다 작거나 같을 경우
((χ * 2) = 1000 , λ ≤ (χ * 2))χ : 500, λ : 1000과 같거나 작은 값
  • z의 값이 1000이고 y의 값이 z보다 클 경우
((χ * 2) = 1000, λ > (χ * 2))χ : 500, λ : 1000 보다 큰 값
#include <stdio.h>
 
void main(){
    int x,y,z;
 
    scanf("%d",&x);
    scanf("%d",&y);
 
    z = x * 2;
 
    if(z == 1000){
        if(y > z){
            printf("Nice!\n");
        }else{
            printf("Wrong!\n");
        }
    }
}

Algorithm

Limitations

Tools

Related info

<div align="center">
<script async src="//pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script>
<!-- Contents -->
<ins class="adsbygoogle"
     style="display:inline-block;width:728px;height:90px"
     data-ad-client="ca-pub-1411820076951016"
     data-ad-slot="3793401480"></ins>
<script>
(adsbygoogle = window.adsbygoogle || []).push({});
</script>
</div>