Log in

Relevant bibliographies by topics / Coverage metric

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Coverage metric'

Author: Grafiati

Published: 4 June 2021

Last updated: 17 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Coverage metric.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Coverage metric"

1

Ng, Marie, Nancy Fullman, Joseph L. Dieleman, Abraham D. Flaxman, Christopher J. L. Murray, and Stephen S. Lim. "Effective Coverage: A Metric for Monitoring Universal Health Coverage." PLoS Medicine 11, no. 9 (September 22, 2014): e1001730. http://dx.doi.org/10.1371/journal.pmed.1001730.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

D’Angelo, Gianlorenzo, Martin Olsen, and Lorenzo Severini. "Coverage Centrality Maximization in Undirected Networks." Proceedings of the AAAI Conference on Artificial Intelligence 33 (July 17, 2019): 501–8. http://dx.doi.org/10.1609/aaai.v33i01.3301501.

Full text

Abstract:

Centrality metrics are among the main tools in social network analysis. Being central for a user of a network leads to several benefits to the user: central users are highly influential and play key roles within the network. Therefore, the optimization problem of increasing the centrality of a network user recently received considerable attention. Given a network and a target user v, the centrality maximization problem consists in creating k new links incident to v in such a way that the centrality of v is maximized, according to some centrality metric. Most of the algorithms proposed in the literature are based on showing that a given centrality metric is monotone and submodular with respect to link addition. However, this property does not hold for several shortest-path based centrality metrics if the links are undirected.In this paper we study the centrality maximization problem in undirected networks for one of the most important shortestpath based centrality measures, the coverage centrality. We provide several hardness and approximation results. We first show that the problem cannot be approximated within a factor greater than 1 − 1/e, unless P = NP, and, under the stronger gap-ETH hypothesis, the problem cannot be approximated within a factor better than 1/no(1), where n is the number of users. We then propose two greedy approximation algorithms, and show that, by suitably combining them, we√ can guarantee an approximation factor of Ω(1/ n). We experimentally compare the solutions provided by our approximation algorithm with optimal solutions computed by means of an exact IP formulation. We show that our algorithm produces solutions that are very close to the optimum.

APA, Harvard, Vancouver, ISO, and other styles

3

AMMANN, PAUL E., and PAUL E. BLACK. "A SPECIFICATION-BASED COVERAGE METRIC TO EVALUATE TEST SETS." International Journal of Reliability, Quality and Safety Engineering 08, no. 04 (December 2001): 275–99. http://dx.doi.org/10.1142/s0218539301000530.

Full text

Abstract:

Software developers use a variety of formal and informal methods, including testing, to argue that their systems are suitable for building high assurance applications. In this paper, we develop another connection between formal methods and testing by defining a specification-based coverage metric to evaluate test sets. Formal methods in the form of a model checker supply the necessary automation to make the metric practical. The metric gives the software developer assurance that a given test set is sufficiently sensitive to the structure of an application's specification. We also develop the necessary foundation for the metric and then illustrate the metric on an example.

APA, Harvard, Vancouver, ISO, and other styles

4

Liu, C. N., and J. Y. Jou. "Efficient coverage analysis metric for HDL design validation." IEE Proceedings - Computers and Digital Techniques 148, no. 1 (January 1, 2001): 1–6. http://dx.doi.org/10.1049/ip-cdt:20010203.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Mukherjee, Debashis, and Rajib Mall. "An integration test coverage metric for Java programs." International Journal of System Assurance Engineering and Management 10, no. 4 (June 15, 2019): 576–601. http://dx.doi.org/10.1007/s13198-019-00787-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

de Moya-Anegón, Félix, Zaida Chinchilla-Rodríguez, Benjamín Vargas-Quesada, Elena Corera-Álvarez, Francisco José Muñoz-Fernández, Antonio González-Molina, and Victor Herrero-Solana. "Coverage analysis of Scopus: A journal metric approach." Scientometrics 73, no. 1 (July 10, 2007): 53–78. http://dx.doi.org/10.1007/s11192-007-1681-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Ardito, Luca, Riccardo Coppola, Luca Barbato, and Diego Verga. "A Tool-Based Perspective on Software Code Maintainability Metrics: A Systematic Literature Review." Scientific Programming 2020 (August 4, 2020): 1–26. http://dx.doi.org/10.1155/2020/8840389.

