PSI'2011
A.P. Ershov Institute of Informatics Systems
A.P. Ershov Informatics Conference

June, 27 – July, 1, 2011, Novosibirsk, Akademgorodok, Russia


Error message

  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).

Tutorial

Mining Programs
Andreas Zeller
Saarland University, Germany

A program fails. How can we locate the cause? A new generation of program analysis techniques automatically determines failure causes - in the input, in the set of code changes, or in the program state - and extracts precise descriptions of program behavior through systematic experimentation.

In contrast to "classical" static analysis, these new techniques exploit the data from multiple concrete runs - and may even generate further runs as needed. In this lecture, we explore the state of the art in automated debugging and automated specification mining, using real-life case studies such as Firefox, GCC, or AspectJ.


 

Development: xTech

© 2008-2017 IIS SB RAS

WebmasterWebmaster