Filters








5,162 Hits in 4.6 sec

Scalable testing of file system checkers

João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar
<span title="">2012</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/m52bwee6j5hgxdqcfnxtfxy5we" style="color: black;">Proceedings of the 7th ACM european conference on Computer Systems - EuroSys &#39;12</a> </i> &nbsp;
that leverages test suites of file system checkers.  ...  We present a tool and methodology for testing file system checkers that reduces the need for a specification of the recovery process and the development of a test suite.  ...  We are indebted to Vitaly Chipounov for tirelessly helping us with our use of S 2 E.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2168836.2168861">doi:10.1145/2168836.2168861</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/eurosys/CarreiraRCM12.html">dblp:conf/eurosys/CarreiraRCM12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/67wy5mzkpbdlpbloq6lgvpfgh4">fatcat:67wy5mzkpbdlpbloq6lgvpfgh4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808130605/http://www.gsd.inesc-id.pt/~rodrigo/swift_eurosys12.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/95/7e/957e02852281f686a9cae29248bd9d5d8eff937f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2168836.2168861"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Efficient Model Checking of Networked Applications [chapter]

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/noh4d7uktraolega74eilgfv5u" style="color: black;">Lecture Notes in Business Information Processing</a> </i> &nbsp;
This approach is both more portable and more scalable than other approaches, as only a single process executes inside the model checker.  ...  We propose a solution that encapsulates such operations in a caching layer that is capable of hiding redundant communication operations from the environment.  ...  Figure 3 depicts the overall architecture of the system. Let "system under test" (SUT) denote the application executing inside the model checker.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-69824-1_3">doi:10.1007/978-3-540-69824-1_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5l4gpey2vzdblos5hwt3dc5sce">fatcat:5l4gpey2vzdblos5hwt3dc5sce</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130105180637/http://staff.aist.go.jp/c.artho/papers/tools-2008.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/e4/7c/e47cf2ea090d6672007cd693c8caa40b845068de.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-540-69824-1_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Esext3 for Reducing the Effect of Harboring Bug in File System

Raza Muhammad, Basheer Riskhan
<span title="">2017</span> <i title="Scientific Research Publishing, Inc,"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/siea63ugazhotdhlrexmuoemia" style="color: black;">Journal of Software Engineering and Applications</a> </i> &nbsp;
In our proposed solution there is no need to invoke or revoke checker utility, it comes as the integrated part of file system and has the ability to check upcoming updates before harboring bug make unrecoverable  ...  In this research we focus on checksum mismatch since it occurs not only in the user data but also in file system. Our proposed solution has the ability to check this bug in file system of Linux.  ...  The Heavily-tested the file systems that was modeled by the scientists checked were and the harshness of the errors establish it emerged that model checking exertion good in the context of file systems  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4236/jsea.2017.104021">doi:10.4236/jsea.2017.104021</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/45gsv3nw4fdznehth5sc3hnwza">fatcat:45gsv3nw4fdznehth5sc3hnwza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723055149/http://file.scirp.org/pdf/JSEA_2017042717445625.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/ef/97/ef97fa4275329c445bd6d192c0cc9f42279c45d0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4236/jsea.2017.104021"> <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>

Automated, scalable debugging of MPI programs with Intel® Message Checker