Full text

Abstract:

Software maintainability is a crucial property of software projects. It can be defined as the ease with which a software system or component can be modified to be corrected, improved, or adapted to its environment. The software engineering literature proposes many models and metrics to predict the maintainability of a software project statically. However, there is no common accordance with the most dependable metrics or metric suites to evaluate such nonfunctional property. The goals of the present manuscript are as follows: (i) providing an overview of the most popular maintainability metrics according to the related literature; (ii) finding what tools are available to evaluate software maintainability; and (iii) linking the most popular metrics with the available tools and the most common programming languages. To this end, we performed a systematic literature review, following Kitchenham’s SLR guidelines, on the most relevant scientific digital libraries. The SLR outcome provided us with 174 software metrics, among which we identified a set of 15 most commonly mentioned ones, and 19 metric computation tools available to practitioners. We found optimal sets of at most five tools to cover all the most commonly mentioned metrics. The results also highlight missing tool coverage for some metrics on commonly used programming languages and minimal coverage of metrics for newer or less popular programming languages. We consider these results valuable for researchers and practitioners who want to find the best selection of tools to evaluate the maintainability of their projects or to bridge the discussed coverage gaps for newer programming languages.

APA, Harvard, Vancouver, ISO, and other styles

8

Masaoka, Kenichiro, and Yukihiro Nishida. "Metric of color-space coverage for wide-gamut displays." Optics Express 23, no. 6 (March 17, 2015): 7802. http://dx.doi.org/10.1364/oe.23.007802.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Cruz, Pedro, Rodrigo S. Couto, Luís Henrique M. K. Costa, Anne Fladenmuller, and Marcelo Dias de Amorim. "A delay-aware coverage metric for bus-based sensor networks." Computer Communications 156 (April 2020): 192–200. http://dx.doi.org/10.1016/j.comcom.2020.03.043.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Warren, Joshua L., Montserrat Fuentes, Amy H. Herring, and Peter H. Langlois. "Air Pollution Metric Analysis While Determining Susceptible Periods of Pregnancy for Low Birth Weight." ISRN Obstetrics and Gynecology 2013 (January 30, 2013): 1–9. http://dx.doi.org/10.1155/2013/387452.

Full text

Abstract:

Multiple metrics to characterize air pollution are available for use in environmental health analyses in addition to the standard Air Quality System (AQS) pollution monitoring data. These metrics have complete spatial-temporal coverage across a domain and are therefore crucial in calculating pollution exposures in geographic areas where AQS monitors are not present. We investigate the impact that two of these metrics, output from a deterministic chemistry model (CMAQ) and from a spatial-temporal downscaler statistical model which combines information from AQS and CMAQ (DS), have on risk assessment. Using each metric, we analyze ambient ozone's effect on low birth weight utilizing a Bayesian temporal probit regression model. Weekly windows of susceptibility are identified and analyzed jointly for all births in a subdomain of Texas, 2001–2004, and results from the different pollution metrics are compared. Increased exposures during weeks 20–23 of the pregnancy are identified as being associated with low birth weight by the DS metric. Use of the CMAQ output alone results in increased variability of the final risk assessment estimates, while calibrating the CMAQ through use of the DS metric provides results more closely resembling those of the AQS. The AQS data are still preferred when available.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Coverage metric"

1

Milne, Andrew Steven. "A benchmark fault coverage metric for analogue circuits." Thesis, University of Huddersfield, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.285669.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bansal, Kunal. "Increasing Branch Coverage with Dual Metric RTL Test Generation." Thesis, Virginia Tech, 2018. http://hdl.handle.net/10919/96581.

Full text

Abstract:

