Filters








368 Hits in 2.1 sec

Timed Testing with TorX [chapter]

Henrik Bohnenkamp, Axel Belinfante
<span title="">2005</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;
Finally, practical concerns with respect to timed testing are discussed.  ...  , and the concrete algorithms implemented in TorX for timed testing.  ...  We thank Conrado Daws, Ed Brinksma and Laura Brandán Briones for discussions on timed automata, tioco theory and timed testing in general.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11526841_13">doi:10.1007/11526841_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xwabijxcnffphm3bez4j4hp6eu">fatcat:xwabijxcnffphm3bez4j4hp6eu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060925155816/http://www-i2.informatik.rwth-aachen.de/pub/index.php?type=download&amp;pub_id=3&amp;location=boh_bel_fme2005.pdf-b8bf4df7f823caf0e7a905e4ba2a1c07.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/aa/09/aa0969007c42ad4beb0f870b5aedc95a89ce366b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11526841_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution [chapter]

Axel Belinfante
<span title="">2010</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;
This theory, originally presented in [12] , has been refined in [13] with test-cases that are input-enabled. For models with underspecified traces [3] introduced uioco.  ...  JTorX improves over its predecessor TorX [14] by using uioco and this newer ioco theory. By being much easier to deploy, due to improved installation, configuration and usage.  ...  Acknowledgements Our gratitude goes to Mark Timmer for helping with the testing techniques practical exercises at University of Twente, to Jan Tretmans for trying JTorX and providing feedback, and to Jaco  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-12002-2_21">doi:10.1007/978-3-642-12002-2_21</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cmf3e2q5rzabpjapwosavsqkrq">fatcat:cmf3e2q5rzabpjapwosavsqkrq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030080414/https://link.springer.com/content/pdf/10.1007%2F978-3-642-12002-2_21.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/a7/9e/a79e3c6f587fb504b7cf1feb470c620f5e9b49c9.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-12002-2_21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Automated Testing in Practice: The Highway Tolling System [chapter]

René G. de Vries, Axel Belinfante, Jan Feenstra
<span title="">2002</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
Challenges of testing the PB are the transaction speed, parallelism and encryption. We describe a methodology for automated testing and apply this methodology to test the PB.  ...  We conclude that automation of the test process is feasible and beneficial, and evaluate our techniques, theory and tools for automated testing.  ...  In this case study timing constraints, i.e. handling of time-outs, are dealt with in an ad hoc way. The ioco test theory does not offer any theory for handling time-out; neither does ToRX.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35497-2_17">doi:10.1007/978-0-387-35497-2_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7uxkflrzivfnxko5nctjw37tty">fatcat:7uxkflrzivfnxko5nctjw37tty</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030104821/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35497-2_17.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/a6/9a/a69a2ba1566efdee6a9b3b9e5a4f246901a66d90.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35497-2_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Model-based Integration and Testing Method to Reduce System Development Effort

N.C.W.M. Braspenning, J.M. van de Mortel-Fronczak, J.E. Rooda
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
realizations with respect to their requirements.  ...  New methods and techniques are needed to reduce the very costly integration and test effort (in terms of lead time, costs, resources) in the development of high-tech multi-disciplinary systems.  ...  Acknowledgements The authors would like to thank Nicola Trčka, René de Vries, and Will Denissen for their support regarding Promela, TorX and test infrastructure.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.09.003">doi:10.1016/j.entcs.2006.09.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hjggaomjgfbf3osriwuw24iucu">fatcat:hjggaomjgfbf3osriwuw24iucu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171001030953/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/9b5/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwNjAwNTAyMA%3D%3D.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/3d/ac/3dac987791ad89d8518560f9053995b0691b9147.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.09.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Formal Test Automation: The Conference Protocol with Phact [chapter]

Lex Heerink, Jan Feenstra, Jan Tretmans
<span title="">2000</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
In our previous experiment with the Conference Protocol we tested the same 28 implementations with the test tool TORX [1] .  ...  With TORX the following failure trace detects this mutant. In step 1 the local user A wants to start a conference with name conf-l via ajoin-Service-Primitive at the upper test interface UT.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35516-0_13">doi:10.1007/978-0-387-35516-0_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/47jrl4iclbcsbishx3564qlnjm">fatcat:47jrl4iclbcsbishx3564qlnjm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724212007/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35516-0_13.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/7a/46/7a465f8d498ef595717c31017bfed16f0a8bfac4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35516-0_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Formal Test Automation: The Conference Protocol with TGV/TorX [chapter]

Lydie Du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries
<span title="">2000</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
Test Execution TorX and adaptation.  ...  The time effort spent on designing and writing these 19 test purposes and generating tests was 4 hours.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35516-0_14">doi:10.1007/978-0-387-35516-0_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rahcbabrlnf6bbf67icws5ryu4">fatcat:rahcbabrlnf6bbf67icws5ryu4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180730145417/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35516-0_14.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/98/19/9819fd30fc1696573ce09cc422c928e8dd98e68f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35516-0_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Multi-stage forging on torx-pin screw with high torque

