CSEE/Software Engineering (1) 썸네일형 리스트형 CREST: Concolic test generation tool for C programs https://github.com/ARISE-Handong/crest/ ARISE-Handong/crest CREST-MI: a concolic testing with more user-friendly interfaces! - ARISE-Handong/crest github.com 아래의 소스코드는 triangle을 판별하는 코드이다. 이 소스코드를 CREST Concolic test generation을 이용하여 coverage를 살펴볼 것이다. #include #include #include int main() { int a = 0, b = 0, c =0 ; int match = 0 ; CREST_int(a) ; fprintf(stderr, "%d\n", a) ; CREST_int(b) ; fprin.. 이전 1 다음
