Announcement
- No class on Nov 18 (FSE @ HongKong)
Administrative Information
- Instructor: Moonzoo Kim
Office: 2434 (located at the east wing)
Phone: 042-350-3543
E-mail: moonzoo @ c s . k a i s t . a c . k r
Office hour: TBD
(reservation e-mail would be preferred)
- Teaching assistants: N/A
- Lecture hours: Tues 7-9:30 PM
- Lecture room: 3445 (E3-1)
- Prerequisite: experience in making seminars on SE topics at graduate level
- Grading: paper presentation: 60%, attendance/discussion participation: 40%
- Note: The official language in the class is 한국어.
- Questions and answers can be done through Noah BBS
Syllabus
소프트웨어 테스팅에 관련된 최근 연구 논문들을 토론하는 수업입니다. 본 수업은 1주에 1학생이 논문을 세부 디테일까지 발표하고, 나머지 학생들은 발표되는 논문에 대한 다양한 질문 및 의견을 구체적으로 토론하는 것을 목표로 합니다. 깊이 있는 토론을 위해서 최대 10명의 논문 세미나 발표 경험이 있는 소프트웨어 엔지니어링 전공 대학원 생들만 이 수업을 들을 수 있습니다. 마찬가지 이유로 본 수업은 한글로 진행합니다.
Course Material
Reading list
Concolic testing (a.k.a. dynamic symbolic execution)
- A. Arcuri et al., "Automated Unit Test Generation for Classes with Environment Dependencies", ASE, 2014
- S. Bugrara and D. Engler, "Redundant State Detection for Dynamic Symbolic Execution", USENIX ATC, 2013
- A. Filieri et al., "Statistical Symbolic Execution with Informed Sampling", FSE, 2014
- J. Jaffar et al., "Boosting Concolic Testing via Interpolation", FSE, 2013
- V. Kuznetsov et al., "Efficient State Merging in Symbolic Execution", PLDI, 2012
- W. Le, "Segmented Symbolic Analysis", ICSE, 2013
- G. Li, et al., "SymJS: Automatic Symbolic Testing of JavaScript Web Applications", FSE, 2014
- P. Marinescu and C. Cadar, "make test-zesti: A Symbolic Execution Solution for Improving Regression Testing", ICSE, 2012
- P. Marinescu and C. Cadar, "KATCH: High-coverage Testing of Software Patches", FSE, 2013
- H. Seo and S. Kim, "How We Get There: A Context-Guided Search Strategy in Concolic Testing", FSE, 2014
Concurrent program testing
- J. Arulraj, G. Jin, S. Lu: Leveraging the short-term memory of hardware of diagnose production-run software failure, ASPLOS 2014
- S. Bindal, S. Bansal and A. Lal: Variable and thread bounding for systematic testing of multithreaded Programs, ISSTA 2013
- S. Burckhardt, C. Dern, M. Musuvathi, R. Tan: Line-up: a complete and automatic linearazability checker, PLDI 2010
- Jacob Burnim, Koushik Sen, Christos Stergiou: Testing concurrent programs on relaxed memory models. ISSTA 2011
- K. E. Coons, S. Burchkardt, M. Musuvathi: GAMBIT: effective unit testing for concurrency libraries, PPOPP 2010
- D. Dimitrov, V. Raychev, M. Vechev, E. Koskinen: Commutativity race detection, PLDI 2014
- N. Honardmand, N. Dautenhahn, J. Torrellas, S. T. King, G. Pokam, C. Pereira: Cyrus: unintrusive application-level record-replay for replay parallelism, ASPLOS 2013
- K. H. Lee, D. Kim, X. Zhang: Infrastructure-free logging and replay of concurrent execution on multiple cores, ECOOP 2014
- P. Liu, J. Dolby, C. Zhang: Finding incorrect compositions of atomicity, ESEC/SIGSOFT FSE 2013
- G. Jin, A. V. Thakur, B. Liblit, S. Lu: Instrumentation and sampling strategies for cooperative concurrency bug isolation, OOPSLA 2010
- C. Radoi and D. Dig: Practical static race detection for Java parallel loops, ISSTA 2013
- O. Shacham, E. Yahav, G. Golan-Gueta, A. Aiken, N. Bronson, M. Sagiv, M. Vechev: Verifying atomicity via data independence, ISSTA 2014
Fault localization
- R. Saha et al., "Improving Bug Localization using Structured Information Retrieval", ASE, 2013
- F. Steimann et al., "Threats to the Validity and Value of Empirical Assessments of the Accuracy of Coverage-based Fault Locators", ISSTA, 2013
- R. Wu et al., "CrashLocator: Locating Crashing Faults Based on Crash Stacks", ISSTA, 2014
- J. Xuan and M. Monperrus, "Test Case Purification for Improving Fault Localization", FSE, 2014