Saturday, January 29, 2011

Congratulations to Xusheng Xiao, Xi Ge, and Kunal Taneja for 2*ICSE 2011 Demos

Out of 60 submissions, the Demonstration Track for ICSE 2011 accepted 22 submissions. Congratulations to Xusheng Xiao, Xi Ge, and Kunal Taneja for 2*ICSE 2011 Demos!

[ICSE 11 DE] Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. Covana: Precise Identification of Problems in Pex. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Demonstration, Honolulu, Hawaii, May 2011. [BibTeX]

[ICSE 11 DE] Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann. DyTa: Dynamic Symbolic Execution Guided with Static Veriļ¬cation Results. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Demonstration, Honolulu, Hawaii, May 2011. [BibTeX]

No comments:

Post a Comment