| 24 | Change impact analysis and test case management for regression testing of object-oriented programs = 객체지향 프로그램의 회귀테스팅을 위한 수정영향분석 및 테스트케이스 관리link Jang, Yoon-Kyu; 장윤규; et al, 한국과학기술원, 2003 |
| 25 | Change impact analysis for regression testing of java software = 회귀시험을 위한 자바 소프트웨어의 수정영향 분석link Zheng, Hui-ling; 정혜령; et al, 한국과학기술원, 2008 |
| 26 | Change impact analysis of object-oriented software = 객체지향 소프트웨어의 수정 영향 분석link Jang, Yoon-Kyu; 장윤규; et al, 한국과학기술원, 1998 |
| 27 | Combining weak and strong mutation for Non-Interpretive java mutation system = 강/약 뮤테이션의 결합을 이용한 자바 프로그램 대상의 비해석 방식 뮤테이션 시스템link Kim, Sang-Woon; 김상운; et al, 한국과학기술원, 2011 |
| 28 | Consistency checking between Models in object-oriented analysis = 객체 지향 분석 모형간의 일관성 진단link Chun, Wang-Sung; 천왕성; et al, 한국과학기술원, 1997 |
| 29 | Constraints-based testing for systems specified with statecharts = Statecharts 명세를 가지는 시스템에 대한 제약 조건 기반 테스팅link Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2000 |
| 30 | Construction of integrated testing tools using attribute grammar = Attribute grammar 를 이용한 종합적인 테스팅 도구 구성에 관한 연구link Choi, Eun-Man; 최은만; et al, 한국과학기술원, 1985 |
| 31 | Design and implementation of a user interface builder = 사용자 인터페이스 구축기의 설계 및 구현link Kim, Han-Suu; 김한수; et al, 한국과학기술원, 1991 |
| 32 | Detection and removal of dead references in java using data flow analysis = 데이타 흐름 분석을 통한 자바에서의 Dead reference 검출 기법link Kim, Min-Kyoon; 김민균; et al, 한국과학기술원, 2007 |
| 33 | Diamete 가 d이고 c Vertex 연결도를 갖는 k-Regular 그래프에 관한 연구 = A study on c-connected k-Regular graphs with diameter dlink 최한영; Choi, Han-Yeong; 권용래; 좌경룡; et al, 한국과학기술원, 1987 |
| 34 | Empirical evaluation of orthogonality of inter-class mutation operators = 실험을 통한 클래스간 뮤테이션 오퍼레이터의 직교성 평가link Lee, Hyo-Jeong; 이효정; et al, 한국과학기술원, 2004 |
| 35 | Evaluation of program test methods using mutation analysis = 변형 분석법을 사용한 프로그램 테스트 기법들의 평가link Lee, Myoung-Whan; 이명환; et al, 한국과학기술원, 1985 |
| 36 | Evaluation of rapid prototyping specification approach = Rapid prototyping 에 의한 소프트웨어 명세법의 평가link Kim, Jae-Myoung; 김재명; et al, 한국과학기술원, 1985 |
| 37 | Fault-based distributed recovery block (FDRB) for switching systems = 교환시스템을 위한 결함 기반의 분산 복구 블록link Lee, Byung-Sun; 이병선; et al, 한국과학기술원, 2003 |
| 38 | Generation of an automated testing environment using OCL for enterprise components = OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경 구현link Kim, Sang-Woon; 김상운; et al, 한국과학기술원, 2002 |
| 39 | Hybrid software architecture of knowledge-based signal inspection systems = 지식 기반형 신호 진단 시스템을 위한 복합형 소프트웨어 구조link Kang, Soon-Ju; 강순주; et al, 한국과학기술원, 1995 |
| 40 | Incorporating abstraction mechanisms into a logic programming language = Logic 프로그래밍 언어에 추상화 기법을 도입하기 위한 연구link Kim, Myung-Ho; 김명호; et al, 한국과학기술원, 1986 |
| 41 | Information theoretical complexity metrics for concurrent programs = 병행 프로그램을 위한 정보이론적 복잡도 척도link Cha, Shin; 차신; et al, 한국과학기술원, 1995 |
| 42 | MAKE 프로그램의 종속 규칙에 애트리뷰트를 도입하기 위한 연구 = A study on incorporating attributes into the dependency rules for the MAKE programlink 여인준; Yeo, In-Joon; et al, 한국과학기술원, 1989 |
| 43 | Method-level mutation operators for java programs = 자바 프로그램을 위한 메소드 수준의 뮤테이션 연산자link Shin, Jong-Min; 신종민; et al, 한국과학기술원, 2006 |
| 44 | Mutation testing of object-oriented features of Java = 자바프로그램의 객체지향 특성을 대상으로 하는 뮤테이션 시험기법link Ma, Yu-Seung; 마유승; et al, 한국과학기술원, 2005 |
| 45 | On some computational structures for parallel graph algorithms = 병렬 그래프 알고리즘을 위한 계산 구조에 관한 연구link Kim, Tae-Nam; 김태남; Chwa, Kyung-Yong; Kwon, Yong-Rae; et al, 한국과학기술원, 1986 |
| 46 | Outline font representations with structured description of characters = 글자의 구조적 묘사에 따른 윤곽선 글자꼴의 표현방식link Lim, Soon-Bum; 임순범; et al, 한국과학기술원, 1992 |
| 47 | Program restructuring approaches for software maintenance = 소프트웨어 유지보수를 위한 프로그램 재구성접근 방법link Kim, Hyeon-Soo; 김현수; et al, 한국과학기술원, 1995 |
| 48 | Program slicing based on specification = 명세에 기반한 프로그램 슬라이싱link Lee, Wan-Kwon; 이완권; et al, 한국과학기술원, 2000 |
| 49 | Prolog 를 이용한 소프트웨어 요구 분석 프로그램의 구현 = Implementation of a software requirements analyzer in prologlink 최정훈; Choi, Jeong-Hun; et al, 한국과학기술원, 1987 |
| 50 | Restructuring of classes and inheritance hierarchy in object-oriented systems = 객체지향시스템에서의 클래스와 계승관계의 재구성link Chae, Heung-Seok; 채흥석; et al, 한국과학기술원, 1996 |
| 51 | Safety Verification of Ada95 Programs Using Software Fault Trees Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999 |
| 52 | Shuffle/exchanged-shuffle 네트워크에 관한 연구 = A study on shuffle/exchanged-shuffle networklink 최준수; Choi, Joon-Soo; et al, 한국과학기술원, 1986 |
| 53 | Software cost estimation for the microprocessor-embedded systems = 마이크로프로세서 내장시스템의 소프트웨어 개발비용 추정 사례연구link Kang, Kwan-Hee; 강관희; et al, 한국과학기술원, 1986 |
| 54 | Spanning tree 의 보간 성질에 관한 연구 = A study on the interpolating property of spanning treeslink 조환규; Cho, Hwan-Gue; et al, 한국과학기술원, 1986 |
| 55 | Specification and analysis of timing requirements in CBD approach using modular petri nets = 컴포넌트 기반 개발 방법론에서의 modular petri nets 를 이용한 시간 제약 사항의 명세 및 분석link Lee, Ho-Kyoung; 이호경; et al, 한국과학기술원, 2007 |
| 56 | Specification-based testing of java multithreaded programs utilizing equivalence relation on test sequences = 시험 시퀀스들의 동치 관계를 이용한 자바 다중스레드 프로그램의 명세 기반 시험기법link Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2007 |
| 57 | Stepwise verification of statecharts specification using state abstraction = 상태 추상화를 통한 Statecharts 요구명세의 단계적 검증link Oh, Seung-Uk; 오승욱; et al, 한국과학기술원, 1998 |
| 58 | Systematic software testing approaches for specification and maintenacne phases = 명세와 유지보수 단계를 위한 체계적인 소프트웨어 테스팅 접근방법link Chung, In-Sang; 정인상; et al, 한국과학기술원, 1993 |
| 59 | Task allocation based on precedence relations for distributed real-time systems = 분산 실시간 시스템에서의 선후관계를 고려한 태스크 할당link Lim, Yong-Seop; 임용섭; et al, 한국과학기술원, 1996 |
| 60 | Test case generation using dependency information derived from architecture description = 아키텍쳐 기술로부터 도출한 의존성 정보를 이용한 테스트 케이스 생성link Huh, Yu-Jin; 허유진; et al, 한국과학기술원, 2002 |
| 61 | Testing of adapted components using mutation techniques = 변용 컴포넌트를 위한 뮤테이션 테스팅 기법link Ma, Yu-Seung; 마유승; et al, 한국과학기술원, 2000 |
| 62 | Testing of web applications using state-based testing technique = 웹어플리케이션의 상태 기반 기능 시험 기법link Kang, Jae-Sung; 강제성; et al, 한국과학기술원, 2001 |
| 63 | UML / OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경 김, 상운; 마, 유승; 강, 제성; 배, 두환; 권, 용래; Kim, Sang-Woon; Ma, Yu-Seung; et al, 한국정보과학회 학술발표논문집, Vol.28, No.2, pp.553-555, 2001-10 |
| 64 | UML specification-based integration testing of software components = UML 명세에 기반한 소프트웨어 컴포넌트의 통합 테스팅 기법link Kim, Jun-San; 김준산; et al, 한국과학기술원, 2003 |
| 65 | UNIX Shell을 이용한 수행가능한 소프트웨어 명세 기법 = Executable software specification using UNIX shelllink 이성희; Lee, Sung-Hee; et al, 한국과학기술원, 1988 |
| 66 | Using model checking to generate data-flow oriented test case from statecharts = 모델 체킹을 이용한 Statecharts로부터의 자료 흐름 지향 테스트 케이스 생성 방법link Yoo, Jee-Eun; 유지은; Kwon, Yong-Rae; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
| 67 | Validation of timing and communication constraints in real-time parallel programs = 실시간 병렬 프로그램에 대한 시간 및 통신 제약 조건의 검증link Bae, Hyun-Seop; 배현섭; et al, 한국과학기술원, 1999 |
| 68 | Verification of intelligent network services by analyzing feature interactions using a petri net model = 페트리네트 모델을 사용한 서비스 상호작용 분석에 의한 지능망 서비스의 검증link Choi, Jeong-Hun; 최정훈; et al, 한국과학기술원, 2003 |
| 69 | 결함허용 프로그래밍을 지원하기 위한 Ada 언어의 확장 = Extending Ada to support fault tolerant programminglink 정석종; Cheong, Seok-Jong; et al, 한국과학기술원, 1996 |
| 70 | 고정크기 다각형의 위치문제에 대한 알고리즘 = Algorithms for the fixed-size polygon placement problemlink 조창제; Cho, Chang-Je; 권용래; 좌경룡; et al, 한국과학기술원, 1987 |
| 71 | 구조 중심형 프로그램 에디터의 구현 방안에 관한 연구 = A study on implementation scheme of a syntax-directed program editorlink 임은기; Lim, Eun-Ki; et al, 한국과학기술원, 1989 |
| 72 | 구조 지향적 에디팅 환경에서의 타입 검사 = A study on type checking in the structure-oriented editing environmentlink 김영주; Kim, Young-Ju; et al, 한국과학기술원, 1989 |
| 73 | 구조적 분석 기법을 위한 자료사전 관리도구의 설계 및 구현 = Design and implementation of a data dictionary manager for structured analysislink 백용기; Paek, Yong-Kee; et al, 한국과학기술원, 1986 |
| 74 | 구조적 분석 기법의 자동화를 위한 기초 연구 = A study on automation of structured analysis techniqueslink 김동환; Kim, Dong-Hwan; et al, 한국과학기술원, 1986 |
| 75 | 네트워크 전체에 가상 디스플레이를 제공하는 윈도우 시스템 = Design of a window system supporting network-wide virtual displaylink 윤진수; Yoon, Jin-Soo; et al, 한국과학기술원, 1988 |
| 76 | 다중 프로그램 view를 제공하기 위한 명세어의 설계 = Design of a specification language for displaying multiple views of the programlink 조영순; Cho, Young-Soon; et al, 한국과학기술원, 1989 |
| 77 | 도큐멘트 블럭 개념을 이용한 Troff 의 확장 = Extraction of troff using document block conceptslink 이유현; Lee, You-Hyun; et al, 한국과학기술원, 1988 |
| 78 | 모듈 접속 언어를 이용한 프로그램 코드의 정적 분석과 Makefile의 생성 = Static analysis of program codes and generation of makefile using module interconnection languagelink 이완권; Lee, Wan-Kwon; et al, 한국과학기술원, 1990 |
| 79 | 뮤테이션 테스팅과 자료 흐름 테스팅이 예외 상황 처리 오류를 찾아내는 강도의 실험적 비교 = Empirical comparison of strength of structural testing and mutation testing for detecting exception handling faultslink 윤혜영; Yoon, Hye-Young; et al, 한국과학기술원, 2005 |
| 80 | 병렬 수행 프로그램을 위한 정적 분석기에 관한 연구 = A study on a static analyzer for concurrent programslink 한익주; Han, Ik-Joo; et al, 한국과학기술원, 1986 |
| 81 | 병행 프로그램의 테스트 케이스 생성 방법에 관한 연구 = A study on the test-case generation for the concurrent programlink 배준수; Pae, Chun-Su; et al, 한국과학기술원, 1992 |
| 82 | 산수 학습용 시각 언어 및 그래픽 사용자 인터페이스의 설계 = Design of visual language and graphical user interface for arithmetic lessonlink 김현수; Kim, Hyeon-Soo; et al, 한국과학기술원, 1991 |
| 83 | 설계 변환에 의한 소프트웨어 재구성에 관한 연구 = A study on software restructuring by design transformationslink 김장수; Kim, Jang-Su; et al, 한국과학기술원, 1987 |
