PARISSIS:2009:HAL-00380720:1

Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Revisiting the Steam-Boiler Case Study with Lutess : Modeling for Automatic Test Generation. In 12th European Workshop on Dependable Computing, Toulouse, France, 2009.

Contact

Virginia Papailiopoulou
Besnik Seljimi
Ioannis Parissis

BibTex Reference

@InProceedings{PARISSIS:2009:HAL-00380720:1,
   Author = {Papailiopoulou, Virginia and Seljimi, Besnik and Parissis, Ioannis},
   Title = {Revisiting the Steam-Boiler Case Study with {L}utess : Modeling for Automatic Test Generation},
   BookTitle = {12th European Workshop on Dependable Computing},
   Address = {Toulouse, France},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)