Gow-Yi Tzou, Dyi-Cheng Chen, Shih-Hsien Lin, W.-H. Hsieh
<span title="">2017</span> <i title="EDP Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4vlgvitw6fcmbay5hkyo2s2ime" style="color: black;">MATEC Web of Conferences</a> </i> &nbsp;
The study assumes constant shear friction to simulate multi-stage forging on torx-pin screw with high torque using FEM commercial software.  ...  Finally, the realistic manufacturing of torx-pin screw can be carried out to compare with the simulation results to verify the acceptance of FEM simulation.  ...  Lead time and technology development time of product design would be greatly reduced, as well as lowers the expensive on-site testing costs so as to increase the benefit of die design, reduce material  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/matecconf/201711901048">doi:10.1051/matecconf/201711901048</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tmz3hjbcsfeevfjuumdvpsw4iq">fatcat:tmz3hjbcsfeevfjuumdvpsw4iq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724104551/https://www.matec-conferences.org/articles/matecconf/pdf/2017/33/matecconf_imeti2017_01048.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/6d/0d/6d0d8c10bf29b542b566324f726ca51058ab8271.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/matecconf/201711901048"> <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>

Experimental Methods for Evaluating Components of Turbomachinery, for Use in Automotive Fuel Cell Applications

Robin Vanhaelst, Dominik Begerow, Kay Bastian Timmann, Tim Kristian Liebe
<span title="2022-02-27">2022</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kduey52ubfebzlnyz5tuez7sl4" style="color: black;">Machines</a> </i> &nbsp;
The friction test bed is modified with a new coupling solution, to ensure that the driving electric motor in combination with the shaft of the test component complies with the strict tolerances.  ...  For this, a magnetic coupling, for use in high-speed applications, is developed and tested on the friction test bed.  ...  Tests with the MTD, which is designed for rotational speeds up to 50,000 min −1 , have shown a different behavior of the shaft assembly in comparison with the torx coupling solution.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/machines10030177">doi:10.3390/machines10030177</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a7asgvhu6rg3nlmqiuu2swu2na">fatcat:a7asgvhu6rg3nlmqiuu2swu2na</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220505230101/https://mdpi-res.com/d_attachment/machines/machines-10-00177/article_deploy/machines-10-00177-v2.pdf?version=1646127632" 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/3a/a3/3aa36c0ed25cfdd3978b2e80977916b84c112421.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/machines10030177"> <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>

Formal Test Automation: A Simple Experiment [chapter]

Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe Feijs, Sjouke Mauw, Lex Heerink
<span title="">1999</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
TorX enables plugging in existing or dedicated tools.  ...  To facilitate the derivation from multiple formal description techniques and the different test execution approaches, an open, generic environment called TorX is introduced.  ...  Each implementation was tested several times: on-the-fly with different seeds, and batch-wise with 13 different test cases.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35567-2_12">doi:10.1007/978-0-387-35567-2_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bnbwpazevbb2jg7anb2ryhchea">fatcat:bnbwpazevbb2jg7anb2ryhchea</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170629193443/http://satoss.uni.lu/members/sjouke/papers/BeFe99.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/94/a2/94a26f86370e9064653bff71f972475b4eb61193.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35567-2_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Analysis of Locking Self-Taping Bone Screws for Angularly Stable Plates

Radek Čada, Karel Frydrýšek, František Sejda, Jiří Demel, Leopold Pleva
<span title="2017-06-21">2017</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jkyhfidlx5ggphgj6fhra2yyzu" style="color: black;">Journal of Medical and Biological Engineering</a> </i> &nbsp;
From the evaluation of five alternative shapes of locking cortical bone screw heads in terms of the acting stress and generated strains, it follows that the best screw is the screw with the Torx type head  ...  Based on experiments and simulations the authors recommend that all global producers of locking cortical bone screws for locking holes of angularly stable plates use the Torx type heads, and not heads  ...  Measurement of Diameter of Heads of Tested Screws with the Internal Hexagon (Inbus) The diameter of the head of each tested locking bone screw with a shank diameter of 3.5 mm from titanium alloy Ti6Al4  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s40846-017-0279-4">doi:10.1007/s40846-017-0279-4</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/28867992">pmid:28867992</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC5562784/">pmcid:PMC5562784</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zmw2r6x64vfjlklzayhl7pcycq">fatcat:zmw2r6x64vfjlklzayhl7pcycq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180729025610/https://link.springer.com/content/pdf/10.1007%2Fs40846-017-0279-4.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/c9/4f/c94f6fc63bcd10c7fc99ba9047fa7121f6cf8435.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s40846-017-0279-4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5562784" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Design of a new magnesium-based anterior cruciate ligament interference screw using finite element analysis