In this thesis, we present a new register-transfer level (RTL) test generation method that makes use of two coverage metrics, Branch Coverage, and Mutation Coverage across two stages, to cover hard-to-reach points previously unreached. We start with a preprocessing stage by converting the RTL source to a C++ equivalent using a modified Verilator, which also automatically creates mutants and the corresponding mutated C++ design, based on arithmetic, logical and relational operators during conversion. With the help of extracted Data Dependency and Control Flow Graphs, in every pair, branches containing variables dependent on the mutated statement are instrumented to track them. The first stage uses Evolutionary algorithms with Ant Colony Optimization to generate test vectors with mutation coverage as the metric. Two new filtering techniques are also proposed which optimize the first stage by eliminating the need for generating tests for redundant mutants. The next stage is the original BEACON which now takes the generated mutation test vectors as the initial population unlike random vectors, and output final test vectors. These test vectors succeed in improving the coverage up to 70%, compared to the previous approaches for most of the ITC99 benchmarks. With the application of filtering techniques, we also observed a speedup by 85% in the test generation runtime and also up to 78% reduction in test vector size when compared with those generated by the previous techniques.
MS

APA, Harvard, Vancouver, ISO, and other styles

3

Linn, Jane Ostergar. "A Coverage Metric to Aid in Testing Multi-Agent Systems." BYU ScholarsArchive, 2017. https://scholarsarchive.byu.edu/etd/6666.

Full text

Abstract:

Models are frequently used to represent complex systems in order to test the systems before they are deployed. Some of the most complicated models are those that represent multi-agent systems (MAS), where there are multiple decision makers. Brahms is an agent-oriented language that models MAS. Three major qualities affect the behavior of these MAS models: workframes that change the state of the system, communication activities that coordinate information between agents, and the schedule of workframes. The primary method to test these models that exists is repeated simulation. Simulation is useful insofar as interesting test cases are used that enable the simulation to explore different behaviors of the model, but simulation alone cannot be fully relied upon to adequately cover the test space, especially in the case of non-deterministic concurrent systems. It takes an exponential number of simulation trials to uncover schedules that reveal unexpected behaviors. This thesis defines a coverage metric to make simulation more meaningful before verification of the model. The coverage metric is divided into three different metrics: workframe coverage, communication coverage, and schedule coverage. Each coverage metric is defined through static analysis of the system, resulting in the coverage requirements of that system. These coverage requirements are compared to the logged output of the simulation run to calculate the coverage of the system. The use of the coverage metric is illustrated in several empirical studies and explored in a detailed case study of the SATS concept (Small Aircraft Transportation System). SATS outlines the procedures aircraft follow around runways that do not have communication towers. The coverage metric quantifies the test effort, and can be used as a basis for future automated test generation and active test.

APA, Harvard, Vancouver, ISO, and other styles

4

Mathaikutty, Deepak Abraham. "Metamodeling Driven IP Reuse for System-on-chip Integration and Microprocessor Design." Diss., Virginia Tech, 2007. http://hdl.handle.net/10919/29598.

Full text

Abstract:

This dissertation addresses two important problems in reusing intellectual properties (IPs) in the form of reusable design or verification components. The first problem is associated with fast and effective integration of reusable design components into a System-on-chip (SoC), so faster design turn-around time can be achieved, leading to faster time-to-market. The second problem has the same goals of faster product design cycle, but emphasizes on verification model reuse, rather than design component reuse. It specifically addresses reuse of reusable verification IPs to enable a "write once, use many times" verification strategy. This dissertation is accordingly divided into part I and part II which are related but describe the two problems and our solutions to them. These two related but distinctive problems faced by system design companies have been tackled through a unique approach which hither-to-fore only have been used in the software engineering domain. This approach is called metamodeling, which allows creating customized meta-language to describe the syntax and semantics for a modeling domain. It provides a way to create, transform and analyze domain specific languages, which are themselves described by metamodels, and the transformation and processing of models in such languages are also described by metamodels. This makes machine based interpretation and translation from these models an easier and formal task. In part I, we consider the problem of rapid system-level model integration of existing reusable components such that (i) the required architecture of the SoC can be expressed formally, (ii) automatic selection of components from an IP library to match the need of the system being integrated can be done, (iii) integrability of the components is provable, or checkable automatically, and (iv) structural and behavioral type systems for each component can be utilized through inferencing and matching techniques to ensure their compatibility. Our solutions include a component composition language, algorithms for component selection, type matching and inferencing algorithms, temporal property based behavioral typing, and finally a software system on top of an existing metamodeling environment. In part II, we use the same metamodeling environment to create a framework for modeling generative verification IPs. Our main contributions relate to INTEL's microprocessor verification environment, and our solution spans various abstraction levels (System, architectural, and microarchitecture) to perform verification. We provide a unified language that can be used to model verification IPs at all abstraction levels, and verification collaterals such as testbenches, simulators, and coverage monitors can be generated from these models, thereby enhancing reuse in verification.
Ph. D.

