Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016
Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie
Proceedings of the International Conference on Software Engineering (Workshops) | June 2014
Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Nikolai Tillmann, Peli de Halleux, Tao Xie
MSR-TR-2011-41 | March 2011
Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016
Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie
Proceedings of the International Conference on Software Engineering (Workshops) | June 2014
Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Nikolai Tillmann, Peli de Halleux, Tao Xie
MSR-TR-2011-41 | March 2011
Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016
Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie
Proceedings of the International Conference on Software Engineering (Workshops) | June 2014
Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Nikolai Tillmann, Peli de Halleux, Tao Xie
MSR-TR-2011-41 | March 2011
Principal Research Software Engineer
