UW SE Seminar (Spring 2014)
Mon 3:30pm in CSE 203
We’ll be reading and discussing exciting recent papers from the software engineering community. Participants should subscribe to the 590n mailing list. Note the list also has many current and former department members interested in programming languages.
Some paper links may point into the ACM Digital Library or the Springer online collection. Using a UW IP address, or the UW libraries’ off-campus access, should provide access.
|Apr 7||Darioush, Kivanc||Code Coverage for Suite Evaluation by Developers
Coverage Is Not Strongly Correlated with Test Suite Effectiveness
|Apr 14||Colin, Konstantin||The Dafny Integrated Development Environment|
|Apr 21||Yuriy Brun (UMass)||“Factors Affecting Success in Automatic Program Repair”|
|Apr 28||Edward||Micro Execution|
|May 5||Doug, Calvin||Toward General Diagnosis of Static Errors|
|May 12||Stuart||Prototyping Symbolic Execution Engines for Interpreted Languages|
|May 19||Pavel||Sound Input Filter Generation for Integer Overﬂow Errors|
|May 26||(none)||MEMORIAL DAY|
|Jun 2||James, Doug||Enhancing Symbolic Execution with Veritesting|