Automated test generation using model checking: an industrial evaluation View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2016-06

AUTHORS

Eduard P. Enoiu, Adnan Čaušević, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, Paul Pettersson

ABSTRACT

In software development, testers often focus on functional testing to validate implemented programs against their specifications. In safety-critical software development, testers are also required to show that tests exercise, or cover, the structure and logic of the implementation. To achieve different types of logic coverage, various program artifacts such as decisions and conditions are required to be exercised during testing. Use of model checking for structural test generation has been proposed by several researchers. The limited application to models used in practice and the state space explosion can, however, impact model checking and hence the process of deriving tests for logic coverage. Thus, there is a need to validate these approaches against relevant industrial systems such that more knowledge is built on how to efficiently use them in practice. In this paper, we present a tool-supported approach to handle software written in the Function Block Diagram language such that logic coverage criteria can be formalized and used by a model checker to automatically generate tests. To this end, we conducted a study based on industrial use-case scenarios from Bombardier Transportation AB, showing how our toolbox CompleteTest can be applied to generate tests in software systems used in the safety-critical domain. To evaluate the approach, we applied the toolbox to 157 programs and found that it is efficient in terms of time required to generate tests that satisfy logic coverage and scales well for most of the programs. More... »

PAGES

335-353

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s10009-014-0355-9

DOI

http://dx.doi.org/10.1007/s10009-014-0355-9