APA, Harvard, Vancouver, ISO, and other styles

5

Mishra, Shashank. "Analysis of test coverage metrics in a business critical setup." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-213698.

Full text

Abstract:

Test coverage is an important parameter of analyzing how well the product is being tested in any domain within the IT industry. Unit testing is one of the important processes that have gained even more popularity with the rise in Test driven development (TDD) culture.This degree project, conducted at NASDAQ Technology AB, analyzes the existing unit tests in one of the products, and compares various coverage models in terms of quality. Further, the study examines the factors that affect code coverage, presents the best practices for unit testing, and a proven test process used in a real world project.To conclude, recommendations are given to NASDAQ based on the findings of this study and industry standards.
Testtäckning är en viktig parameter för att analysera hur väl en produkt är testad inom alla domäner i IT-industrin. Enhetstestning är en av de viktiga processerna som har ökat sin popularitet med testdriven utveckling. Detta examensarbete, utfört på NASDAQ Technology AB, analyserar de befintliga testen i en av produkterna, och jämför olika kvalitetsmodeller. Vidare undersöker undersökningen de faktorer som påverkar koddekning, presenterar de bästa metoderna för enhetstestning och en beprövad testprocess som används i ett verkligt världsprojekt. Avslutningsvis ges rekommendationer till NASDAQ baserat på resultaten från denna studie och industristandarder.

APA, Harvard, Vancouver, ISO, and other styles

6

Acharya, Vineeth Vadiraj. "Branch Guided Metrics for Functional and Gate-level Testing." Thesis, Virginia Tech, 2015. http://hdl.handle.net/10919/51661.

Full text

Abstract:

With the increasing complexity of modern day processors and system-on-a-chip (SOCs), designers invest a lot of time and resources into testing and validating these designs. To reduce the time-to-market and cost, the techniques used to validate these designs have to constantly improve. Since most of the design activity has moved to the register transfer level (RTL), test methodologies at the RTL have been gaining momentum. We present a novel functional test generation framework for functional test generation at RTL. A popular software-based metric for measuring the effectiveness of an RTL test suite is branch coverage. But exercising hard-to-reach branches is still a challenge and requires good understanding of the design semantics. The proposed framework uses static analysis to extract certain semantics of the circuit and uses several data structures to model these semantics. Using these data structures, we assist the branch-guided search to exercise these hard-to-reach branches. Since the correlation between high branch coverage and detecting defects and bugs is not clear, we present a new metric at the RTL which augments the RTL branch coverage with state values. Vectors which have higher scores on the new metric achieve higher branch and state coverages, and therefore can be applied at different levels of abstraction such as post-silicon validation. Experimental results show that use of the new metric in our test generation framework can achieve a high level of branch and fault coverage for several benchmark circuits, while reducing the length of the vector sequence. This work was supported in part by the NSF grant 1016675.
Master of Science

APA, Harvard, Vancouver, ISO, and other styles

7

Santa, Marek. "Zpětnovazební funkční verifikace hardware." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2011. http://www.nusl.cz/ntk/nusl-237045.

Full text

Abstract:

In the development process of digital circuits, it is often not possible to avoid introducing errors into systems that are being developed. Early detection of such errors saves money and time. This project deals with automation of feedback in functional verification of various data processing components. The goal of automatic feedback is not only to shorten the time needed to verify the functionality of a system, but mainly to improve verification coverage of corner cases and thus increase the confidence in the verified system. General functional and formal verification principles and practices are discussed, coverage metrics are presented, limitations of both techniques are mentioned and room for improvement of current status is identified. Design of feedback verification environment using a genetic algorithm is described in detial. The verification results are summarized and evaluated.

APA, Harvard, Vancouver, ISO, and other styles

8

Pagliarini, Samuel Nascimento. "VEasy : a tool suite towards the functional verification challenges." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2011. http://hdl.handle.net/10183/34758.

Full text

Abstract:

