Open AccessRevisiting the Steam-Boiler Case Study with LUTESS : Modeling for Automatic Test Generation
Author(s) -
Virginia Papailiopoulou,
Besnik Seljimi,
Ioannis Parissis
Publication year - 2009
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - boiler (water heating) , computer science , test case , industrial engineering , programming language , reliability engineering , machine learning , engineering , regression analysis , waste management