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.
  • 2024

  • CS-TR-2024-426

    HETEROCOLLASIM: A HETEROGENEOUS MULTI ROBOT COLLABORATION TESTBED USING GAZEBO SIMULATION

    Deokmin Hwang, Minjae Song, Daehyung Park

    2024-2-13

    [PDF]

  • 2022

  • CS-TR-2022-425

    SVM: A Variability Modeling Tool for Software Product Line

    Younghun Han, Sungwon Kang

    2022-4-8

    [PDF]

  • 2021

  • CS-TR-2021-424

    Building a Mobile System for Facilitating Swift and Personalized Privacy Provisioning in Smartphone Sharing Situations

    Pushp, Saumay

    2021-6-28

    [PDF]

  • CS-TR-2021-423

    Causal Program Dependence Analysis and Causal Fault Localization

    Seongmin Lee, Dave Binkley, Robert Feldt, Nicolas Gold, Shin Yoo

    2021-1-8

    [PDF]

  • 2020

  • CS-TR-2020-422

    MomIseeYou: Mom, I see You Angry at Me! Designing a Mobile Service for Parent-child Interactions by In-situ Emotional Empathy

    WONJUNG KIM, SEUNGCHUL LEE, SEONGHOON KIM, SUNGBIN JO, CHUNGKUK YOO, INSEOK HWANG, SEUNGWOO KANG, JUNEHWA SONG

    2020-3-20

    [PDF]

  • CS-TR-2020-421

    Efficient Regression Testing of Software Product Lines by Reducing Redundant Test Executions

    Pilsu Jung , Sungwon Kang, Jihyun Lee

    2020-3-12

    [PDF]

  • 2019

  • CS-TR-2019-420

    An Enhanced Workload Model for Performance Evaluation of Large-Scale Social Networking Services(SNS) Systems

    Kyu-Hyun Cho, Se-Jin Kim, IlYeop Yi, Kyu-Young Whang

    2019-5-8

    [PDF]

  • 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]