Concepedia

Javier Troya

JT

35

Publications

1.2K

Citations

20

H-Index

2010

Active since

Affiliations

Universidad de Sevilla(Current)

Universidad de Málaga

Software (Spain)

King's College London

Javier Troya is an author at Universidad de Sevilla specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware AnalysisSoftware EngineeringProgram AnalysisSoftware TestingSoftware DesignFormal VerificationSystems Engineering

Publications per year

2010–2024

35

Publications

35

On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML

Javier Cámara, Javier Troya, Antonio Vallecillo · Software & Systems Modeling · 2023 · 169 citations · Full text

Metamorphic Testing of RESTful Web APIs

Sergio Segura, José Antonio Parejo, Javier Troya et al. · IEEE Transactions on Software Engineering · 2017 · 108 citations

Engineering, Software Systems, Verification +19

Metamorphic testing of RESTful web APIs

Sergio Segura, José Antonio Parejo, Javier Troya et al. · 2018 · 72 citations

Web Architecture, Web Service Specification, Access Services +15

Uncertainty representation in software models: a survey

Javier Troya, Nathalie Moreno, Manuel F. Bertoa et al. · Software & Systems Modeling · 2021 · 67 citations · Full text

Uncertainty Management, Engineering, Uncertainty Quantification +7

Static Fault Localization in Model Transformations

Loli Burgueño, Javier Troya, Manuel Wimmer et al. · IEEE Transactions on Software Engineering · 2014 · 61 citations

Software Maintenance, Engineering, Verification +22

Rows per page

1–5 of 35