Automated State-Space Exploration for Configuration Management of Service-Oriented Applications

Mike Smit, Eleni Stroulia. Automated State-Space Exploration for Configuration Management of Service-Oriented Applications. In IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011. pages 468-475, IEEE Computer Society, 2011. [doi]