Остановите войну!
for scientists:
default search action
Sergio Segura
- > Home > Persons > Sergio Segura
Publications
- 2023
- [j30]Juan C. Alonso, Alberto Martin-Lopez, Sergio Segura, José María García, Antonio Ruiz-Cortés:
ARTE: Automated Generation of Realistic Test Inputs for Web APIs. IEEE Trans. Software Eng. 49(1): 348-363 (2023) - [c44]Juan C. Alonso, Sergio Segura, Antonio Ruiz-Cortés:
AGORA: Automated Generation of Test Oracles for REST APIs. ISSTA 2023: 1018-1030 - [e1]Javier Troya, Raffaela Mirandola, Elena Navarro, Andrea Delgado, Sergio Segura, Guadalupe Ortiz, Cesare Pautasso, Christian Zirpins, Pablo Fernández, Antonio Ruiz-Cortés:
Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings. Lecture Notes in Computer Science 13821, Springer 2023, ISBN 978-3-031-26506-8 [contents] - 2022
- [j28]Alberto Martin-Lopez, Sergio Segura, Carlos Müller, Antonio Ruiz-Cortés:
Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs. IEEE Trans. Serv. Comput. 15(4): 2342-2355 (2022) - [c43]Sergio Segura, Juan C. Alonso, Alberto Martin-Lopez, Amador Durán, Javier Troya, Antonio Ruiz-Cortés:
Automated Generation of Metamorphic Relations for Query-Based Systems. MET@ICSE 2022: 48-55 - [c40]Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés:
Online testing of RESTful APIs: promises and challenges. ESEC/SIGSOFT FSE 2022: 408-420 - 2021
- [c39]A. Giuliano Mirabella, Alberto Martin-Lopez, Sergio Segura, Luis Valencia-Cabrera, Antonio Ruiz-Cortés:
Deep Learning-Based Prediction of Test Input Validity for RESTful APIs. DeepTest@ICSE 2021: 9-16 - [c38]Alberto Martin-Lopez, Andrea Arcuri, Sergio Segura, Antonio Ruiz-Cortés:
Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies? ISSRE 2021: 231-241 - [c37]Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés:
RESTest: automated black-box testing of RESTful web APIs. ISSTA 2021: 682-685 - 2020
- [c36]Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés:
RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs. ICSOC 2020: 459-475 - [i2]Alberto Martin-Lopez, Sergio Segura, Carlos Müller, Antonio Ruiz-Cortés:
Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs. CoRR abs/2005.03320 (2020) - 2019
- [c33]Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz-Cortés:
Metamorphic relation patterns for query-based systems. MET@ICSE 2019: 24-31 - [c32]Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés:
A Catalogue of Inter-parameter Dependencies in RESTful Web APIs. ICSOC 2019: 399-414 - [c30]Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés:
Test coverage criteria for RESTful web APIs. A-TEST@ESEC/SIGSOFT FSE 2019: 15-21 - 2018
- [j21]Sergio Segura, Javier Troya, Amador Durán, Antonio Ruiz Cortés:
Performance metamorphic testing: A Proof of concept. Inf. Softw. Technol. 98: 1-4 (2018) - [j18]Javier Troya, Sergio Segura, Antonio Ruiz Cortés:
Automated inference of likely metamorphic relations for model transformations. J. Syst. Softw. 136: 188-208 (2018) - [j17]Javier Troya, Sergio Segura, José Antonio Parejo, Antonio Ruiz Cortés:
Spectrum-Based Fault Localization in Model Transformations. ACM Trans. Softw. Eng. Methodol. 27(3): 13:1-13:50 (2018) - [j16]Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés:
Metamorphic Testing of RESTful Web APIs. IEEE Trans. Software Eng. 44(11): 1083-1099 (2018) - [c25]Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés:
Metamorphic testing of RESTful web APIs. ICSE 2018: 882 - [i1]Javier Troya, Sergio Segura, Antonio Ruiz Cortés:
Towards the Automation of Metamorphic Testing in Model Transformations. CoRR abs/1804.11121 (2018) - 2017
- [j15]Aurora Ramírez, José Antonio Parejo, José Raúl Romero, Sergio Segura, Antonio Ruiz Cortés:
Evolutionary composition of QoS-aware web services: A many-objective perspective. Expert Syst. Appl. 72: 357-370 (2017) - [j14]Ana Belén Sánchez, Sergio Segura, José Antonio Parejo, Antonio Ruiz Cortés:
Variability testing in the wild: the Drupal case study. Softw. Syst. Model. 16(1): 173-194 (2017) - [j13]Amador Durán, David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés:
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. Softw. Syst. Model. 16(4): 1049-1082 (2017) - [c24]Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz Cortés:
A Template-Based Approach to Describing Metamorphic Relations. MET@ICSE 2017: 3-9 - [c23]Sergio Segura, Javier Troya, Amador Durán Toro, Antonio Ruiz Cortés:
Performance Metamorphic Testing: Motivation and Challenges. ICSE-NIER 2017: 7-10 - 2016
- [j11]José Antonio Parejo, Ana Belén Sánchez, Sergio Segura, Antonio Ruiz Cortés, Roberto E. Lopez-Herrejon, Alexander Egyed:
Multi-objective test case prioritization in highly configurable systems: A case study. J. Syst. Softw. 122: 287-310 (2016) - [j9]Sergio Segura, Gordon Fraser, Ana Belén Sánchez, Antonio Ruiz Cortés:
A Survey on Metamorphic Testing. IEEE Trans. Software Eng. 42(9): 805-824 (2016) - 2015
- [j7]Sergio Segura, Amador Durán, Ana Belén Sánchez, Daniel Le Berre, Emmanuel Lonca, Antonio Ruiz Cortés:
Automated metamorphic testing of variability analysis tools. Softw. Test. Verification Reliab. 25(2): 138-163 (2015) - 2014
- [j6]Sergio Segura, José Antonio Parejo, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés:
Automated generation of computationally hard feature models using evolutionary algorithms. Expert Syst. Appl. 41(8): 3975-3992 (2014) - [j5]José Antonio Parejo, Sergio Segura, Pablo Fernandez, Antonio Ruiz Cortés:
QoS-aware web services composition using GRASP with Path Relinking. Expert Syst. Appl. 41(9): 4211-4223 (2014) - [c19]Ana Belén Sánchez, Sergio Segura, Antonio Ruiz Cortés:
A Comparison of Test Case Prioritization Criteria for Software Product Lines. ICST 2014: 41-50 - [c18]Sergio Segura, Ana Belén Sánchez, Antonio Ruiz Cortés:
Automated variability analysis and testing of an E-commerce site.: an experience report. ASE 2014: 139-150 - [c17]José Antonio Parejo, Sergio Segura, Pablo Fernandez, Antonio Ruiz Cortés:
EXEMPLAR: an Experimental Information Repository for SBSE Research. CMSEBA@MoDELS 2014: 35-41 - [c16]Ana Belén Sánchez, Sergio Segura, Antonio Ruiz Cortés:
The Drupal framework: a case study to evaluate variability testing techniques. VaMoS 2014: 11:1-11:8 - 2013
- [p1]David Benavides, Pablo Trinidad, Antonio Ruiz Cortés, Sergio Segura:
FaMa. Systems and Software Variability Management 2013: 163-171 - 2012
- [c14]Sergio Segura, José Angel Galindo, David Benavides, José Antonio Parejo, Antonio Ruiz Cortés:
BeTTy: benchmarking and testing on the automated analysis of feature models. VaMoS 2012: 63-71 - 2011
- [j4]Sergio Segura, David Benavides, Antonio Ruiz Cortés:
Functional testing of feature model analysis tools: a test suite. IET Softw. 5(1): 70-82 (2011) - [j3]Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés:
Automated metamorphic testing on the analyses of feature models. Inf. Softw. Technol. 53(3): 245-258 (2011) - [j2]Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés:
Mutation testing on an object-oriented framework: An experience report. Inf. Softw. Technol. 53(10): 1124-1136 (2011) - 2010
- [j1]David Benavides, Sergio Segura, Antonio Ruiz Cortés:
Automated analysis of feature models 20 years later: A literature review. Inf. Syst. 35(6): 615-636 (2010) - [c12]Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés:
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. ICST 2010: 35-44 - 2009
- [c11]Sergio Segura, Antonio Ruiz Cortés:
Benchmarking on the Automated Analyses of Feature Models: A Preliminary Roadmap. VaMoS 2009: 137-143 - 2008
- [c10]Sergio Segura, David Benavides, Antonio Ruiz Cortés:
Functional Testing of Feature Model Analysis Tools. A First Step. SPLC (2) 2008: 179 - [c7]Pablo Trinidad, Antonio Ruiz Cortés, David Benavides, Sergio Segura:
Three-Dimensional Feature Diagrams Visualization. SPLC (2) 2008: 295-302 - [c6]Pablo Trinidad, David Benavides, Antonio Ruiz Cortés, Sergio Segura, Alberto Jimenez:
FAMA Framework. SPLC 2008: 359 - 2007
- [c5]Sergio Segura, David Benavides, Antonio Ruiz Cortés, Pablo Trinidad:
Automated Merging of Feature Models Using Graph Transformations. GTTSE 2007: 489-505 - [c4]Pablo Trinidad, David Benavides, Sergio Segura, Antonio Ruiz Cortés:
FAMA: hacia el análisis automático de modelos de características. JISBD 2007: 417-418 - [c3]David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés:
FAMA: Tooling a Framework for the Automated Analysis of Feature Models. VaMoS 2007: 129-134 - 2006
- [c2]David Benavides, Antonio Ruiz Cortés, Pablo Trinidad, Sergio Segura:
A Survey on the Automated Analyses of Feature Models. JISBD 2006: 367-376 - 2005
- [c1]David Benavides, Sergio Segura, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés:
Using Java CSP Solvers in the Automated Analyses of Feature Models. GTTSE 2005: 399-408
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint