Learning from Vacuously Satisfiable Scenario-Based Specifications

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel
Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, page 377--393 - 2012
Download the publication : Learning_from_vacuously.pdf [348Ko]  

BibTex references

@InProceedings\{AKRU12,
  author       = "Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebastian",
  title        = "Learning from Vacuously Satisfiable Scenario-Based Specifications",
  booktitle    = "Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012",
  series       = "Lecture Notes in Computer Science",
  pages        = "377--393",
  year         = "2012",
  editor       = "Juan de Lara, Andrea Zisman",
  publisher    = "Springer",
  organization = "ACM",
  url          = "http://publicaciones.dc.uba.ar/Publications/2012/AKRU12"
}

Other publications in the database

» Dalal Alrajeh
» Jeff Kramer
» Alessandra Russo
» Sebastian Uchitel