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]

@inproceedings{SmitS11-0,
  title = {Automated State-Space Exploration for Configuration Management of Service-Oriented Applications},
  author = {Mike Smit and Eleni Stroulia},
  year = {2011},
  doi = {10.1109/ICWS.2011.34},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2011.34},
  researchr = {https://researchr.org/publication/SmitS11-0},
  cites = {0},
  citedby = {0},
  pages = {468-475},
  booktitle = {IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4577-0842-8},
}