Jonquil R. Mau, Kevin M. Hawkins, Savio L.-Y. Woo, Kwang E. Kim, Matthew B.A. McCullough
<span title="2019-10-14">2019</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q3pxbq6c6rgrvfxbjukst7536m" style="color: black;">Journal of Orthopaedic Translation</a> </i> &nbsp;
With a four-time ​increase in drive depth to be fully driven and a 30% greater drive width, these maximum stress values were significantly decreased by more than 75%.  ...  Using finite element analysis, a comparison study of six drive designs (hexagonal, quadrangle, torx, trigonal, trilobe, and turbine) was performed.  ...  Over time, the screw can be replaced by the bone-soft tissue interface.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jot.2019.09.003">doi:10.1016/j.jot.2019.09.003</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/31908930">pmid:31908930</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC6939101/">pmcid:PMC6939101</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ghryrqssyvgqfa62m6ez3sqq2q">fatcat:ghryrqssyvgqfa62m6ez3sqq2q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200507064732/http://europepmc.org/backend/ptpmcrender.fcgi?accid=PMC6939101&amp;blobtype=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/65/23/652392b23ea1a01d665e3121deea85a507d15012.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jot.2019.09.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6939101" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

LTSmin: Distributed and Symbolic Reachability [chapter]

Stefan Blom, Jaco van de Pol, Michael Weber
<span title="">2010</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;
TORX testing tool. LTSMIN implements the TORX RPC interface ( spec 2torx), which allows test case derivation with TORX [5] for all PINS language modules.  ...  The vertical axis indicates the wall-clock time (in seconds) for symbolic reachability (using variable reordering and the chaining heuristic); the horizontal axis denotes the time taken by distributed  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-14295-6_31">doi:10.1007/978-3-642-14295-6_31</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aunfmoqinrcfrdbt5o5gwtudoy">fatcat:aunfmoqinrcfrdbt5o5gwtudoy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170815193638/https://core.ac.uk/download/pdf/11475900.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/c6/ac/c6acf96270235f40868d0f871965d9b242ed670a.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-14295-6_31"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Model-based testing areas, tools and challenges: A tertiary study

Leonardo Villalobos-Arias, Christan Quesada-López, Alexandra Martinez, Marcelo Jenkins
<span title="2019-04-01">2019</span> <i title="Centro Latino Americano de Estudios en Informatica"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nrvxq3obcffwjpp5iubxkgedxy" style="color: black;">CLEI Electronic Journal</a> </i> &nbsp;
Regarding tendencies of areas in time, we found two areas with constant activity through time, namely, test objectives and model specification.  ...  With regard to tendencies of tools, we found that tools for testing the functional behavior of software have prevailed over time.  ...  Research on MBT over time has had two strong areas with constant activity: test objectives and model specification.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.19153/cleiej.22.1.3">doi:10.19153/cleiej.22.1.3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/srosr6zt45divllqhwebsspl6y">fatcat:srosr6zt45divllqhwebsspl6y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200211004649/http://www.clei.org/cleiej/index.php/cleiej/article/download/269/355" 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/1e/e1/1ee17caeb480a67f862a19f1f4d9c8760b70c2ef.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.19153/cleiej.22.1.3"> <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>

A Novel Screw Drive for Allogenic Headless Position Screws for Use in Osteosynthesis—A Finite-Element Analysis

Sebastian Lifka, Werner Baumgartner
<span title="2021-10-01">2021</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bztg64dtlzhbxobz567tonsh7a" style="color: black;">Bioengineering</a> </i> &nbsp;
In order to prove the mechanical strength, we performed simulations of the new drive using the Finite-Element method (FEM), validated the simulations with a prototype screw, tested the novel screw drive  ...  experimentally and compared the simulations with conventional drives.  ...  Acknowledgments: The authors would like to thank Surgebright for their support and the provision with screws made of human cortical donor bone.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/bioengineering8100136">doi:10.3390/bioengineering8100136</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/34677209">pmid:34677209</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dooabh6btbglfjf3qk6visdape">fatcat:dooabh6btbglfjf3qk6visdape</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211004033847/https://mdpi-res.com/d_attachment/bioengineering/bioengineering-08-00136/article_deploy/bioengineering-08-00136.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/7c/21/7c21123f068b728cddbbfcf6d0357f9ec7e5dc9f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/bioengineering8100136"> <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>

Testing Concurrent Systems: A Formal Approach [chapter]

Jan Tretmans
<span title="">1999</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;
This framework is elaborated for labelled transition systems, providing formal definitions of conformance, test execution and test derivation.  ...  This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful.  ...  Acknowledgement Numerous people, in particular the participants in the ISO/ITU-T standardization group on "Formal Methods in Conformance Testing", the partners in the Côte de Resyste research project,  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48320-9_6">doi:10.1007/3-540-48320-9_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p5immsyol5gkxhcndk7tlb7wnq">fatcat:p5immsyol5gkxhcndk7tlb7wnq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170517180223/http://www.cis.upenn.edu:80/~lee/05cis700/papers/Tre99.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/28/44/284422c1897484f5297a0f6a39223d36a08f9704.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48320-9_6"> <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 368 results