Jayant DeSouza, Bob Kuhn, Bronis R. de Supinski
<span title="">2005</span> <i title="ACM Press"> Proceedings of the second international workshop on Software engineering for high performance computing system applications - SE-HPCS &#39;05 </i> &nbsp;
The trend towards many-core multi-processor systems and clusters will make systems with tens and hundreds of processors more widely available.  ...  We describe how automated tools can detect such errors and present the Intel® Message Checker (IMC) technology being developed at the Intel Advanced Computing Center.  ...  INTRODUCTION Distributed parallel cluster systems are the dominant architecture of modern HPC systems. The use of commodity hardware has led to reduced price and widespread use of clusters.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1145319.1145342">doi:10.1145/1145319.1145342</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5b5m3nyry5c5hgnya7n6zyd4ru">fatcat:5b5m3nyry5c5hgnya7n6zyd4ru</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20051124194205/http://csdl.ics.hawaii.edu:80/se-hpcs/papers/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/1e/b7/1eb785398019610648b4a3f1bc3c2f89388e7150.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1145319.1145342"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Formal Methods Group ETH Zürich

Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan
<span title="">2003</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;
In this short note we give an overview on past and ongoing projects in the context of formal methods for industrial critical systems of the Formal Methods Group of the Computer Systems Institute at ETH  ...  The replayer then produces instrumented versions of the class files which force the execution of the class files to follow the given schedule, on an arbitrary Java virtual machine.  ...  We also added a replay mechanism [3] for the diagnosis of counter-example traces. A set of Java class files is given as input together with a fixed execution schedule.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80828-4">doi:10.1016/s1571-0661(04)80828-4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xaqhtrz3nzdo5ilzejoaqpah7q">fatcat:xaqhtrz3nzdo5ilzejoaqpah7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170927084124/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/4f3/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwNDgwODI4NA%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/96/4b/964b10bd44df20729fa6717754f70d3b574a702c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80828-4"> <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>

RX-NAS: A Scalable, Reliable Clustered NAS System

Yoshiko Yasuda, Shinichi Kawamoto, Atsushi Ebata, Jun Okitsu, Tatsuo Higuchi, Naoki Hamanaka
<span title="">2005</span> <i title="Information Processing Society of Japan"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q4v5dbr74zb7rih5ti465f6yba" style="color: black;">IPSJ Digital Courier</a> </i> &nbsp;
These tests show that the RX-NAS improves system reliability while maintaining 80% of the throughput of X-NAS. IPSJ Digital Courier Jan. 2005  ...  RX-NAS (Replicated eXpandable Network-Attached Storage), a scalable, reliable clustered NAS system designed for entry-level NAS, has been developed.  ...  RX-NAS: A Scalable, Reliable Clustered NAS System  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2197/ipsjdc.1.1">doi:10.2197/ipsjdc.1.1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bmgrk37j7ngi5dnpxu3yvmvwom">fatcat:bmgrk37j7ngi5dnpxu3yvmvwom</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181101223054/https://www.jstage.jst.go.jp/article/ipsjdc/1/0/1_0_1/_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/6c/ec/6cecf71b1f1f431d8126fcc5b7b3bd6ca35aa185.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2197/ipsjdc.1.1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Pre-testing Flash Device Driver through Model Checking Techniques

Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2vets7bfvjgrfdnvqtw7wrhqk4" style="color: black;">2008 International Conference on Software Testing, Verification, and Validation</a> </i> &nbsp;
Through these verification tasks, we could successfully verify the correctness of the multi-sector read operation with both complete exploration of model checking and scalability of testing.  ...  We started the verification task with the model checkers NuSMV and Spin for an exhaustive analysis of a small size flash as a pre-testing step.  ...  checking and scalability of testing.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icst.2008.55">doi:10.1109/icst.2008.55</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icst/KimCKK08.html">dblp:conf/icst/KimCKK08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3djbktuy6bexlewtw4fp46ins4">fatcat:3djbktuy6bexlewtw4fp46ins4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809073512/http://swtv.kaist.ac.kr/publications/icst08_verification_onenand.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/e3/7f/e37fea9fcd53e8cfc5cb6df5009fcbfaedc60e7f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icst.2008.55"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Scalable hybrid verification for embedded software

