KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
[Information on Technical Report Registration]

Download the [Technical Report Form] and complete the form except the registration number.
② Submit an application to the Administration Team for School of Computing (E3-1, 1402) under the signature of a advisor.
③ Submit the TR file via email to the responsible person (stim@cs.kaist.ac.kr) and check if it has been registered on the website since.
  • 2018

  • CS-TR-2018-418

    Automated Code-based Test Selection for Software Product Line Regression Testing

    Pilsu Jung, Sungwon Kang, Jihyun Lee, Taehyun Park

    2018-8-1

    [PDF]

  • CS-TR-2018-419

    Building Social Networking Services Systems Using the Relational Shared-Nothing Parallel DBMS

    Kyu-Young Whang, Tae-Seob Yun, Jin-Ah Park, Kyu-Hyun Cho, Se-Jin Kim, Ilyeop Yi, Inju Na, Byung Suk Lee

    2018-8-1

    [PDF]

  • CS-TR-2018-417

    Basic Event Operator들을 지원하기 위한 APAM의 확장

    Ilyeop Yi, Kyu-Young Whang, Jae-Gil Lee

    2018-4-4

    [PDF]

  • CS-TR-2018-416

    Tensor Calculus in Exact Real Computation From Recursive Analysis to Abstract Data Types: A Case Study

    Chansu Park, Sewon Park, and Martin Ziegler

    2018-2-21

    [PDF]

  • CS-TR-2018-415

    Reliable Degenerate Matrix Diagonalization

    Sewon Park, Martin Ziegler

    2018-2-19

    [PDF]

  • 2017

  • CS-TR-2017-414

    CFM: Compositional Feature Model

    Sungwon Kang

    2017-12-26

    [PDF]

  • CS-TR-2017-413

    Evaluation of CAVM, Austin, and CodeScroll for Test Data Generation for C

    Junhwi Kim, Byeonghyeon You, Minhyuk Kwon, Phil McMinn, Shin Yoo

    2017-6-5

    [PDF]

  • CS-TR-2017-412

    Using Source Code Lexical Similarity to Improve Efficiency of Observation Based Slicing

    Seongmin Lee, Shin Yoo

    2017-5-16

    [PDF]

  • CS-TR-2017-411

    Subpage-based Flash Translation Layer For Solid State Drivers

    Mincheol Kang, Wonyoung Lee, Soontae Kim

    2017-4-25

    [PDF]

  • CS-TR-2017-410

    Enhancing Energy Efficiency on OLED Display Equipped Mobile Device

    BoHun Seo, Soontae Kim

    2017-4-21

    [PDF]

  • CS-TR-2017-409

    ARCHITECTURE-BASED SOFTWARE TESTING

    JIHYUN LEE, SUNGWON KANG, CHANGSUP KEUM

    2017-3-13

    [PDF]

  • CS-TR-2017-408

    Using Source Code Metrics to Improve Fault Localisation

    Jeongju Sohn, Shin Yoo

    2017-1-3

    [PDF]

  • 2016

  • CS-TR-2016-407

    Discourse-aware Semantic Analysis for Documents using a Recursive Neural Network

    Kangwook Lee, Sung-Hyon Myaeng

    2016-10-7

    [PDF]

  • CS-TR-2016-406

    Efficient Distance Sensitivity Oracles for Real-World Graph Data

    Jong-Ryul Lee, Chin-Wan Chung

    2016-9-30

    [PDF]

  • CS-TR-2016-405

    A Theoretical and Empirical Study of Diversity-aware Mutation Adequacy Criterion

    Donghwan Shin, Shin Yoo, Doo-Hwan Bae

    2016-8-22

    [PDF]

  • CS-TR-2016-404

    Application-assisted Writeback for Hadoop Clusters

    Jungi Jeong, Daewoo Lee, Seungryoul Maeng

    2016-7-5

    [PDF]

  • CS-TR-2016-403

    Search-based Approaches for Software Module-Clustering based on Multiple Relationship Factors

    Jimin Hwa, Shin Yoo, Doohwan Bae

    2016-3-25

    [PDF]

  • 2015

  • CS-TR-2015-402

    k-Connected Component Approach for Updating Betweenness Centrality (Extended Version)

    Min-Joong Lee, Chin-Wan Chung

    2015-10-15

    [PDF]

  • CS-TR-2015-400

    Practical Distance Sensitivity Oracles for Directed Graphs

    Jong-Ryul Lee, Chin-Wan Chung

    2015-8-28

    [PDF]

  • CS-TR-2015-398

    Discriminative Subgraphs for Discovering Family Photos

    Changmin Choi, YoonSeok Lee, Sung-Eui Yoon

    2015-8-20

    [PDF]