Esta dissertação descreve um conjunto de ferramentas, VEasy, o qual foi desenvolvido especificamente para auxiliar no processo de Verificação Funcional. VEasy contém quatro módulos principais, os quais realizam tarefas-chave do processo de verificação como linting, simulação, coleta/análise de cobertura e a geração de testcases. Cada módulo é comentado em detalhe ao longo dos capítulos. Todos os módulos são integrados e construídos utilizando uma Interface Gráfica. Esta interface possibilita o uso de uma metodologia de criação de testcases estruturados em camadas, onde é possível criar casos de teste complexos através do uso de operações do tipo drag-and-drop. A forma de uso dos módulos é exemplificada utilizando projetos simples escritos em Verilog. As funcionalidades da ferramenta, assim como o seu desempenho, são comparadas com algumas ferramentas comerciais e acadêmicas. Assim, algumas conclusões são apresentadas, mostrando que o tempo de simulação é consideravelmente menor quando efetuada a comparação com as ferramentas comerciais e acadêmicas. Os resultados também mostram que a metodologia é capaz de permitir um alto nível de automação no processo de criação de testcases através do modelo baseado em camadas.
This thesis describes a tool suite, VEasy, which was developed specifically for aiding the process of Functional Verification. VEasy contains four main modules that perform linting, simulation, coverage collection/analysis and testcase generation, which are considered key challenges of the process. Each of those modules is commented in details throughout the chapters. All the modules are integrated and built on top of a Graphical User Interface. This framework enables the testcase automation methodology which is based on layers, where one is capable of creating complex test scenarios using drag-anddrop operations. Whenever possible the usage of the modules is exemplified using simple Verilog designs. The capabilities of this tool and its performance were compared with some commercial and academic functional verification tools. Finally, some conclusions are drawn, showing that the overall simulation time is considerably smaller with respect to commercial and academic simulators. The results also show that the methodology is capable of enabling a great deal of testcase automation by using the layering scheme.

APA, Harvard, Vancouver, ISO, and other styles

9

Zachariášová, Marcela. "Metody akcelerace verifikace logických obvodů." Doctoral thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2015. http://www.nusl.cz/ntk/nusl-261278.

Full text

Abstract:

Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.

APA, Harvard, Vancouver, ISO, and other styles

10

Starigazda, Michal. "Optimalizace testování pomocí algoritmů prohledávání prostoru." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2015. http://www.nusl.cz/ntk/nusl-234928.

Full text

Abstract:

Testing of multi-threaded programs is a demanding work due to the many possible thread interleavings one should examine. The noise injection technique helps to increase the number of tested thread interleavings by noise injection to suitable program locations. This work optimizes meta-heuristics search techniques in the testing of concurrent programs by utilizing deterministic heuristic in the application of genetic algorithms in a space of legal program locations suitable for the noise injection. In this work, several novel deterministic noise injection heuristics without dependency on the random number generator are proposed in contrary to the most of currently used heuristic. The elimination of the randomness should make the search process more informed and provide better, more optimal, solutions thanks to increased stability in the results provided by novel heuristics. Finally, a benchmark of programs, used for the evaluation of novel noise injection heuristics is presented.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Coverage metric"

1

Didi maža tauta: Lietuvos įvaizdžio kampanija JAV 1919 metais = A great little nation : Lithuania's image campaign of 1919 in the U.S. Vilnius: Bonus animus, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

E, Black Paul, and National Institute of Standards and Technology (U.S.), eds. A specification-based coverage metric to evaluate test sets. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

E, Black Paul, and National Institute of Standards and Technology (U.S.), eds. A specification-based coverage metric to evaluate test sets. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

A specification-based coverage metric to evaluate test sets. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

E, Black Paul, and National Institute of Standards and Technology (U.S.), eds. A specification-based coverage metric to evaluate test sets. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

E, Black Paul, and National Institute of Standards and Technology (U.S.), eds. A specification-based coverage metric to evaluate test sets. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

E, Black Paul, and National Institute of Standards and Technology (U.S.), eds. A specification-based coverage metric to evaluate test sets. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Solberg, Rorie. Covering the Courts. Edited by Lee Epstein and Stefanie A. Lindquist. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199579891.013.28.

Full text

Abstract:

