Cooperative Software Testing and Analysis

Cooperative Testing

• A lightweight code analysis and its role in evaluation of a dependability case. Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang and Daniel Jackson. ICSE 2011.
• Precise Identification of Problems for Structural Test Generation. Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux. ICSE 2011.
• NSF CAREER: Cooperative Developer Testing with Test Intentions. Tao Xie

Cooperative Static Analysis

• Interactive Synthesis of Code Snippets. Tihomir Gvero, Viktor Kuncak and Ruzica Piskac. CAV 2011. (tool)
• On Interactive Synthesis of Code Snippets. Tihomir Gvero, Viktor Kuncak and Ruzica Piskac. Tech report 2011.
  • Measuring the Effectiveness of Error Messages Designed for Novice Programmers. Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi. SIGCSE 2011.
  • Measuring the Effectiveness of Error Messages Designed for Novice Programmers. Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi. Scheme and Functional Programming 2010.
  • Explaining failures of program analyses. Daniel Von Dincklage, Amer Diwan. PLDI 2008.
  • Relational Inductive Shape Analysis Bor-Yuh Evan Chang and Xavier Rival POPL 2008.
  • End-User Program Analysis. Bor-Yuh Evan Chang.Ph.D. Dissertation. 2008.
  • Shape Analysis with Structural Invariant Checkers Bor-Yuh Evan Chang, Xavier Rival, and George C. Necula SAS 2007
  • Reengineering with Reflexion Models: A Case Study. Murphy and Notkin. Computer 1998
  • Software Reflexion Models: Bridging the Gap Between Source and High-Level Models. Murphy, Notkin, and Sullivan. FSE '95
• NSF CAREER: Cooperative Program Analysis: Bridging the Gap Between User and Tool Reasoning. Bor-Yuh Evan Chang

Cooperative Debugging

• VIDA: Visual Interactive Debugging. Dan Hao, Lingming Zhang, Lu Zhang, Jiasu Sun and Hong Mei. ICSE 2009 Demo
• Interactive Fault Localization Using Test Information. Dan Hao, Lu Zhang, Tao Xie, Hong Mei, Jia-Su Sun. JCST 2009.

Interactive Theorem Proving

• Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic, Adam Chlipala. PLDI 2011.
• Effective Interactive Proofs for Higher-Order Imperative Programs, Adam Chlipala, Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky. ICFP 2009.