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]

Abstract

Abstract is missing.