Javier Troya
Cited by
Cited by
Metamorphic testing of RESTful web APIs
S Segura, JA Parejo, J Troya, A Ruiz-Cortés
Proceedings of the 40th International Conference on Software Engineering …, 2018
UML-based cloud application modeling with libraries, profiles, and templates
A Bergmayr, J Troya Castilla, P Neubauer, M Wimmer, G Kappel
CloudMDE 2014: 2nd International Workshop on Model-Driven Engineering on and …, 2014
A rewriting logic semantics for ATL
J Troya Castilla, A Vallecillo Moreno
Journal of Object Technology, 10, 5: 1-5: 29., 2011
Static fault localization in model transformations
L Burgueno, J Troya, M Wimmer, A Vallecillo
IEEE Transactions on Software Engineering 41 (5), 490-506, 2014
Model transformation modularization as a many-objective optimization problem
M Fleck, J Troya, M Kessentini, M Wimmer, B Alkhazi
IEEE Transactions on Software Engineering 43 (11), 1009-1032, 2017
Evaluation of model transformation approaches for model refactoring
S Kolahdouz-Rahimi, K Lano, S Pillay, J Troya, P Van Gorp
Science of Computer Programming 85, 5-40, 2014
Marrying search-based optimization and model transformation technology
M Fleck, J Troya, M Wimmer
Proc. of NasBASE, 1-16, 2015
Matching business process workflows across abstraction levels
M Castelo Branco, J Troya, K Czarnecki, J Küster, H Völzer
Model Driven Engineering Languages and Systems: 15th International …, 2012
Spectrum-based fault localization in model transformations
J Troya, S Segura, JA Parejo, A Ruiz-Cortés
ACM Transactions on Software Engineering and Methodology (TOSEM) 27 (3), 1-50, 2018
Uncertainty representation in software models: a survey
J Troya, N Moreno, MF Bertoa, A Vallecillo
Software and Systems Modeling 20 (4), 1183-1213, 2021
Automated inference of likely metamorphic relations for model transformations
J Troya, S Segura, A Ruiz-Cortés
Journal of Systems and Software 136, 188-208, 2018
Towards systematic mutations for and with ATL model transformations
J Troya, A Bergmayr, L Burgueno, M Wimmer
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
A local and global tour on MOMoT
R Bill, M Fleck, J Troya, T Mayerhofer, M Wimmer
Software & Systems Modeling 18, 1017-1046, 2019
Model-driven performance analysis of rule-based domain specific visual models
J Troya, A Vallecillo, F Durán, S Zschaler
Information and Software Technology 55 (1), 88-110, 2013
Performance metamorphic testing: Motivation and challenges
S Segura, J Troya, A Durán, A Ruiz-Cortés
2017 IEEE/ACM 39th International Conference on Software Engineering: New …, 2017
Towards a rewriting logic semantics for ATL
J Troya, A Vallecillo
International Conference on Theory and Practice of Model Transformations …, 2010
The class responsibility assignment case
M Fleck, J Troya Castilla, M Wimmer
TTC 2016: 9th Transformation Tool Contest, co-located with the 2016 Software …, 2016
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML
J Cámara, J Troya, L Burgueño, A Vallecillo
Software and Systems Modeling, 1-13, 2023
Search‐based model transformations
M Fleck, J Troya, M Wimmer
Journal of Software: Evolution and Process 28 (12), 1081-1117, 2016
Search-based model transformations with MOMoT
M Fleck, J Troya, M Wimmer
Theory and Practice of Model Transformations: 9th International Conference …, 2016
The system can't perform the operation now. Try again later.
Articles 1–20