Jörg Behrend, D Lettnin, P Heckeler, J Ruf, T Kropf, W Rosenstiel
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qjrrvry5ubgdlarkymvlxuip6m" style="color: black;">2011 Design, Automation &amp; Test in Europe</a> </i> &nbsp;
This work presents a new scalable and extendable hybrid verification approach for the verification of temporal properties in embedded software with hardware dependencies using for the first time a new  ...  The results show that our approach scales better than stand-alone software model checkers to reach deep state spaces.  ...  We would like to thank NEC Electronic (Europe) GmbH for providing an example component of ESW.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2011.5763039">doi:10.1109/date.2011.5763039</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/date/BehrendLHRKR11.html">dblp:conf/date/BehrendLHRKR11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/skickcenofetbmiwtizlinw4pq">fatcat:skickcenofetbmiwtizlinw4pq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830153424/https://www.computer.org/web/csdl/index/-/csdl/proceedings/date/2011/4208/00/05763039.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/8a/c68a31804c3b152def582ad6c56870632effca60.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2011.5763039"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Design and implementation of Acceptance Monitor for building intrusion tolerant systems

Rong Wang, Feiyi Wang, Gregory T. Byrd
<span title="">2003</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/afve5b3tavbfzch46mdtazbqla" style="color: black;">Software, Practice &amp; Experience</a> </i> &nbsp;
This paper presents our work on applying one important fault tolerance technique, acceptance testing, for building scalable intrusion tolerant systems.  ...  Various acceptance testing modules are implemented to show the effectiveness of the proposed approach.  ...  Validation checker: Validation checker also uses reasonableness test measures on the response. The validation checker has a reasonable range of each field of an HTTP header.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/spe.554">doi:10.1002/spe.554</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vix4tqyvlfdihccl5yrabqflna">fatcat:vix4tqyvlfdihccl5yrabqflna</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809125055/http://users.nccs.gov/~fwang2/papers/accept_spe.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/6e/fb/6efbad672153166c96ab1ca4db9025c61cee9973.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/spe.554"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

D3.5 Scalability and Robustness testing report V2

Javier D. Fernández, Piero Bonatti, Uros Milosevic, Jonathan Langens
<span title="2021-03-05">2021</span> <i title="Zenodo"> Zenodo </i> &nbsp;
The aim of this deliverable is to test the scalability and robustness of the SPECIAL platform such that the results can be used to inform future releases of the platform.  ...  It also offers an update over the previous release by reflecting on (i) a new evaluation on a larger cluster consisting of 10 nodes, which (ii) considers the latest release of the platform.  ...  The benchmark should be flexible enough to test the capabilities of the deployed system and its scalability.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.4585924">doi:10.5281/zenodo.4585924</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bjph5tgmezh6rglbp54t2elsou">fatcat:bjph5tgmezh6rglbp54t2elsou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210310225621/https://zenodo.org/record/4585925/files/SPECIAL_D3.5_M27_V1.0.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/5c/7c5cfb419dad00b9276c1f88ba377e475c1503b3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.4585924"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

A Scalable Approach for Hardware Semiformal Verification [article]

Tomas Grimm, Djones Lettnin, Michael Hübner
<span title="2018-01-22">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This work focuses on the verification of complex systems at the RT level to handle the hardware peculiarities.  ...  The current verification flow of complex systems uses different engines synergistically: virtual prototyping, formal verification, simulation, emulation and FPGA prototyping.  ...  Although both are scalable, they cannot cover every possible test case.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1801.08446v1">arXiv:1801.08446v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jsxcvqgtljewfknydqfmlmzucq">fatcat:jsxcvqgtljewfknydqfmlmzucq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191020190939/https://arxiv.org/pdf/1801.08446v1.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/d6/e5/d6e51387e8794539a8498a237b3b309deb95f8a0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1801.08446v1" 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>

Increasing virtual machine security in cloud environments

