Spring 2005 CS598DM: Software Testing and Analysis

Instructor: Darko Marinov

Met TR 3:30-4:45 in 1131 SC

Course Announcement

Course Meetings

Student Papers

• Danny Dig, Can Comertoglu, Darko Marinov, and Ralph Johnson
  Automatic Detection of Refactorings for Libraries and Frameworks
  International Workshop on Object-Oriented Reengineering
  (WOOR 2005)

• Chao Liu, Xifeng Yan, Long Fei, Jiawei Han, and Samuel P. Midkiff
  SOBER: Statistical Model-based Bug Localization
  The Fifth Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering
  (ESEC/FSE 2005)

• Shan Lu, Zhenmin Li, Feng Qin, Lin Tan, Pin Zhou, and Yuanyuan Zhou
  BugBench: A Benchmark for Evaluating Bug Detection Tools
  Workshop on the Evaluation of Software Defect Detection Tools
  (BUGW 2005)

• Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, and Jennifer Hou
  Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
  The Seventh International Conference on Formal Engineering Methods
  (ICFEM 2005)