Scholarly examination of the media coverage of the Supreme Court occurs for both intrinsic and instrumental purposes. Scholarly study of media coverage of the Court examines the content, frame, and magnitude of the coverage. Pushing further, these examinations provide critical information about the relationship between media coverage and the institutional credibility of the Court. Studies of media coverage are also instrumental as they provide metrics useful in the explication of judicial behavior. Despite the usefulness of the work explored here, the knowledge gained may be expiring. As social networks usurp traditional and online media sources as the conduit for information, our focus on the relationship of the mass media, its coverage of the Court, and various questions of judicial legitimacy or public knowledge may be expiring.

APA, Harvard, Vancouver, ISO, and other styles

9

Delhi Metro Rail Corporation Ltd., ed. A dream revisited: An archival journey into the making of the Delhi Metro Rail. [New Delhi]: Delhi Metro Rail Corp., 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Hamlin, Hannibal. The Bible. Edited by Andrew Hiscock and Helen Wilcox. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199672806.013.34.

Full text

Abstract:

The Christian religion is based on the Bible, and no book had a greater influence on early modern English literature. The Bible was at the heart of the early modern culture of translation, and the English language was affected by the efforts of William Tyndale, Miles Coverdale, and others to properly render the Bible’s original Hebrew and Greek. Since understanding and following the Bible was necessary to salvation, and the Bible is often difficult, Bible reading also demanded interpretation, and this led to the proliferation of interpretive aids: biblical paratexts, sermons, and commentaries. Translation is necessarily interpretive, in the choices made in English Bibles, but especially in broader paraphrases and adaptations, from the metrical Psalms of Sternhold and Hopkins and Philip and Mary Sidney to the biblical epics of Du Bartas, Abraham Cowley, and Milton. Much of early modern literature could be described as an effort to understand the Bible.

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Coverage metric"

1

Dieckmann, Andreas. "Developing a Coverage-Driven SoC Methodology." In Metric- Driven Design Verification, 285–96. Boston, MA: Springer US, 2007. http://dx.doi.org/10.1007/978-0-387-38152-7_20.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Kichenamourty, Vedha. "Metric for Effective Test Coverage." In Software Measurement, 127–40. Wiesbaden: Deutscher Universitätsverlag, 1999. http://dx.doi.org/10.1007/978-3-663-08949-0_8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Bhattacharya, Subhrajit, Robert Ghrist, and Vijay Kumar. "Multi-robot Coverage and Exploration in Non-Euclidean Metric Spaces." In Springer Tracts in Advanced Robotics, 245–62. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-36279-8_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Fürtig, Andreas, Sebastian Steinhorst, and Lars Hedrich. "Feature-Based State Space Coverage Metric for Analog Circuit Verification." In Lecture Notes in Electrical Engineering, 83–101. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-62920-9_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Tasiran, Serdar, Tayfun Elmas, Guven Bolukbasi, and M. Erkan Keremoglu. "A Novel Test Coverage Metric for Concurrently-Accessed Software Components." In Formal Approaches to Software Testing, 62–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11759744_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Egeberg, Matthew C., Sez Atamturktur, and François M. Hemez. "Defining Coverage of a Domain Using a Modified Nearest-Neighbor Metric." In Topics in Model Validation and Uncertainty Quantification, Volume 5, 113–22. New York, NY: Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-6564-5_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Zhu, Jinsong, and Son T. Vuong. "Generalized metric based test selection and coverage measure for communication protocols." In Formal Description Techniques and Protocol Specification, Testing and Verification, 299–314. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-0-387-35271-8_19.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Quader, Niamul, Antony J. Hodgson, Kishore Mulpuri, Anthony Cooper, and Rafeef Abugharbieh. "A 3D Femoral Head Coverage Metric for Enhanced Reliability in Diagnosing Hip Dysplasia." In Medical Image Computing and Computer Assisted Intervention − MICCAI 2017, 100–107. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66182-7_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ahmed, Izhar, K. E. Tepe, and B. K. Singh. "Reliable Coverage Area Based Link Expiration Time (LET) Routing Metric for Mobile Ad Hoc Networks." In Ad Hoc Networks, 466–76. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-11723-7_31.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Ben-David, Shoham, Hana Chockler, and Orna Kupferman. "Attention-Based Coverage Metrics." In Hardware and Software: Verification and Testing, 230–45. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-03077-7_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Coverage metric"

1

