TSE paper accepted: Dalal Alrajeh, Jeff Kramer, Alessandra Russo, and Sebastián Uchitel. Elaborating requirements using model checking and inductive learning.
4/12 TSE paper accepted: Dalal Alrajeh, Jeff Kramer, Alessandra Russo, and Sebastián Uchitel. Elaborating requirements using model checking and inductive learning.
Undefined
