An approach for modeling and detecting software performance antipatterns based on first-order logics

Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani. An approach for modeling and detecting software performance antipatterns based on first-order logics. Software and Systems Modeling, 13(1):391-432, 2014. [doi]

@article{CortellessaMT14,
  title = {An approach for modeling and detecting software performance antipatterns based on first-order logics},
  author = {Vittorio Cortellessa and Antinisca Di Marco and Catia Trubiani},
  year = {2014},
  doi = {10.1007/s10270-012-0246-z},
  url = {http://dx.doi.org/10.1007/s10270-012-0246-z},
  researchr = {https://researchr.org/publication/CortellessaMT14},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
  volume = {13},
  number = {1},
  pages = {391-432},
}