Roland Schwarzkopf, Matthias Schmidt, Christian Strack, Simon Martin, Bernd Freisleben
<span title="">2012</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t5xopidd6nfk7cgyceba77n2xe" style="color: black;">Journal of Cloud Computing: Advances, Systems and Applications</a> </i> &nbsp;
The Update Checker presented in this article identifies outdated software packages in virtual machines, regardless if the virtual machine is running or dormant on disk.  ...  The proposed Online Penetration Suite performs pre-rollout scans of virtual machines for security vulnerabilities using established techniques and prevents execution of flawed virtual machines.  ...  Acknowledgements This work is partly supported by the German Ministry of Education and Research (BMBF) (D-Grid Initiative and HPC-Call) and the Hessian Ministry of Science and Art (HMWK).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/2192-113x-1-12">doi:10.1186/2192-113x-1-12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rne5zzvwxrhxrddljinvrojtbi">fatcat:rne5zzvwxrhxrddljinvrojtbi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811071633/https://journalofcloudcomputing.springeropen.com/track/pdf/10.1186/2192-113X-1-12?site=journalofcloudcomputing.springeropen.com" 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/a4/6fa421caad0e55c05205692758559869e493e096.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/2192-113x-1-12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

Practical pluggable types for java

Matthew M. Papi, Mahmood Ali, Telmo Luis Correa, Jeff H. Perkins, Michael D. Ernst
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5ttq32n6ujhkxfb7h22ytvohp4" style="color: black;">Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA &#39;08</a> </i> &nbsp;
The checkers found real errors, then confirmed the absence of further errors in the fixed code.  ...  The Checker Framework is well-integrated with the Java language and toolset. We have evaluated the Checker Framework by writing five checkers and running them on over 600K lines of existing code.  ...  Jaime Quinonez created the Annotation File Utilities. Thanks to my coauthors for their work on Practical pluggable types for Java [44] , which has formed the basis of Chapters 4-6 of this thesis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1390630.1390656">doi:10.1145/1390630.1390656</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/issta/PapiACPE08.html">dblp:conf/issta/PapiACPE08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/shdyijozcva2rh34stgkxejkrq">fatcat:shdyijozcva2rh34stgkxejkrq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722235106/http://dspace.mit.edu/bitstream/handle/1721.1/45631/355433044-MIT.pdf;jsessionid=7E261C0DEC2697F3584AD0047B9839FC?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/0f/80/0f802a5b56a6376c8382990dafbde614ac708fce.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1390630.1390656"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies [chapter]

James Skene, Wolfgang Emmerich
<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;
In this paper we describe how these tools can be used to implement runtime requirements monitoring of systems by modelling the required behaviour of the system, implementing a meta-data repository to collect  ...  We evaluate the approach by implementing a contract checker for the SLAng service-level agreement language, a language defined using a MOF metamodel, and integrating the checker into an Enterprise JavaBeans  ...  Evaluation Deployment of the SLA checker We tested the SLA checker by deploying it to monitor the performance of an EJB application.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11580850_17">doi:10.1007/11580850_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mrm5og32onha7ilcpempj27zyy">fatcat:mrm5og32onha7ilcpempj27zyy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922214536/http://discovery.ucl.ac.uk/694/1/9.4tgc.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/55/a9/55a9317a6ca3ee3f45c8a5111ebb8e61adae8450.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11580850_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Modular Checking with Model Checking

Yuusuke Hashimoto, Shin Nakajima
<span title="">2009</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;
Automatic static checkers based on model checking, particularly SAT-based bounded model checkers, are used in industry, but they sometimes suffer from the scalability problem.  ...  Scalability can be achieved with the notions of Design by Contract(DbC) and modular checking. However, modular checking with DbC still have some problems.  ...  The function test in file test.c starts a function call sequence.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.09.062">doi:10.1016/j.entcs.2009.09.062</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fjw5avugkfav5jkzfbgfieo3hu">fatcat:fjw5avugkfav5jkzfbgfieo3hu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190320111802/https://core.ac.uk/download/pdf/81195235.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/61/c4/61c4bc990a39cc1c0a88d5323edee7feda734d50.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.2009.09.062"> <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>
&laquo; Previous Showing results 1 &mdash; 15 out of 5,162 results