저자의 연구 키워드

저자의 연구 키워드

#결함 가중치

#내장형 소프트웨어

#동적 기호 실행

#동적 심볼릭 수행

#동적 함수 관련도

#디버깅

#로직

#변이 분석

#변이 테스트

#사례 연구

#소프트웨어 테스트 자동 생성

#소프트웨어 테스팅

#심볼릭 모델링

#안드로이드 커널 모듈 테스팅

#유닛 테스트

#임베디드 소프트웨어

#자동 유닛 테스팅

#자동 테스트 케이스 생성

#자동화 테스팅

#정수 확장 버그

#정적 분석

#직렬화

#커맨드 라인 옵션

#커버리지 기반 결함 위치추정 기법

#커버리지 향상

#탐색 방법

#탐색 전략

#테스트 자동 생성

#테스트 케이스 생성 기법

#퍼징

#프로그램 변이 분석

#프로그램 변이 테스트

#프로그램 변형

#Android kernel module testing

#automated software test generation

#Automated test case generation

#automated testing

#automated unit testing

#automatic test case generation

#Bitwise 연산

#Bitwiseoperations

#Breadth First Search

#C 프로그램

#C program

#Carving

#case study

#Clang analyzer

#coincidentally correct test case

#command line option

#Concolic 테스팅

#Concolic Testing

#coverage improvement

#coverage-based fault localization

#Coverity

#CREST-BV

#CROWN 도구 개선

#CROWN tool improvement

#debugging

#dynamic function relevance

#dynamic symbolic execution

#Embedded software

#fault weight

#fuzzing

#integer promotion bug

#Java 프로그램

#java programs

#KLEE

#logic

#mutation analysis

#mutation testing

#program mutation

#Replay

#search strategy

#serialization

#software

#software testing

#Sparrow

#static analysis

#symbolic modeling

#test case generation

#unit test