Log in

Relevant bibliographies by topics / Assertion generation

Contents

Journal articles

Academic literature on the topic 'Assertion generation'

Author: Grafiati

Published: 11 March 2023

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 'Assertion generation.'

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 "Assertion generation"

1

Li, Pengyi, Jing Sun, and Hai Wang. "Formal Approach to Assertion-Based Code Generation." International Journal of Software Engineering and Knowledge Engineering 27, no. 09n10 (2017): 1637–62. http://dx.doi.org/10.1142/s0218194017400162.

Full text

Abstract:

With the growing in size and complexity of modern computer systems, the need for improving the quality at all stages of software development has become a critical issue. The current software production has been largely dependent on manual code development. Despite the slow development process, the errors introduced by the programmers contribute to a substantial portion of defects in the final software product. This paper investigates the synergy of generating code and assertion constraints from formal design models and use them to verify the implementation. We translate Z formal models into th

APA, Harvard, Vancouver, ISO, and other styles

2

Boulé, M., J. S. Chenard, and Z. Zilic. "Debug enhancements in assertion-checker generation." IET Computers & Digital Techniques 1, no. 6 (2007): 669. http://dx.doi.org/10.1049/iet-cdt:20060209.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Witharana, Hasini, Yangdi Lyu, and Prabhat Mishra. "Directed Test Generation for Activation of Security Assertions in RTL Models." ACM Transactions on Design Automation of Electronic Systems 26, no. 4 (2021): 1–28. http://dx.doi.org/10.1145/3441297.

Full text

Abstract:

Assertions are widely used for functional validation as well as coverage analysis for both software and hardware designs. Assertions enable runtime error detection as well as faster localization of errors. While there is a vast literature on both software and hardware assertions for monitoring functional scenarios, there is limited effort in utilizing assertions to monitor System-on-Chip (SoC) security vulnerabilities. We have identified common SoC security vulnerabilities and defined several classes of assertions to enable runtime checking of security vulnerabilities. A major challenge in ass

APA, Harvard, Vancouver, ISO, and other styles

4

Tong, Jason G., Marc Boulé, and Zeljko Zilic. "Test compaction techniques for assertion-based test generation." ACM Transactions on Design Automation of Electronic Systems 19, no. 1 (2013): 1–29. http://dx.doi.org/10.1145/2534397.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Kerpedjiev, Stephan. "Model-Driven, Assertion-Based Generation of Multimedia Weather Information." Bulletin of the American Meteorological Society 76, no. 10 (1995): 1791–800. http://dx.doi.org/10.1175/1520-0477(1995)076<1791:mdabgo>2.0.co;2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Salehi Fathabadi, Asieh, Mohammadsadegh Dalvandi, Michael Butler, and Bashir M. Al-Hashimi. "Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation." IEEE Embedded Systems Letters 12, no. 3 (2020): 83–86. http://dx.doi.org/10.1109/les.2019.2955316.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Crowley, Timothy J. "On the “Perceptible Bodies” at De Generatione et Corruptione II.1." Revista Archai, no. 27 (September 1, 2019): e2703. http://dx.doi.org/10.14195/1984-249x_27_3.

Full text

Abstract:

Near the beginning of De Gen. et Cor. II.1, Aristotle claims that the generation and corruption of all naturally constituted substances are “not without the perceptible bodies” (328b32-33). It is not clear what he intends by this. In this paper I offer a new interpretation of this assertion. I argue that the assumption behind the usual reading, namely, that these “perceptible bodies” ought to be distinguished from the naturally constituted substances, is flawed, and that the assertion is best understood as a claim that Aristotle has established in the second half of the first book of the De Ge

APA, Harvard, Vancouver, ISO, and other styles

8

Pečiuliauskienė, Palmira. "The Structure of Interpersonal Communication Skills of the New Generation Senior School Students: The Case of Generations X and Z." Pedagogika 130, no. 2 (2018): 116–30. http://dx.doi.org/10.15823/p.2018.26.

Full text

Abstract:

The article deals with the interpersonal communication skills of senior school students of the new generation Z. These skills were investigated using a questionnaire for measuring the interpersonal competence. Through application of factor analysis, five groups of interpersonal communication skills of senior students have been identified: initiation of interpersonal relationships, assertion of displeasure with others’ actions, self-disclosure, provision of emotional support, and management of interpersonal conflicts. The interpersonal communication skills of the new generation (Z) senior stude

APA, Harvard, Vancouver, ISO, and other styles

9

Bennett, Tyler James. "Second-Generation Semiology and Detotalization." Linguistic Frontiers 4, no. 2 (2021): 44–53. http://dx.doi.org/10.2478/lf-2021-0010.

Full text

Abstract:

Abstract The fashionable disavowal of structural semiology as logocentric is easily countered by a review of the important innovations of second-generation semiology, spearheaded by Jacques Derrida, Roland Barthes, and Jacques Lacan. The scope of Saussurean semiology is hampered only by its reliance upon alphabetic language and presence grounded in the voice; the assertion that semiology is a part of linguistics, rather than the reverse, does not reject the existence of nonlinguistic meaning; wordplay and textual experimentation are no mere stylistic ornamentation, but are on the contrary the

APA, Harvard, Vancouver, ISO, and other styles

10

Holt, Marilyn E., Kathleen F. Mittendorf, Michele LeNoue-Newton, et al. "My Cancer Genome: Coevolution of Precision Oncology and a Molecular Oncology Knowledgebase." JCO Clinical Cancer Informatics, no. 5 (September 2021): 995–1004. http://dx.doi.org/10.1200/cci.21.00084.

Full text

Abstract:

PURPOSE The My Cancer Genome (MCG) knowledgebase and resulting website were launched in 2011 with the purpose of guiding clinicians in the application of genomic testing results for treatment of patients with cancer. Both knowledgebase and website were originally developed using a wiki-style approach that relied on manual evidence curation and synthesis of that evidence into cancer-related biomarker, disease, and pathway pages on the website that summarized the literature for a clinical audience. This approach required significant time investment for each page, which limited website scalabilit

APA, Harvard, Vancouver, ISO, and other styles

More sources

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!