Filters








7,813 Hits in 3.8 sec

A practical model-based statistical approach for generating functional test cases: application in the automotive industry

Roy Awedikian, Bernard Yannou
<span title="2012-08-28">2012</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qrohejli3ngofb53dnkhpougdm" style="color: black;">Software testing, verification &amp; reliability</a> </i> &nbsp;
This paper develops a Model-Based Statistical Testing (MBST) approach that automatically generates online and offline test cases for embedded software.  ...  The automatic selection of test inputs is based on a stochastic test model that accounts for the main particularity of embedded software: time sensitivity.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/stvr.1479">doi:10.1002/stvr.1479</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2lrwm2dzazc6dnhlzlk5ao2oay">fatcat:2lrwm2dzazc6dnhlzlk5ao2oay</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501200406/https://hal.archives-ouvertes.fr/hal-00748710/file/STVR_AWEDIKIAN_YANNOU_Paper.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a5/0d/a50d4a86c649faa099f88d27a6145682b115e663.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/stvr.1479"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

The first international workshop on automation of software test

Hong Zhu, Joseph R. Horgan, S. C. Cheung, J. Jenny Li
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">Proceeding of the 28th international conference on Software engineering - ICSE &#39;06</a> </i> &nbsp;
prototyping and evolutionary development methodology, component-based software development, object-oriented software development, agile and test-driven methodology, software architecture and product lines  ...  Automation is the trend of software testing. In the past decades, a great amount of research effort has been made on the automation of test case generation, test oracles and so on.  ...  prototyping and evolutionary development methodology, component-based software development, object-oriented software development, agile and test-driven methodology, software architecture and product lines  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1134285.1134487">doi:10.1145/1134285.1134487</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/ZhuHCL06.html">dblp:conf/icse/ZhuHCL06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a4k2ygfmwrbzdfbkccfjth46qq">fatcat:a4k2ygfmwrbzdfbkccfjth46qq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060826153041/http://cms.brookes.ac.uk:80/staff/HongZhu/onlinefiles/AST06Descr.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/35/5a/355ae30618f9d17a753fa15a5a9332a62082d453.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1134285.1134487"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Examination of the Possibilities for Integrated Testing of Embedded Systems

Rimantas Seinauskas
<span title="">2013</span> <i title="Science Publishing Group"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lc4vp5qeybc7ba4ppguh5jutv4" style="color: black;">American Journal of Embedded Systems and Applications</a> </i> &nbsp;
Separate testing of hardware and software of embedded systems is insufficient. Communication between hardware and software parts needs to be tested during the integrated testing.  ...  This creates the conditions for formulating a unified test generation task and a single template for the generation of tests, as well as enabling a comparison between the criteria of test generation.  ...  The quantity of product defect models can be quite large. As a result, highly abstract models of the product are used to generate tests. In this case, test generation is based on test criteria.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.11648/j.ajesa.20130101.11">doi:10.11648/j.ajesa.20130101.11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xkvfplbnkfajpfjfx7rvh3abgi">fatcat:xkvfplbnkfajpfjfx7rvh3abgi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809151023/http://article.sciencepublishinggroup.com/pdf/10.11648.j.ajesa.20130101.11.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/89/da/89da39fa2b51e95224a8379937530cfa64c2a0df.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.11648/j.ajesa.20130101.11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Semantics-based Automated Web Testing

Hai-Feng Guo, Qing Ouyang, Harvey Siy
<span title="2015-08-14">2015</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
We present TAO, a software testing tool performing automated test and oracle generation based on a semantic approach.  ...  A real-life parking website is adopted throughout the paper to demonstrate the effectivity of our semantics-based web testing approach.  ...  Acknowledgements We want to thank the anonymous referees for their valuable comments that improved the presentation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.188.7">doi:10.4204/eptcs.188.7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dlnlggjbonbtbpdgvul7wdhuye">fatcat:dlnlggjbonbtbpdgvul7wdhuye</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200924170807/https://arxiv.org/pdf/1508.03905v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/79/29/7929b6d93ec96c2a604f7c9a234bbd3d4cb89a14.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.188.7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

