Automatic generation of efficient oracles: The less-than case

Literals

• dcterms:publisher
  • Journal of Systems and Software
• dcterms:contributor
  • Javier Sanchez-Rivero, Daniel Talaván, Jose Garcia-Alonso, Antonio Ruiz-Cortés, Juan Manuel Murillo
• bibo:volume
  • 219
• bibo:doi
  • 10.1016/j.jss.2024.112203
• dcterms:creator
  • Sanchez-Rivero J.
• ou:eid
  • 2-s2.0-85203463882
• fabio:hasPublicationYear
  • 2025
• vivo:identifier
  • 2025-13
• bibo:issn
  • 0164-1212
• ou:tipoPublicacion
  • Article
• dcterms:title
  • Automatic generation of efficient oracles: The less-than case
• vcard:url
  • https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85203463882&origin=inward
• ou:urlOrcid
  • https://doi.org/10.1016/j.jss.2024.112203
• ou:urlScopus
  • https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85203463882&origin=inward
• ou:vecesCitado
  • 0

Typed Literals

• dcterms:created
  • 2025-01-01T00:00:00 (xsd:dateTime)
• ou:openaccess
  • True (xsd:boolean)

Relations

• ou:publicadaEnRevista
  • JOURNAL OF SYSTEMS AND SOFTWARE

Inverse Relations

• Has related: ou:tienePublicacion
  • JOSÉ MANUEL GARCÍA ALONSO
  • JUAN MANUEL MURILLO RODRÍGUEZ