Вы здесь

Pasareanu C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Experiments with Test Case Generation and Runtime Analysis 2003 Artho C., Drusinsky D., Goldberg A., Havelund K., Lowry M., Pasareanu C., Rosu G., Visser W. Lecture Notes in Computer Science 28.03.2003
СТ Finding Feasible Counter-examples when Model Checking Abstracted Java Programs 2001 Pasareanu C., Dwyer M. B., Visser W. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.05.2001

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods: Proc./24th International Symposium, FM 2021, Virtual Event, November 2021 2021 Lecture Notes in Computer Science
  1. Huisman M.
  2. Pasareanu C.
  3. Zhan N.
20.12.2021