Showing results 1 to 27 of 27
(A) data flow-based structural testing technique for FBD programs = FBD 프로그램에 대한 데이터 흐름 기반의 구조적 테스팅 기법link Jee, Eun-Kyoung; 지은경; et al, 한국과학기술원, 2009 |
FBD 모델 대상 뮤테이션 연산자 정의 및 사례연구 신동환; 지은경; 배두환, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.1, pp.36 - 40, 2013-01 |
FBD 프로그램 대상 구조적 커버리지를 만족시키는 테스트 시퀀스 생성 알고리즘 송지영; 지은경; 배두환, 2015 한국컴퓨터종합학술대회, pp.570 - 572, 한국정보과학회, 2015-06 |
FBD 프로그램 대상 뮤테이션 기반 오류 위치 추정 기법의 활용 가능성 분석 신동환; 윤원경; 김준호; 지은경; 배두환, 2015 한국컴퓨터종합학술대회, pp.567 - 569, 한국정보과학회, 2015-06 |
FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구 신동환; 김준호; 윤원경; 지은경; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.22, no.3, pp.145 - 150, 2016-03 |
FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용 지은경; 송지영; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.24, no.11, pp.589 - 595, 2018-11 |
MuGenFBD: 기능 블록 다이어그램 프로그램에 대한 자동 뮤턴트 생성기![]() Lingjun Liu; 지은경; 배두환, 정보처리학회논문지. 소프트웨어 및 데이터 공학, v.10, no.4, pp.115 - 124, 2021 |
PAT 기반 반례로부터 테스트 시퀀스로의 체계적 변환 Zelalem Mihret, Belay; Lingjun, Liu; 지은경; 배두환, 2021 한국 소프트웨어공학 학술대회, 한국정보과학회, 2021-02-01 |
PLC 프로그램 테스트 자동화를 위한 테스트 시퀀스의 체계적 실행 제어 및 시뮬레이터 기반 출력 방법 은형석; Lingjun Liu; 지은경; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.29, no.3, pp.114 - 120, 2023-03 |
SCADE를 이용한 멀티 에이전트 시스템 설계 사례연구 및 분석 채철우; 신동환; 지은경; 홍광의; 배두환, 2014 한국정보과학회 제41회 정기총회 및 동계학술발표회, pp.399 - 401, 한국정보과학회, 2014-12-18 |
Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
교통 분야 시스템 오브 시스템즈 대상 SUMO의 모델링 적합성 분석 윤원경; 송지영; 지은경; 배두환, 2016년 한국컴퓨터종합학술대회 논문집, 한국정보과학회, 2016-06-30 |
군집 적응형 시스템의 목표 기반 테스트를 위한 태스크 기반 테스트 모델 적용 타당성 연구 배두환; 이정현; 지은경; 임유진, 정보과학회 컴퓨팅의 실제 논문지, v.22, no.08, pp.393 - 398, 2016-08 |
기능 블록 다이어그램에 대한 자동 뮤턴트 생성 Lingjun Liu; 지은경; 배두환, 제 22 회 한국 소프트웨어공학 학술대회 (KCSE 2020), 한국정보과학회, 2020-02-05 |
스마트 기기 자율 협업 검증 프레임워크 홍광의; 임유진; 신동환; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.454 - 456, 한국정보과학회, 2014-06-27 |
스테이트리스 컴퓨팅 환경에서의 서버리스 클러스터의 설계 정대욱; 백종문; 지은경, 2021 한국 소프트웨어공학 학술대회 (KCSE 2021), 한국정보과학회, 한국정보처리학회, 2021-02-02 |
시스템 오브 시스템즈 협업 정책 구성을 위한 상향식 기법 제안 Belay, Zelalem Mihret; 지은경; 백영민; 배두환, 제21회 한국 소프트웨어공학 학술대회, 한국정보과학회, 2019-01-30 |
실시간 모델 기반 테스트 케이스를 코드 테스트에 적용하기 위한 방법 서동원; 지은경; 배두환, 2013 한국정보과학회 제40회 정기총회 및 추계학술발표회, pp.490 - 492, 한국정보과학회, 2013-11-15 |
실시간 모델 체커를 이용한 폴트 트리의 체계적 검증 지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12 |
실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 홍광의; 지은경; 배두환, 2013 한국컴퓨터종합학술대회, pp.520 - 522, 한국정보과학회, 2013-06-26 |
실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구 홍광의; 서동원; 지은경; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.12, pp.764 - 773, 2013-12 |
원전 안전 필수 시스템 소프트웨어 대상 안전 진술 평가 사례연구 지은경; 권기춘; 이장수; 배두환, 2017년 한국컴퓨터종합학술대회, 한국정보과학회, 2017-06-19 |
의료 도메인 자가 적응형 시스템 정형 검증 사례연구 및 분석 임유진; 신동환; 지은경; 박지훈; 배두환, 2014 한국소프트웨어공학 학술대회, v.16, no.1, pp.15 - 22, 소프트웨어공학 소사이어티, 2014-02-13 |
타임드 오토마타 모델 기반 테스팅 기법 분석 김한석; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.523 - 525, 한국정보과학회, 2014-06-27 |
타임드 오토마타 모델 기반 테스팅 기법 분석 및 사례 연구 김한석; 지은경; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.21, no.2, pp.132 - 137, 2015-02 |
타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성 최진호; 지은경; 배두환, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.2, pp.90 - 94, 2013-02 |
태스크 기반 테스트 모델의 군집 적응형 시스템 적용 타당성 연구 이정현; 임유진; 지은경; 배두환, 제42회 한국정보과학회 동계학술발표회, 한국정보과확회, 2015-12-18 |
Discover