Nabi, Majid, Hamid Shojaei, Siamak Mohammadi, and Zainalabedin Navabi. "Assignment coverage, a complementary coverage metric in formal verification." In 2007 International Conference on Design & Technology of Integrated Systems in Nanoscale Era. IEEE, 2007. http://dx.doi.org/10.1109/dtis.2007.4449496.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Wang, Xuexiang, and Jun Yang. "Domain Coverage Metric for SoC Validation." In 2009 IEEE Circuits and Systems International Conference on Testing and Diagnosis. ICTD'09. IEEE, 2009. http://dx.doi.org/10.1109/cas-ictd.2009.4960810.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Verma, Shireesh, Kiran Ramineni, and Ian G. Harris. "An efficient control-oriented coverage metric." In the 2005 conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1120725.1120858.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Haedicke, F., D. Grosse, and R. Drechsler. "A guiding coverage metric for formal verification." In 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012). IEEE, 2012. http://dx.doi.org/10.1109/date.2012.6176546.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Someoliayi, Khashayar Etemadi, Sajad Jalali, Mostafa Mahdieh, and Seyed-Hassan Mirian-Hosseinabadi. "Program State Coverage: A Test Coverage Metric Based on Executed Program States." In 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 2019. http://dx.doi.org/10.1109/saner.2019.8667968.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Ramineni, Kiran, Shireesh Verma, and Ian G. Harris. "Evaluation of an efficient control-oriented coverage metric." In 2008 IEEE International High Level Design Validation and Test Workshop (HLDVT). IEEE, 2008. http://dx.doi.org/10.1109/hldvt.2008.4695895.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Kang, Jian, Sharad C. Seth, and Vijay Gangaram. "Efficient RTL Coverage Metric for Functional Test Selection." In 25th IEEE VLSI Test Symmposium. IEEE, 2007. http://dx.doi.org/10.1109/vts.2007.30.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Park, Sungchul, Li Chen, Praveen Parvathala, Srinivas Patil, and Irith Pomeranz. "A Functional Coverage Metric for Estimating the Gate-Level Fault Coverage of Functional Tests." In 2006 IEEE International Test Conference. IEEE, 2006. http://dx.doi.org/10.1109/test.2006.297674.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Harris, I. G. "A Coverage Metric for the Validation of Interacting Processes." In 2006 Design, Automation and Test in Europe. IEEE, 2006. http://dx.doi.org/10.1109/date.2006.243900.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Zhang, Yu, and Vishwani D. Agrawal. "A diagnostic test generation system and a coverage metric." In 2010 15th IEEE European Test Symposium (ETS). IEEE, 2010. http://dx.doi.org/10.1109/etsym.2010.5512739.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Coverage metric"

1

Ammann, Paul E., and Paul E. Black. A specification-based coverage metric to evaluate test sets. Gaithersburg, MD: National Institute of Standards and Technology, 1999. http://dx.doi.org/10.6028/nist.ir.6403.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Orr, Kyla, Ali McKnight, Kathryn Logan, and Hannah Ladd-Jones. Scottish Inshore Fisheries Integrated Data System (SIFIDS): work package 7 final report engagement with inshore fisheries to promote and inform. Edited by Mark James. Marine Alliance for Science and Technology for Scotland (MASTS), 2020. http://dx.doi.org/10.15664/10023.23453.

Full text

Abstract:

[Extract from Executive Summary] This report documents Work Package 7 of the Scottish Inshore Fisheries Integrated Data Systems (SIFIDS) Project, which was designed to facilitate engagement with the key stakeholders including; inshore fishers, their representative bodies, Regional Inshore Fisheries Groups, Marine Scotland including Policy, Compliance and Science. The SIFIDS Project focused on 12 metre and under inshore fisheries vessels, of which around 1,500 are registered in Scotland including those that work part-time or seasonally. The facilitation team was set various targets for engagement based on the requirements of other work packages. The success of the overall project was dependent to a significant extent on securing voluntary engagement and input from working fishers. Previous experience has shown that having a dedicated project facilitation team is an extremely effective model for establishing the necessary trust to encourage industry-participation in projects such as this. The WP7 facilitation team comprised three individuals who have significant marine and fisheries related experience and wide-ranging skills in communications and stakeholder engagement. They worked together flexibly on a part-time basis, ensuring staffing cover over extended hours where required to match fishers’ availability and geographical coverage over Scotland.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!