An Integrated Photogrammetric and Spatial Database Management System for Producing Fully Structured Data Using Aerial and Remote Sensing Images

Farshid Farnood Ahmadi, Hamid Ebadi
<span title="2009-03-30">2009</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/taedaf6aozg7vitz5dpgkojane" style="color: black;">Sensors</a> </i> &nbsp;
Finally design, implementation and test of a software package called Integrated Photogrammetric and Oracle Spatial Systems (IPOSS) is presented.  ...  This management approach is one of the main problems in GISs for using map products of photogrammetric workstations.  ...  General Test of IPOSSFor a general test of IPOSS, a 3D model of an urban area was created in PhotoMod using aerial images at a scale of 1:8,000.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s90402320">doi:10.3390/s90402320</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/22574014">pmid:22574014</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3348797/">pmcid:PMC3348797</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jbjmuzvxo5e47iujgredjli7my">fatcat:jbjmuzvxo5e47iujgredjli7my</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829012937/http://www.mdpi.com/1424-8220/9/4/2320/pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c0/36/c0364cad9df4b31f582ebaf930a7c5571383ff59.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s90402320"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3348797" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Test oracles for simulink-like models

Luciano Baresi, Marcio Delamaro, Paulo Nardi
<span title="2016-11-01">2016</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ye52j2q6jbdgzp3ouuhpljlg6q" style="color: black;">Automated Software Engineering : An International Journal</a> </i> &nbsp;
Simulink is a block diagram environment for multidomain simulation and Model-Based Design which supports system-level design, automatic code generation and continuous test of embedded systems (Mathworks  ...  oracle generators for Simulink-like models.  ...  Angle of attack The angle between the chord line of the wing of an aircraft and the vector representing the relative motion between the aircraft and the atmosphere.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10515-016-0207-9">doi:10.1007/s10515-016-0207-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d436nlhag5hpxmplx4m344fuz4">fatcat:d436nlhag5hpxmplx4m344fuz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180718233605/http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26032014-104734/publico/PauloNardi_revisada.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/89/9c898d1d98d36a75bc7d890698d021909ff95b53.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10515-016-0207-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

IT tools for the management of multi - representation geographical information

Ugo Falchi
<span title="2018-01-14">2018</span> <i title="Science Publishing Corporation"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/piy2nrvrjrfcfoz5nmre6zwa4i" style="color: black;">International Journal of Engineering &amp; Technology</a> </i> &nbsp;
The goal of this research was the creation of software tools for managing instances of a multi - representation geodatabase, able to define multiple representations and topological constraints, in relation  ...  of data: a Scheme Designer, which allows users to define the logical model and implement the physical model of an instance of Oracle; a Loader, which allows users to populate the database; a GUI, which  ...  Raffaele Santamaria, the former Director of the Department of Sciences and Technologies, University of Naples "Parthenope", for his fatherly help and scientific support of our research activities.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14419/ijet.v7i1.8810">doi:10.14419/ijet.v7i1.8810</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qmbulorby5ayfjtrwu3mf5qipe">fatcat:qmbulorby5ayfjtrwu3mf5qipe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720224647/https://www.sciencepubco.com/index.php/ijet/article/download/8810/3156" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c1/49/c149efabe3c77de86216a26f0d557b7d9ff9b9bd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14419/ijet.v7i1.8810"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Testing embedded software: A survey of the literature

Vahid Garousi, Michael Felderer, Çağrı Murat Karapıçak, Uğur Yılmaz
<span title="">2018</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/43ycbq2sebfnzi23a5qkxwni2y" style="color: black;">Information and Software Technology</a> </i> &nbsp;
Since software is a major component of embedded systems, it is very important to properly and adequately test the embedded software, especially for safety-critical domains such as automotive and aviation  ...  Conclusion: The results of this review paper have already benefitted several of our industry partners in choosing the right test techniques / approaches for their embedded software testing challenges.  ...  Type of secondary study Secondary study area Year of publication Reference SLMs Search-based testing for non- functional system properties 2008 [18] Product lines testing 2011 [19] Graphical  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.infsof.2018.06.016">doi:10.1016/j.infsof.2018.06.016</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nye7v5keuvbvdnm3qnlkkfac5e">fatcat:nye7v5keuvbvdnm3qnlkkfac5e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210428214422/http://openaccess.hacettepe.edu.tr:8080/xmlui/bitstream/handle/11655/18655/1-s2.0-S0950584918301265-main.pdf;jsessionid=CBB73B4AD93BE5EC2B4236C4E94360EC?sequence=2" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/82/71/8271f3d9a7591adbd257f233c7a45f995d2e5f4e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.infsof.2018.06.016"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Production-Driven Patch Generation and Validation [article]

Thomas Durieux, Youssef Hamadi, Martin Monperrus
<span title="2018-06-12">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We present the design and implementation of a prototype system for Java, called Itzal, that performs patch generation for uncaught exceptions in production.  ...  For this, we propose a novel program repair scheme, with the unique feature of being applicable to production directly.  ...  We have evaluated our novel technique based on 34 failures. This new line of research in automatic software repair calls for future work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1609.06848v2">arXiv:1609.06848v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oklcxt7cqjdejpccy7zkpd7tam">fatcat:oklcxt7cqjdejpccy7zkpd7tam</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191024154950/https://arxiv.org/pdf/1609.06848v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/27/6e/276e544f0ebd626327fc5e37fad8ac094c1aa747.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1609.06848v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Combinatorial Interaction Testing for Automated Constraint Repair

Angelo Gargantini, Justyna Petke, Marco Radavelli
<span title="">2017</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2vets7bfvjgrfdnvqtw7wrhqk4" style="color: black;">2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)</a> </i> &nbsp;
In this paper we extend CIT by devising a new search-based technique able to repair a model composed of a set of constraints among the various software system's parameters.  ...  Combinatorial Interaction Testing (CIT) methods are already often used to drive systematic testing of software system configurations.  ...  Ghandehari for her assistance in the use of BEN and Paolo Vavassori for help with the experiments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icstw.2017.44">doi:10.1109/icstw.2017.44</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icst/GargantiniPR17.html">dblp:conf/icst/GargantiniPR17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kx437bb3cbh5zjgjm4jlt6dd4y">fatcat:kx437bb3cbh5zjgjm4jlt6dd4y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200313045446/https://discovery.ucl.ac.uk/id/eprint/1558060/1/Petke_constraintrepair.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2c/43/2c43aec8c4a854d748ccd253c2032eca1b714d9a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icstw.2017.44"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Astraea: Grammar-based Fairness Testing [article]

Ezekiel Soremekun and Sakshi Udeshi and Sudipta Chattopadhyay
<span title="2022-01-10">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
ASTRAEA generated over 573K discriminatory test cases and found over 102K fairness violations. Furthermore, ASTRAEA improves software fairness by ~76%, via model-retraining.  ...  We propose a grammar-based fairness testing approach (called ASTRAEA) which leverages context-free grammars to generate discriminatory inputs that reveal fairness violations in software systems.  ...  This work was partially supported by the University of Luxembourg, Ezekiel Soremekun acknowledges the financial support of the Institute for Advanced Studies of the University of Luxembourg through an  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2010.02542v5">arXiv:2010.02542v5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n6ka7pbchrdczpnsgcjpomybfm">fatcat:n6ka7pbchrdczpnsgcjpomybfm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220112030730/https://arxiv.org/pdf/2010.02542v5.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/33/13/3313d6c1425d96f68c6107f640c8c385a0e5aec5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2010.02542v5" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Machine Learning Algorithm Application in Software Quality Improvement using Metrics

<span title="2019-11-22">2019</span> <i title="Blue Eyes Intelligence Engineering and Sciences Engineering and Sciences Publication - BEIESP"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/h673cvfolnhl3mnbjxkhtxdtg4" style="color: black;">International Journal of Engineering and Advanced Technology</a> </i> &nbsp;
quality metrics: product quality, in-process quality, testing quality, maintenance equality, and customer satisfaction quality.  ...  tasks could be formulated as learning problems, analyzing design and testing plays the major role and approached in terms of learning algorithms We discuss several metrics in each of five types of software  ...  The general class of software systems with no reliable test oracle available is sometimes known as "non-testable programs".  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.35940/ijeat.f1359.0986s319">doi:10.35940/ijeat.f1359.0986s319</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6np74u5jnrfyhpslzu426wdzgi">fatcat:6np74u5jnrfyhpslzu426wdzgi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191206230618/https://www.ijeat.org/wp-content/uploads/papers/v8i6S3/F13590986S319.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6f/0f/6f0f6e222239670b4d8a879329d725665f6ea93f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.35940/ijeat.f1359.0986s319"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

An integrated process for system maintenance, fault diagnosis and support

S. Ghoshal, R. Shrestha, A. Ghoshal, V. Malepati, S. Deb, K. Patripati, D. Kleinman
<span title="">1999</span> <i title="IEEE"> 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403) </i> &nbsp;
is Oracle 8.0 based).  ...  Based on the login identifier of the technician, TEAMATE obtains the user's general skill level from the user model for repairing the system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/aero.1999.789772">doi:10.1109/aero.1999.789772</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3k5mfnasxfhknlcprtriy6yxyi">fatcat:3k5mfnasxfhknlcprtriy6yxyi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808075648/http://www.maintenanceworld.com/wp-content/uploads/2013/06/anintegrated.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f4/ef/f4efea6450e796371b059ad1b563ffc43053547f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/aero.1999.789772"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Real-time Java API specifications for high coverage test generation

Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli
<span title="">2012</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/orrjj6nflfb6ppo4vulceyy4la" style="color: black;">Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES &#39;12</a> </i> &nbsp;
These specifications are used for symbolic execution when generating tests for real-time Java applications, and for oracle construction when generating tests for realtime Java library implementations.  ...  This is achieved by basing the test generation on formal verification techniques, namely the KeY system for Java source code verification.  ...  Introduction to Software Testing. Cambridge University Press, New York, NY, USA, 2008.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2388936.2388960">doi:10.1145/2388936.2388960</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/jtres/AhrendtMP12.html">dblp:conf/jtres/AhrendtMP12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4jjq2teuc5g7npg3kpsahn3ala">fatcat:4jjq2teuc5g7npg3kpsahn3ala</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170814052849/http://publications.lib.chalmers.se/records/fulltext/168847/local_168847.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/37/78/3778c8fe7e28d1e9b369144e880fd4ca0638df02.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2388936.2388960"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Hardware Supported Flexible Monitoring: Early Results [chapter]

Atonia Zhai, Guojin He, Mats P. E. Heimdahl
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Current monitoring efforts generally require extensive instrumentation of the software or dedicated hardware test rig designed to provide visibility into the software.  ...  To fully understand software's behavior, the production software must be studied in its production environment.  ...  embedded critical applications and (2) the opportunities for monitoring offered by model-based software development.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04694-0_12">doi:10.1007/978-3-642-04694-0_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tmt4xzudwfez7fkxjnf3ymjtwi">fatcat:tmt4xzudwfez7fkxjnf3ymjtwi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922015255/http://www-users.cs.umn.edu/~zhai/publications/rv09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e8/d2/e8d29544b036edaf05c35165b0e84e04abd0d5c2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04694-0_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 7,813 results