DIMENSIONS

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


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": "M\u00e4lardalen University", 
          "id": "https://www.grid.ac/institutes/grid.411579.f", 
          "name": [
            "M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Enoiu", 
        "givenName": "Eduard P.", 
        "id": "sg:person.07357563261.07", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07357563261.07"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "M\u00e4lardalen University", 
          "id": "https://www.grid.ac/institutes/grid.411579.f", 
          "name": [
            "M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u010cau\u0161evi\u0107", 
        "givenName": "Adnan", 
        "id": "sg:person.010663033256.34", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010663033256.34"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "Software Engineering Research Consultant, V\u00e4ster\u00e5s, Sweden"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Ostrand", 
        "givenName": "Thomas J.", 
        "id": "sg:person.013016073333.39", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013016073333.39"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "M\u00e4lardalen University", 
          "id": "https://www.grid.ac/institutes/grid.411579.f", 
          "name": [
            "M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Weyuker", 
        "givenName": "Elaine J.", 
        "id": "sg:person.015513740351.02", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015513740351.02"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Swedish Institute of Computer Science", 
          "id": "https://www.grid.ac/institutes/grid.6383.e", 
          "name": [
            "M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden", 
            "Swedish Institute of Computer Science, Stockholm, Sweden"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sundmark", 
        "givenName": "Daniel", 
        "id": "sg:person.07426467013.28", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07426467013.28"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "M\u00e4lardalen University", 
          "id": "https://www.grid.ac/institutes/grid.411579.f", 
          "name": [
            "M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Pettersson", 
        "givenName": "Paul", 
        "id": "sg:person.013270075601.38", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013270075601.38"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/978-3-642-15651-9_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000881697", 
          "https://doi.org/10.1007/978-3-642-15651-9_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-15651-9_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000881697", 
          "https://doi.org/10.1007/978-3-642-15651-9_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-48683-6_3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1001923427", 
          "https://doi.org/10.1007/3-540-48683-6_3"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-48683-6_3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1001923427", 
          "https://doi.org/10.1007/3-540-48683-6_3"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0032042", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1004078136", 
          "https://doi.org/10.1007/bfb0032042"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s100090050010", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1004370190", 
          "https://doi.org/10.1007/s100090050010"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0967-0661(98)00054-9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1008113924"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-36577-x_40", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1008152288", 
          "https://doi.org/10.1007/3-540-36577-x_40"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-36577-x_40", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1008152288", 
          "https://doi.org/10.1007/3-540-36577-x_40"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/inco.1993.1024", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1008470395"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-78917-8_3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012376245", 
          "https://doi.org/10.1007/978-3-540-78917-8_3"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-78917-8_3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012376245", 
          "https://doi.org/10.1007/978-3-540-78917-8_3"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-46002-0_23", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022615717", 
          "https://doi.org/10.1007/3-540-46002-0_23"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-46002-0_23", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022615717", 
          "https://doi.org/10.1007/3-540-46002-0_23"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-24617-6_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023145620", 
          "https://doi.org/10.1007/978-3-540-24617-6_9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-24617-6_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023145620", 
          "https://doi.org/10.1007/978-3-540-24617-6_9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.infsof.2009.01.003", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032435419"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-48166-4_10", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035282083", 
          "https://doi.org/10.1007/3-540-48166-4_10"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-48166-4_10", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035282083", 
          "https://doi.org/10.1007/3-540-48166-4_10"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1002/stvr.402", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041073432"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1002/stvr.402", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041073432"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0304-3975(00)00089-x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1045291422"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-41707-8_1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050316481", 
          "https://doi.org/10.1007/978-3-642-41707-8_1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1049/sej.1994.0025", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1056903344"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1049/sej.1994.0025", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1056903344"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/issre.2005.26", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093356027"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/icstw.2013.27", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093386215"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/ecbs.2001.922409", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093754452"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/sew.2003.1270730", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093818367"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/dasc.2000.886880", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094350312"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/icse.2013.6606556", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095657548"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/isie.2002.1026065", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098210627"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/cbo9780511809163", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098713332"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2016-06", 
    "datePublishedReg": "2016-06-01", 
    "description": "In software development, testers often focus on functional testing to validate implemented programs against their specifications. In safety-critical software development, testers are also required to show that tests exercise, or cover, the structure and logic of the implementation. To achieve different types of logic coverage, various program artifacts such as decisions and conditions are required to be exercised during testing. Use of model checking for structural test generation has been proposed by several researchers. The limited application to models used in practice and the state space explosion can, however, impact model checking and hence the process of deriving tests for logic coverage. Thus, there is a need to validate these approaches against relevant industrial systems such that more knowledge is built on how to efficiently use them in practice. In this paper, we present a tool-supported approach to handle software written in the Function Block Diagram language such that logic coverage criteria can be formalized and used by a model checker to automatically generate tests. To this end, we conducted a study based on industrial use-case scenarios from Bombardier Transportation AB, showing how our toolbox CompleteTest can be applied to generate tests in software systems used in the safety-critical domain. To evaluate the approach, we applied the toolbox to 157 programs and found that it is efficient in terms of time required to generate tests that satisfy logic coverage and scales well for most of the programs.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/s10009-014-0355-9", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": [
      {
        "id": "sg:journal.1052641", 
        "issn": [
          "1433-2779", 
          "1433-2787"
        ], 
        "name": "International Journal on Software Tools for Technology Transfer", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "3", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "18"
      }
    ], 
    "name": "Automated test generation using model checking: an industrial evaluation", 
    "pagination": "335-353", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "440cd210056a196a12fa42600ad64eedc6ae7c5579f53a248f3c2559a13239c4"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s10009-014-0355-9"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1014284416"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s10009-014-0355-9", 
      "https://app.dimensions.ai/details/publication/pub.1014284416"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-10T15:43", 
    "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_8664_00000480.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007/s10009-014-0355-9"
  }
]
 

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-014-0355-9'

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-014-0355-9'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10009-014-0355-9'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10009-014-0355-9'


 

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

184 TRIPLES      21 PREDICATES      51 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s10009-014-0355-9 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N7e71c32960f941439398ee5546580f05
4 schema:citation sg:pub.10.1007/3-540-36577-x_40
5 sg:pub.10.1007/3-540-46002-0_23
6 sg:pub.10.1007/3-540-48166-4_10
7 sg:pub.10.1007/3-540-48683-6_3
8 sg:pub.10.1007/978-3-540-24617-6_9
9 sg:pub.10.1007/978-3-540-78917-8_3
10 sg:pub.10.1007/978-3-642-15651-9_17
11 sg:pub.10.1007/978-3-642-41707-8_1
12 sg:pub.10.1007/bfb0032042
13 sg:pub.10.1007/s100090050010
14 https://doi.org/10.1002/stvr.402
15 https://doi.org/10.1006/inco.1993.1024
16 https://doi.org/10.1016/j.infsof.2009.01.003
17 https://doi.org/10.1016/s0304-3975(00)00089-x
18 https://doi.org/10.1016/s0967-0661(98)00054-9
19 https://doi.org/10.1017/cbo9780511809163
20 https://doi.org/10.1049/sej.1994.0025
21 https://doi.org/10.1109/dasc.2000.886880
22 https://doi.org/10.1109/ecbs.2001.922409
23 https://doi.org/10.1109/icse.2013.6606556
24 https://doi.org/10.1109/icstw.2013.27
25 https://doi.org/10.1109/isie.2002.1026065
26 https://doi.org/10.1109/issre.2005.26
27 https://doi.org/10.1109/sew.2003.1270730
28 schema:datePublished 2016-06
29 schema:datePublishedReg 2016-06-01
30 schema:description In software development, testers often focus on functional testing to validate implemented programs against their specifications. In safety-critical software development, testers are also required to show that tests exercise, or cover, the structure and logic of the implementation. To achieve different types of logic coverage, various program artifacts such as decisions and conditions are required to be exercised during testing. Use of model checking for structural test generation has been proposed by several researchers. The limited application to models used in practice and the state space explosion can, however, impact model checking and hence the process of deriving tests for logic coverage. Thus, there is a need to validate these approaches against relevant industrial systems such that more knowledge is built on how to efficiently use them in practice. In this paper, we present a tool-supported approach to handle software written in the Function Block Diagram language such that logic coverage criteria can be formalized and used by a model checker to automatically generate tests. To this end, we conducted a study based on industrial use-case scenarios from Bombardier Transportation AB, showing how our toolbox CompleteTest can be applied to generate tests in software systems used in the safety-critical domain. To evaluate the approach, we applied the toolbox to 157 programs and found that it is efficient in terms of time required to generate tests that satisfy logic coverage and scales well for most of the programs.
31 schema:genre research_article
32 schema:inLanguage en
33 schema:isAccessibleForFree true
34 schema:isPartOf Na2d2a61744ec4c189eff900c839988ff
35 Ne6310f6f19e84018a946fc12ad63c81c
36 sg:journal.1052641
37 schema:name Automated test generation using model checking: an industrial evaluation
38 schema:pagination 335-353
39 schema:productId N5394e4c46bfa4469aa217e1502a0f404
40 N5d8aead0719a414bb1d93dbdda371de2
41 N5ec561096ceb4ea98c6f8879d38c1a70
42 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014284416
43 https://doi.org/10.1007/s10009-014-0355-9
44 schema:sdDatePublished 2019-04-10T15:43
45 schema:sdLicense https://scigraph.springernature.com/explorer/license/
46 schema:sdPublisher Nc38eb2c21a084af3aa0e5fe38afad52b
47 schema:url http://link.springer.com/10.1007/s10009-014-0355-9
48 sgo:license sg:explorer/license/
49 sgo:sdDataset articles
50 rdf:type schema:ScholarlyArticle
51 N182adf8f7a4646dea68f1914f1aeb682 schema:name Software Engineering Research Consultant, Västerås, Sweden
52 rdf:type schema:Organization
53 N2c6efb8dbd9e4dd592018b2f87b88006 rdf:first sg:person.015513740351.02
54 rdf:rest Ncb761b50d130482082e258aa724aa113
55 N5394e4c46bfa4469aa217e1502a0f404 schema:name doi
56 schema:value 10.1007/s10009-014-0355-9
57 rdf:type schema:PropertyValue
58 N5d8aead0719a414bb1d93dbdda371de2 schema:name readcube_id
59 schema:value 440cd210056a196a12fa42600ad64eedc6ae7c5579f53a248f3c2559a13239c4
60 rdf:type schema:PropertyValue
61 N5ec561096ceb4ea98c6f8879d38c1a70 schema:name dimensions_id
62 schema:value pub.1014284416
63 rdf:type schema:PropertyValue
64 N7d4c96b02ad64adb85bc5b96ce329351 rdf:first sg:person.013016073333.39
65 rdf:rest N2c6efb8dbd9e4dd592018b2f87b88006
66 N7e71c32960f941439398ee5546580f05 rdf:first sg:person.07357563261.07
67 rdf:rest Nea0deb348b324694baf3813a9c26f6a0
68 N9a5daf1ae3ac4f23b146b51dbe367c09 rdf:first sg:person.013270075601.38
69 rdf:rest rdf:nil
70 Na2d2a61744ec4c189eff900c839988ff schema:volumeNumber 18
71 rdf:type schema:PublicationVolume
72 Nc38eb2c21a084af3aa0e5fe38afad52b schema:name Springer Nature - SN SciGraph project
73 rdf:type schema:Organization
74 Ncb761b50d130482082e258aa724aa113 rdf:first sg:person.07426467013.28
75 rdf:rest N9a5daf1ae3ac4f23b146b51dbe367c09
76 Ne6310f6f19e84018a946fc12ad63c81c schema:issueNumber 3
77 rdf:type schema:PublicationIssue
78 Nea0deb348b324694baf3813a9c26f6a0 rdf:first sg:person.010663033256.34
79 rdf:rest N7d4c96b02ad64adb85bc5b96ce329351
80 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
81 schema:name Information and Computing Sciences
82 rdf:type schema:DefinedTerm
83 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
84 schema:name Computer Software
85 rdf:type schema:DefinedTerm
86 sg:journal.1052641 schema:issn 1433-2779
87 1433-2787
88 schema:name International Journal on Software Tools for Technology Transfer
89 rdf:type schema:Periodical
90 sg:person.010663033256.34 schema:affiliation https://www.grid.ac/institutes/grid.411579.f
91 schema:familyName Čaušević
92 schema:givenName Adnan
93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010663033256.34
94 rdf:type schema:Person
95 sg:person.013016073333.39 schema:affiliation N182adf8f7a4646dea68f1914f1aeb682
96 schema:familyName Ostrand
97 schema:givenName Thomas J.
98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013016073333.39
99 rdf:type schema:Person
100 sg:person.013270075601.38 schema:affiliation https://www.grid.ac/institutes/grid.411579.f
101 schema:familyName Pettersson
102 schema:givenName Paul
103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013270075601.38
104 rdf:type schema:Person
105 sg:person.015513740351.02 schema:affiliation https://www.grid.ac/institutes/grid.411579.f
106 schema:familyName Weyuker
107 schema:givenName Elaine J.
108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015513740351.02
109 rdf:type schema:Person
110 sg:person.07357563261.07 schema:affiliation https://www.grid.ac/institutes/grid.411579.f
111 schema:familyName Enoiu
112 schema:givenName Eduard P.
113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07357563261.07
114 rdf:type schema:Person
115 sg:person.07426467013.28 schema:affiliation https://www.grid.ac/institutes/grid.6383.e
116 schema:familyName Sundmark
117 schema:givenName Daniel
118 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07426467013.28
119 rdf:type schema:Person
120 sg:pub.10.1007/3-540-36577-x_40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008152288
121 https://doi.org/10.1007/3-540-36577-x_40
122 rdf:type schema:CreativeWork
123 sg:pub.10.1007/3-540-46002-0_23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022615717
124 https://doi.org/10.1007/3-540-46002-0_23
125 rdf:type schema:CreativeWork
126 sg:pub.10.1007/3-540-48166-4_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035282083
127 https://doi.org/10.1007/3-540-48166-4_10
128 rdf:type schema:CreativeWork
129 sg:pub.10.1007/3-540-48683-6_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001923427
130 https://doi.org/10.1007/3-540-48683-6_3
131 rdf:type schema:CreativeWork
132 sg:pub.10.1007/978-3-540-24617-6_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023145620
133 https://doi.org/10.1007/978-3-540-24617-6_9
134 rdf:type schema:CreativeWork
135 sg:pub.10.1007/978-3-540-78917-8_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012376245
136 https://doi.org/10.1007/978-3-540-78917-8_3
137 rdf:type schema:CreativeWork
138 sg:pub.10.1007/978-3-642-15651-9_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000881697
139 https://doi.org/10.1007/978-3-642-15651-9_17
140 rdf:type schema:CreativeWork
141 sg:pub.10.1007/978-3-642-41707-8_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050316481
142 https://doi.org/10.1007/978-3-642-41707-8_1
143 rdf:type schema:CreativeWork
144 sg:pub.10.1007/bfb0032042 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004078136
145 https://doi.org/10.1007/bfb0032042
146 rdf:type schema:CreativeWork
147 sg:pub.10.1007/s100090050010 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004370190
148 https://doi.org/10.1007/s100090050010
149 rdf:type schema:CreativeWork
150 https://doi.org/10.1002/stvr.402 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041073432
151 rdf:type schema:CreativeWork
152 https://doi.org/10.1006/inco.1993.1024 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008470395
153 rdf:type schema:CreativeWork
154 https://doi.org/10.1016/j.infsof.2009.01.003 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032435419
155 rdf:type schema:CreativeWork
156 https://doi.org/10.1016/s0304-3975(00)00089-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1045291422
157 rdf:type schema:CreativeWork
158 https://doi.org/10.1016/s0967-0661(98)00054-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008113924
159 rdf:type schema:CreativeWork
160 https://doi.org/10.1017/cbo9780511809163 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098713332
161 rdf:type schema:CreativeWork
162 https://doi.org/10.1049/sej.1994.0025 schema:sameAs https://app.dimensions.ai/details/publication/pub.1056903344
163 rdf:type schema:CreativeWork
164 https://doi.org/10.1109/dasc.2000.886880 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094350312
165 rdf:type schema:CreativeWork
166 https://doi.org/10.1109/ecbs.2001.922409 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093754452
167 rdf:type schema:CreativeWork
168 https://doi.org/10.1109/icse.2013.6606556 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095657548
169 rdf:type schema:CreativeWork
170 https://doi.org/10.1109/icstw.2013.27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093386215
171 rdf:type schema:CreativeWork
172 https://doi.org/10.1109/isie.2002.1026065 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098210627
173 rdf:type schema:CreativeWork
174 https://doi.org/10.1109/issre.2005.26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093356027
175 rdf:type schema:CreativeWork
176 https://doi.org/10.1109/sew.2003.1270730 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093818367
177 rdf:type schema:CreativeWork
178 https://www.grid.ac/institutes/grid.411579.f schema:alternateName Mälardalen University
179 schema:name Mälardalen University, Västerås, Sweden
180 rdf:type schema:Organization
181 https://www.grid.ac/institutes/grid.6383.e schema:alternateName Swedish Institute of Computer Science
182 schema:name Mälardalen University, Västerås, Sweden
183 Swedish Institute of Computer Science, Stockholm, Sweden
184 rdf:type schema:Organization
 




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


...