저자의 연구 키워드

저자의 연구 키워드

#거짓경보 분류

#공통데이터 모델

#기반 소프트웨어 프레임워크

#내장형 소프트웨어

#동시성 오류

#동시성 오류 탐지 도구

#로직

#머신러닝

#무기체계 소프트웨어

#무기체계 소프트웨어 참조 모델

#무기체계 소프트웨어 품질 평가

#소프트웨어 신뢰성 시험

#시험 방안

#심볼릭 모델링

#오탐

#자연어처리

#재구성 시스템

#전술작전화면 프레임워크

#정적분석도구

#정적시험

#크로스 플랫폼

#탐색 전략

#테스트 자동 생성

#품질 측정 도구

#품질 측정 메트릭

#하이퍼파라미터 최적화

#automatic test case generation

#battlefield

#BERT기반 모델

#BERT-based model

#common data model

#Concolic 테스팅

#concolic testing

#concurrency error

#cross platform

#embedded software

#false alarm classification

#false positive

#hyperparameter tuning

#large language models

#large-scale vision-language model

#LLMs

#logic

#machine learning

#machine learning-based concurrency error detector

#MVC

#natural language processing

#NSFW

#quality measurement metric

#quality measurement tool

#raster format

#reconfigurable system

#scene graph

#search strategy

#spatial reasoning

#static analysis tool

#static testing

#SW reliability testing

#symbolic modeling

#tactical operation display framework

#terrain data representation

#test method

#vector format

#visual question answering

#weapon software

#weapon system software

#weapon system software quality evaluation

#weapon system software reference model