Automated workarounds from Java program specifications based on SAT solving View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2018-11

AUTHORS

Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias

ABSTRACT

The failures that bugs in software lead to can sometimes be bypassed by the so-called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to circumvent the failure. Existing approaches to workaround-based system recovery consider workarounds that are produced from equivalent method sequences, automatically computed from user-provided abstract models, or directly produced from user-provided equivalent sequences of operations. In this paper, we present two techniques for computing workarounds from Java code equipped with formal specifications, that improve previous approaches in two respects. First, the particular state where the failure originated is actively involved in computing workarounds, thus leading to repairs that are more state specific. Second, our techniques automatically compute workarounds on concrete program state characterizations, avoiding abstract software models and user-provided equivalences. The first technique uses SAT solving to compute a sequence of methods that is equivalent to a failing method on a specific failing state, but which can also be generalized to schemas for workaround reuse. The second technique directly exploits SAT to circumvent a failing method, building a state that mimics the (correct) behaviour of a failing routine, from a specific program state too. We perform an experimental evaluation based on case studies involving implementations of collections and a library for date arithmetic, showing that the techniques can effectively compute workarounds from complex contracts in an important number of cases, in time that makes them feasible to be used for run-time repairs. Our results also show that our state-specific workarounds enable us to produce repairs in many cases where previous workaround-based approaches are inapplicable. More... »

PAGES

665-688

References to SciGraph publications

  • 2013. Bounded Lazy Initialization in NASA FORMAL METHODS
  • 2005. Repairing Structurally Complex Data in MODEL CHECKING SOFTWARE
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10009-018-0503-8

    DOI

    http://dx.doi.org/10.1007/s10009-018-0503-8

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1106086550


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "National University of R\u00edo Cuarto", 
              "id": "https://www.grid.ac/institutes/grid.412226.1", 
              "name": [
                "Universidad Nacional de R\u00edo Cuarto, R\u00edo Cuarto, Argentina"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Uva", 
            "givenName": "Marcelo", 
            "id": "sg:person.013611440473.79", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013611440473.79"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "National Scientific and Technical Research Council", 
              "id": "https://www.grid.ac/institutes/grid.423606.5", 
              "name": [
                "Universidad Nacional de R\u00edo Cuarto, R\u00edo Cuarto, Argentina", 
                "Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Buenos Aires, Argentina"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Ponzio", 
            "givenName": "Pablo", 
            "id": "sg:person.010434606671.68", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010434606671.68"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "National University of R\u00edo Cuarto", 
              "id": "https://www.grid.ac/institutes/grid.412226.1", 
              "name": [
                "Universidad Nacional de R\u00edo Cuarto, R\u00edo Cuarto, Argentina"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Regis", 
            "givenName": "Germ\u00e1n", 
            "id": "sg:person.013135712517.89", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013135712517.89"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "National Scientific and Technical Research Council", 
              "id": "https://www.grid.ac/institutes/grid.423606.5", 
              "name": [
                "Universidad Nacional de R\u00edo Cuarto, R\u00edo Cuarto, Argentina", 
                "Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Buenos Aires, Argentina"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Aguirre", 
            "givenName": "Nazareno", 
            "id": "sg:person.07721422463.59", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07721422463.59"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "National Scientific and Technical Research Council", 
              "id": "https://www.grid.ac/institutes/grid.423606.5", 
              "name": [
                "Instituto Tecnol\u00f3gico de Buenos Aires (ITBA), Buenos Aires, Argentina", 
                "Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Buenos Aires, Argentina"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Frias", 
            "givenName": "Marcelo F.", 
            "id": "sg:person.016043136121.27", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016043136121.27"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/2786805.2786811", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000142676"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2771783.2771791", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012287204"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1595696.1595762", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015091359"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-38088-4_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016249839", 
              "https://doi.org/10.1007/978-3-642-38088-4_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2755970", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016267112"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1810295.1810371", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021515406"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2786805.2786825", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021986983"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2635868.2635888", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033510894"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1882291.1882327", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039816810"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11537328_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046003791", 
              "https://doi.org/10.1007/11537328_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11537328_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046003791", 
              "https://doi.org/10.1007/11537328_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1370018.1370023", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047372725"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1810295.1810333", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053626245"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tse.2013.15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061789013"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tse.2015.2389225", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061789134"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icst.2010.66", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093262808"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icse.2013.6606626", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093319771"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icse.2007.37", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094407779"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icst.2013.46", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095029152"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icse.2013.6606624", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095164389"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-11", 
        "datePublishedReg": "2018-11-01", 
        "description": "The failures that bugs in software lead to can sometimes be bypassed by the so-called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to circumvent the failure. Existing approaches to workaround-based system recovery consider workarounds that are produced from equivalent method sequences, automatically computed from user-provided abstract models, or directly produced from user-provided equivalent sequences of operations. In this paper, we present two techniques for computing workarounds from Java code equipped with formal specifications, that improve previous approaches in two respects. First, the particular state where the failure originated is actively involved in computing workarounds, thus leading to repairs that are more state specific. Second, our techniques automatically compute workarounds on concrete program state characterizations, avoiding abstract software models and user-provided equivalences. The first technique uses SAT solving to compute a sequence of methods that is equivalent to a failing method on a specific failing state, but which can also be generalized to schemas for workaround reuse. The second technique directly exploits SAT to circumvent a failing method, building a state that mimics the (correct) behaviour of a failing routine, from a specific program state too. We perform an experimental evaluation based on case studies involving implementations of collections and a library for date arithmetic, showing that the techniques can effectively compute workarounds from complex contracts in an important number of cases, in time that makes them feasible to be used for run-time repairs. Our results also show that our state-specific workarounds enable us to produce repairs in many cases where previous workaround-based approaches are inapplicable.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s10009-018-0503-8", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1052641", 
            "issn": [
              "1433-2779", 
              "1433-2787"
            ], 
            "name": "International Journal on Software Tools for Technology Transfer", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "6", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "20"
          }
        ], 
        "name": "Automated workarounds from Java program specifications based on SAT solving", 
        "pagination": "665-688", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "dee87a31fd8460c645e573190e35a14a98a374dc978192b80ec99f10ce09c328"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10009-018-0503-8"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1106086550"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10009-018-0503-8", 
          "https://app.dimensions.ai/details/publication/pub.1106086550"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-10T16:48", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8669_00000548.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://link.springer.com/10.1007%2Fs10009-018-0503-8"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s10009-018-0503-8'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s10009-018-0503-8'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10009-018-0503-8'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10009-018-0503-8'


     

    This table displays all metadata directly associated to this object as RDF triples.

    153 TRIPLES      21 PREDICATES      46 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10009-018-0503-8 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Nc53187292840442397b889e4ab552feb
    4 schema:citation sg:pub.10.1007/11537328_12
    5 sg:pub.10.1007/978-3-642-38088-4_16
    6 https://doi.org/10.1109/icse.2007.37
    7 https://doi.org/10.1109/icse.2013.6606624
    8 https://doi.org/10.1109/icse.2013.6606626
    9 https://doi.org/10.1109/icst.2010.66
    10 https://doi.org/10.1109/icst.2013.46
    11 https://doi.org/10.1109/tse.2013.15
    12 https://doi.org/10.1109/tse.2015.2389225
    13 https://doi.org/10.1145/1370018.1370023
    14 https://doi.org/10.1145/1595696.1595762
    15 https://doi.org/10.1145/1810295.1810333
    16 https://doi.org/10.1145/1810295.1810371
    17 https://doi.org/10.1145/1882291.1882327
    18 https://doi.org/10.1145/2635868.2635888
    19 https://doi.org/10.1145/2755970
    20 https://doi.org/10.1145/2771783.2771791
    21 https://doi.org/10.1145/2786805.2786811
    22 https://doi.org/10.1145/2786805.2786825
    23 schema:datePublished 2018-11
    24 schema:datePublishedReg 2018-11-01
    25 schema:description The failures that bugs in software lead to can sometimes be bypassed by the so-called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to circumvent the failure. Existing approaches to workaround-based system recovery consider workarounds that are produced from equivalent method sequences, automatically computed from user-provided abstract models, or directly produced from user-provided equivalent sequences of operations. In this paper, we present two techniques for computing workarounds from Java code equipped with formal specifications, that improve previous approaches in two respects. First, the particular state where the failure originated is actively involved in computing workarounds, thus leading to repairs that are more state specific. Second, our techniques automatically compute workarounds on concrete program state characterizations, avoiding abstract software models and user-provided equivalences. The first technique uses SAT solving to compute a sequence of methods that is equivalent to a failing method on a specific failing state, but which can also be generalized to schemas for workaround reuse. The second technique directly exploits SAT to circumvent a failing method, building a state that mimics the (correct) behaviour of a failing routine, from a specific program state too. We perform an experimental evaluation based on case studies involving implementations of collections and a library for date arithmetic, showing that the techniques can effectively compute workarounds from complex contracts in an important number of cases, in time that makes them feasible to be used for run-time repairs. Our results also show that our state-specific workarounds enable us to produce repairs in many cases where previous workaround-based approaches are inapplicable.
    26 schema:genre research_article
    27 schema:inLanguage en
    28 schema:isAccessibleForFree false
    29 schema:isPartOf N4891724589a446e7bb9ae6f42a7bfa4c
    30 N8bd7d68e93ba4f5eb0595582feb2ad7e
    31 sg:journal.1052641
    32 schema:name Automated workarounds from Java program specifications based on SAT solving
    33 schema:pagination 665-688
    34 schema:productId N4f7b5293441a48ab8f0a3fae637e1afd
    35 N6f1ebcc72d144f0989cee3f350c2a95a
    36 N7e413f0edbea4a1db810300b9ed86045
    37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1106086550
    38 https://doi.org/10.1007/s10009-018-0503-8
    39 schema:sdDatePublished 2019-04-10T16:48
    40 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    41 schema:sdPublisher N9d19ffe8f80e4d6f924e8719152d590d
    42 schema:url https://link.springer.com/10.1007%2Fs10009-018-0503-8
    43 sgo:license sg:explorer/license/
    44 sgo:sdDataset articles
    45 rdf:type schema:ScholarlyArticle
    46 N4891724589a446e7bb9ae6f42a7bfa4c schema:volumeNumber 20
    47 rdf:type schema:PublicationVolume
    48 N4f7b5293441a48ab8f0a3fae637e1afd schema:name dimensions_id
    49 schema:value pub.1106086550
    50 rdf:type schema:PropertyValue
    51 N6741fa5e1396433d9ba49c37ebfcf03c rdf:first sg:person.016043136121.27
    52 rdf:rest rdf:nil
    53 N6f1ebcc72d144f0989cee3f350c2a95a schema:name readcube_id
    54 schema:value dee87a31fd8460c645e573190e35a14a98a374dc978192b80ec99f10ce09c328
    55 rdf:type schema:PropertyValue
    56 N7e413f0edbea4a1db810300b9ed86045 schema:name doi
    57 schema:value 10.1007/s10009-018-0503-8
    58 rdf:type schema:PropertyValue
    59 N7eca470c813d4bf1989e8e965a971bba rdf:first sg:person.07721422463.59
    60 rdf:rest N6741fa5e1396433d9ba49c37ebfcf03c
    61 N84f8d4450b7e4c27a51e22dcd4b686e4 rdf:first sg:person.010434606671.68
    62 rdf:rest Nb493be19f29346a4b13a33221d29d6cf
    63 N8bd7d68e93ba4f5eb0595582feb2ad7e schema:issueNumber 6
    64 rdf:type schema:PublicationIssue
    65 N9d19ffe8f80e4d6f924e8719152d590d schema:name Springer Nature - SN SciGraph project
    66 rdf:type schema:Organization
    67 Nb493be19f29346a4b13a33221d29d6cf rdf:first sg:person.013135712517.89
    68 rdf:rest N7eca470c813d4bf1989e8e965a971bba
    69 Nc53187292840442397b889e4ab552feb rdf:first sg:person.013611440473.79
    70 rdf:rest N84f8d4450b7e4c27a51e22dcd4b686e4
    71 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    72 schema:name Information and Computing Sciences
    73 rdf:type schema:DefinedTerm
    74 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    75 schema:name Computer Software
    76 rdf:type schema:DefinedTerm
    77 sg:journal.1052641 schema:issn 1433-2779
    78 1433-2787
    79 schema:name International Journal on Software Tools for Technology Transfer
    80 rdf:type schema:Periodical
    81 sg:person.010434606671.68 schema:affiliation https://www.grid.ac/institutes/grid.423606.5
    82 schema:familyName Ponzio
    83 schema:givenName Pablo
    84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010434606671.68
    85 rdf:type schema:Person
    86 sg:person.013135712517.89 schema:affiliation https://www.grid.ac/institutes/grid.412226.1
    87 schema:familyName Regis
    88 schema:givenName Germán
    89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013135712517.89
    90 rdf:type schema:Person
    91 sg:person.013611440473.79 schema:affiliation https://www.grid.ac/institutes/grid.412226.1
    92 schema:familyName Uva
    93 schema:givenName Marcelo
    94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013611440473.79
    95 rdf:type schema:Person
    96 sg:person.016043136121.27 schema:affiliation https://www.grid.ac/institutes/grid.423606.5
    97 schema:familyName Frias
    98 schema:givenName Marcelo F.
    99 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016043136121.27
    100 rdf:type schema:Person
    101 sg:person.07721422463.59 schema:affiliation https://www.grid.ac/institutes/grid.423606.5
    102 schema:familyName Aguirre
    103 schema:givenName Nazareno
    104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07721422463.59
    105 rdf:type schema:Person
    106 sg:pub.10.1007/11537328_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046003791
    107 https://doi.org/10.1007/11537328_12
    108 rdf:type schema:CreativeWork
    109 sg:pub.10.1007/978-3-642-38088-4_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016249839
    110 https://doi.org/10.1007/978-3-642-38088-4_16
    111 rdf:type schema:CreativeWork
    112 https://doi.org/10.1109/icse.2007.37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094407779
    113 rdf:type schema:CreativeWork
    114 https://doi.org/10.1109/icse.2013.6606624 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095164389
    115 rdf:type schema:CreativeWork
    116 https://doi.org/10.1109/icse.2013.6606626 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093319771
    117 rdf:type schema:CreativeWork
    118 https://doi.org/10.1109/icst.2010.66 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093262808
    119 rdf:type schema:CreativeWork
    120 https://doi.org/10.1109/icst.2013.46 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095029152
    121 rdf:type schema:CreativeWork
    122 https://doi.org/10.1109/tse.2013.15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061789013
    123 rdf:type schema:CreativeWork
    124 https://doi.org/10.1109/tse.2015.2389225 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061789134
    125 rdf:type schema:CreativeWork
    126 https://doi.org/10.1145/1370018.1370023 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047372725
    127 rdf:type schema:CreativeWork
    128 https://doi.org/10.1145/1595696.1595762 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015091359
    129 rdf:type schema:CreativeWork
    130 https://doi.org/10.1145/1810295.1810333 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053626245
    131 rdf:type schema:CreativeWork
    132 https://doi.org/10.1145/1810295.1810371 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021515406
    133 rdf:type schema:CreativeWork
    134 https://doi.org/10.1145/1882291.1882327 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039816810
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.1145/2635868.2635888 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033510894
    137 rdf:type schema:CreativeWork
    138 https://doi.org/10.1145/2755970 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016267112
    139 rdf:type schema:CreativeWork
    140 https://doi.org/10.1145/2771783.2771791 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012287204
    141 rdf:type schema:CreativeWork
    142 https://doi.org/10.1145/2786805.2786811 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000142676
    143 rdf:type schema:CreativeWork
    144 https://doi.org/10.1145/2786805.2786825 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021986983
    145 rdf:type schema:CreativeWork
    146 https://www.grid.ac/institutes/grid.412226.1 schema:alternateName National University of Río Cuarto
    147 schema:name Universidad Nacional de Río Cuarto, Río Cuarto, Argentina
    148 rdf:type schema:Organization
    149 https://www.grid.ac/institutes/grid.423606.5 schema:alternateName National Scientific and Technical Research Council
    150 schema:name Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), Buenos Aires, Argentina
    151 Instituto Tecnológico de Buenos Aires (ITBA), Buenos Aires, Argentina
    152 Universidad Nacional de Río Cuarto, Río Cuarto, Argentina
    153 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...