Search results for "assertion"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Shiyu Liu, Dongfang Li, Yasha Chen, Guang Yang	(Semi) automatic Assertion Generation from Controlled Chinese Natural Language: A Practice in Aerospace Industry.	QRS Companion	2021	DBLP DOI BibTeX RDF
16	Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic	Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections.	E-VOTE-ID	2021	DBLP DOI BibTeX RDF
16	Jean-Christophe Filliâtre, Clément Pascutto	Ortac: Runtime Assertion Checking for OCaml (Tool Paper).	RV	2021	DBLP DOI BibTeX RDF
16	Saikat Dutta 0001, August Shi, Sasa Misailovic	FLEX: fixing flaky tests in machine learning projects by updating assertion bounds.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
16	Jinyi Wang, Yican Sun, Hongfei Fu 0001, Krishnendu Chatterjee, Amir Kafshdar Goharshady	Quantitative analysis of assertion violations in probabilistic programs.	PLDI	2021	DBLP DOI BibTeX RDF
16	Valerio Terragni, Gunel Jahangirova, Mauro Pezzè, Paolo Tonella	Improving assertion oracles with evolutionary computation.	GECCO Companion	2021	DBLP DOI BibTeX RDF
16	Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri	A Methodology for Automated Mining of Compact and Accurate Assertion Sets.	NorCAS	2021	DBLP DOI BibTeX RDF
16	Julien Signoles	The e-ACSL perspective on runtime assertion checking.	VORTEX@ISSTA	2021	DBLP DOI BibTeX RDF
16	Henrik Dibowski	Property Assertion Constraints for an Informed, Error-Preventing Expansion of Knowledge Graphs.	KGSWC	2021	DBLP DOI BibTeX RDF
16	Khitam Alatoun, Bharath Shankaranarayanan, Shanmukha Murali Achyutha, Ranga Vemuri	SoC Trust Validation Using Assertion-Based Security Monitors.	ISQED	2021	DBLP DOI BibTeX RDF
16	Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè	GAssert: A Fully Automated Tool to Improve Assertion Oracles.	ICSE (Companion Volume)	2021	DBLP DOI BibTeX RDF
16	Thomas Häner, Torsten Hoefler, Matthias Troyer	Assertion-based optimization of Quantum programs.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
16	André Melo, Heiko Paulheim	Automatic detection of relation assertion errors and induction of relation constraints.	Semantic Web	2020	DBLP DOI BibTeX RDF
16	Christoph Kelp, Mona Simion	The C account of assertion: a negative result.	Synth.	2020	DBLP DOI BibTeX RDF
16	Asieh Salehi Fathabadi, Mohammadsadegh Dalvandi, Michael J. Butler, Bashir M. Al-Hashimi	Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation.	IEEE Embed. Syst. Lett.	2020	DBLP DOI BibTeX RDF
16	Usman Tariq, Ahmad O. Aseeri, Mohammed Saeed Alkatheiri, Yu Zhuang	Context-Aware Autonomous Security Assertion for Industrial IoT.	IEEE Access	2020	DBLP DOI BibTeX RDF
16	Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Aamir Naeem, Muhammad Kashif, Wasi Haider Butt	A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification.	IEEE Access	2020	DBLP DOI BibTeX RDF
16	Debjit Pal, Spencer Offenberger, Shobha Vasudevan	Assertion Ranking Using RTL Source Code Analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
16	Jinyi Wang, Yican Sun, Hongfei Fu 0001, Amir Kafshdar Goharshady, Krishnendu Chatterjee	Quantitative Analysis of Assertion Violations in Probabilistic Programs.	CoRR	2020	DBLP BibTeX RDF
16	Rajeev Bhatt Ambati, Ahmed Ada Hanifi, Ramya Vunikili, Puneet Sharma, Oladimeji Farri	Assertion Detection in Multi-Label Clinical Text using Scope Localization.	CoRR	2020	DBLP BibTeX RDF
16	Venice Erin Liong, Thi Ngoc Tho Nguyen, Sergi Widjaja, Dhananjai Sharma, Zhuang Jie Chong	AMVNet: Assertion-based Multi-View Fusion Network for LiDAR Semantic Segmentation.	CoRR	2020	DBLP BibTeX RDF
16	Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca	Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development.	Softw. Qual. J.	2020	DBLP DOI BibTeX RDF
16	Railana Santana, Luana Almeida Martins, Larissa Rocha 0001, Tássio Virgínio, Adriana Cruz, Heitor A. X. Costa, Ivan Machado	RAIDE: a tool for Assertion Roulette and Duplicate Assert identification and refactoring.	SBES	2020	DBLP DOI BibTeX RDF
16	Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles	Efficient Runtime Assertion Checking for Properties over Mathematical Numbers.	RV	2020	DBLP DOI BibTeX RDF
16	Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè	Evolutionary improvement of assertion oracles.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
16	Qiaochu Zhang, Shiyu Su, Juzheng Liu, Mike Shuo-Wei Chen	CEPA: CNN-based Early Performance Assertion Scheme for Analog and Mixed-Signal Circuit Simulation.	ICCAD	2020	DBLP DOI BibTeX RDF
16	Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles	Verified Runtime Assertion Checking for Memory Properties.	TAP@STAF	2020	DBLP DOI BibTeX RDF
16	Steven J. Frederiksen, John Aromando, Michael S. Hsiao	Automated Assertion Generation from Natural Language Specifications.	ITC	2020	DBLP DOI BibTeX RDF
16	Nourhan Muhammed, Nour Hussein, Khaled Salah 0002, Ayub Khan	Assertion and Coverage Driven Test Generation Tool for RTL Designs.	UEMCON	2020	DBLP DOI BibTeX RDF
16	Esben Nedenskov Petersen	A case for a certainty norm of assertion.	Synth.	2019	DBLP DOI BibTeX RDF
16	Uthman Alsaiari, Fayez Gebali	Hardware Trojan Detection Using Reconfigurable Assertion Checkers.	IEEE Trans. Very Large Scale Integr. Syst.	2019	DBLP DOI BibTeX RDF
16	Brandon Plewe	A Qualified Assertion Database for the History of Places.	Int. J. Humanit. Arts Comput.	2019	DBLP DOI BibTeX RDF
16	Chris Wendt, Mary Barnes	Personal Assertion Token (PaSSporT) Extension for Signature-based Handling of Asserted information using toKENs (SHAKEN).	RFC	2019	DBLP DOI BibTeX RDF
16	Mamata Rath, Bibudhendu Pati	Security Assertion of IoT Devices Using Cloud of Things Perception.	Int. J. Interdiscip. Telecommun. Netw.	2019	DBLP DOI BibTeX RDF
16	Tara Ghasempouri, Jan Malburg, Alessandro Danese, Graziano Pravadelli, Görschwin Fey, Jaan Raik	Engineering of an Effective Automatic Dynamic Assertion Mining Platform.	VLSI-SoC	2019	DBLP DOI BibTeX RDF
16	Junchen Zhao, Ian G. Harris	Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis.	DATE	2019	DBLP DOI BibTeX RDF
16	Enzo Brignon, Laurence Pierre	Assertion-Based Verification through Binary Instrumentation.	DATE	2019	DBLP DOI BibTeX RDF
16	Nicole Fern, Kwang-Ting (Tim) Cheng	Evaluating Assertion Set Completeness to Expose Hardware Trojans and Verification Blindspots.	DATE	2019	DBLP DOI BibTeX RDF
16	Shasha Zhang, Liang Cao	Security and Fault Diagnosis-Based Assertion-Based Verification for FPGA.	QRS Companion	2019	DBLP DOI BibTeX RDF
16	Siran Lei, Mengqi Cheng, Jianguo Jiang	Tactics for Proving Separation Logic Assertion in Coq Proof Assistant.	ICVISP	2019	DBLP DOI BibTeX RDF
16	Julián Caba, Fernando Rincón, Jesús Barba, José Antonio de la Torre, Julio Dondo, Juan Carlos López 0001	HALib: Hardware Assertion Library for on-board verification of FPGA-based modules using HLS.	NORCAS	2019	DBLP DOI BibTeX RDF
16	Cong Wang 0020, Le Kang, Renwei Zhang, Weiliang Yin	Statically-Directed Assertion Recommendation for C Programs.	COMPSAC (1)	2019	DBLP DOI BibTeX RDF
16	Cong Wang 0020, Hao Sun, Yiwen Xu, Yu Jiang 0001, Huafeng Zhang, Ming Gu 0001	Go-Sanitizer: Bug-Oriented Assertion Generation for Golang.	ISSRE Workshops	2019	DBLP DOI BibTeX RDF
16	David Carral, Larry González, Patrick Koopmann	From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment.	AAAI	2019	DBLP DOI BibTeX RDF
16	Oliver Keszöcze, Ian G. Harris	Chatbot-based assertion generation from natural language specifications.	FDL	2019	DBLP DOI BibTeX RDF
16	Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik	RTL Assertion Mining with Automated RTL-to-TLM Abstraction.	FDL	2019	DBLP DOI BibTeX RDF
16	Xiaobang Liu, Ranga Vemuri	Assertion Coverage Aware Trace Signal Selection in Post-Silicon Validation.	ISQED	2019	DBLP DOI BibTeX RDF
16	Rahul Krishnamurthy, Michael S. Hsiao	EASE: Enabling Hardware Assertion Synthesis from English.	RuleML+RR	2019	DBLP DOI BibTeX RDF
16	Yangguang Tian, Yingjiu Li, Binanda Sengupta, Nan Li 0007, Yong Yu 0002	Anonymous Asynchronous Payment Channel from k-Time Accountable Assertion.	CANS	2019	DBLP DOI BibTeX RDF
16	Vadim Liventsev, Irina Fedulova, Dmitry V. Dylov	Deep Text Prior: Weakly Supervised Learning for Assertion Classification.	ICANN (Workshop)	2019	DBLP DOI BibTeX RDF
16	David Carral, Larry González, Patrick Koopmann	From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment.	Description Logics	2019	DBLP BibTeX RDF
16	Gemma Catolino, Fabio Palomba, Andy Zaidman, Filomena Ferrucci	How the Experience of Development Teams Relates to Assertion Density of Test Classes.	ICSME	2019	DBLP DOI BibTeX RDF
16	Ignacio Casso, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo	An Integrated Approach to Assertion-Based Random Testing in Prolog.	LOPSTR	2019	DBLP DOI BibTeX RDF
16	Wolfgang Bauer, Natalia Kryvinska, Jürgen Dorn, Owen Sacco	Extending Linked USDL by Trust Assertion.	iiWAS	2019	DBLP DOI BibTeX RDF
16	Parminder Bhatia, Busra Celikkaya, Mohammed Khalilia	Joint Entity Extraction and Assertion Detection for Clinical Text.	ACL (1)	2019	DBLP DOI BibTeX RDF
16	Roger Clarke	Assertion, belief, and context.	Synth.	2018	DBLP DOI BibTeX RDF
16	Andrew W. Howat	Constituting assertion: a pragmatist critique of Horwich's 'Truth'.	Synth.	2018	DBLP DOI BibTeX RDF
16	Jorge L. Contreras, Peter Georg Picht	Are PAEs Different? The Legal Treatment of Patent Assertion Entities in Europe and the United States.	IEEE Commun. Stand. Mag.	2018	DBLP DOI BibTeX RDF
16	Desheng Zheng, Xiaoyu Li, Guowu Yang, Hai Wang, Lulu Tian	An assertion graph based abstraction algorithm in GSTE and Its application.	Integr.	2018	DBLP DOI BibTeX RDF
16	Bahram N. Uchevler, Kjetil Svarstad	Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions.	Int. J. Reconfigurable Comput.	2018	DBLP DOI BibTeX RDF
16	Nikolaus Thumm	The good, the bad and the ugly - the future of patent assertion entities in Europe.	Technol. Anal. Strateg. Manag.	2018	DBLP DOI BibTeX RDF
16	John Turri, YeounJun Park	Knowledge and Assertion in Korean.	Cogn. Sci.	2018	DBLP DOI BibTeX RDF
16	Zhao Yan, Duyu Tang, Nan Duan, Shujie Liu 0001, Wendi Wang, Daxin Jiang, Ming Zhou 0001, Zhoujun Li 0001	Assertion-based QA with Question-Aware Open Information Extraction.	CoRR	2018	DBLP BibTeX RDF
16	Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub	An Assertion-Based Program Logic for Probabilistic Programs.	CoRR	2018	DBLP BibTeX RDF
16	Isabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo	Multivariant Assertion-based Guidance in Abstract Interpretation.	CoRR	2018	DBLP BibTeX RDF
16	Moreno Falaschi, Carlos Olarte	An Assertion language for slicing Constraint Logic Languages.	CoRR	2018	DBLP BibTeX RDF
16	Priyanka Singh	A robust blind watermarking scheme for ownership assertion of multi-band satellite images.	Int. Arab J. Inf. Technol.	2018	DBLP BibTeX RDF
16	Hongsheng Su, Shuangshuang Wang, Dengfei Wang	Prediction and Abnormality Assertion on Emu Brake Pad Based on Multivariate Integrated Random Walk.	Comput. Syst. Sci. Eng.	2018	DBLP DOI BibTeX RDF
16	Ray P. Singh, Martin Dolly, Subir Das, An Nguyen	Personal Assertion Token (PASSporT) Extension for Resource Priority Authorization.	RFC	2018	DBLP DOI BibTeX RDF
16	Chris Wendt, Jon Peterson	PASSporT: Personal Assertion Token.	RFC	2018	DBLP DOI BibTeX RDF
16	Ian A. Young, Leif Johansson, Scott Cantor	The Entity Category Security Assertion Markup Language (SAML) Attribute Types.	RFC	2018	DBLP DOI BibTeX RDF
16	Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo	Some trade-offs in reducing the overhead of assertion run-time checks via static analysis.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
16	Alessandro Danese, Valeria Bertacco, Graziano Pravadelli	Symbolic assertion mining for security validation.	DATE	2018	DBLP DOI BibTeX RDF
16	Fonenantsoa Maurica, David R. Cok, Julien Signoles	Runtime Assertion Checking and Static Verification: Collaborative Partners.	ISoLA (2)	2018	DBLP DOI BibTeX RDF
16	Yumin Zhou, Sebastian Burg, Oliver Bringmann 0001, Wolfgang Rosenstiel	A software reconfigurable assertion checking unit for run-time error detection.	ETS	2018	DBLP DOI BibTeX RDF
16	Chenguang Wang 0003, Yici Cai, Qiang Zhou 0001, Haoyi Wang	ASAX: Automatic security assertion extraction for detecting Hardware Trojans.	ASP-DAC	2018	DBLP DOI BibTeX RDF
16	Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub	An Assertion-Based Program Logic for Probabilistic Programs.	ESOP	2018	DBLP DOI BibTeX RDF
16	Hao Sun, Xiaoxing Ma, Tiansi Dong, Armin B. Cremers, Chun Cao	An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning.	COMPSAC (1)	2018	DBLP DOI BibTeX RDF
16	Zhao Yan, Duyu Tang, Nan Duan, Shujie Liu 0001, Wendi Wang, Daxin Jiang, Ming Zhou 0001, Zhoujun Li 0001	Assertion-Based QA With Question-Aware Open Information Extraction.	AAAI	2018	DBLP DOI BibTeX RDF
16	Lucas Freire, Miguel C. Neves, Lucas Leal, Kirill Levchenko, Alberto E. Schaeffer Filho, Marinho P. Barcellos	Uncovering Bugs in P4 Programs with Assertion-based Verification.	SOSR	2018	DBLP DOI BibTeX RDF
16	Cong Wang 0020, Yu Jiang 0001, Xibin Zhao, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001	Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis.	ICSE (Companion Volume)	2018	DBLP DOI BibTeX RDF
16	Rohithkumar Nagulapati, Mayanka Chandrashekar, Yugyung Lee	Transformation from Publications to Diabetes Ontology using Topic-based Assertion Discovery.	ICHI Workshops	2018	DBLP DOI BibTeX RDF
16	Islam Ahmed, Hassan Mostafa, Ahmed Nader Mohieldin	Dynamic partial reconfiguration verification using assertion based verification.	DTIS	2018	DBLP DOI BibTeX RDF
16	Isabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo	Multivariant Assertion-Based Guidance in Abstract Interpretation.	LOPSTR	2018	DBLP DOI BibTeX RDF
16	Moreno Falaschi, Carlos Olarte	An Assertion Language for Slicing Constraint Logic Languages.	LOPSTR	2018	DBLP DOI BibTeX RDF
16		Assertion.	Encyclopedia of Machine Learning and Data Mining	2017	DBLP DOI BibTeX RDF
16	Graziano Pravadelli, Davide Quaglia, Sara Vinco, Franco Fummi	Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework.	Handbook of Hardware/Software Codesign	2017	DBLP DOI BibTeX RDF
16	J. Adam Carter	Assertion, uniqueness and epistemic hypocrisy.	Synth.	2017	DBLP DOI BibTeX RDF
16	Priyanka Singh, Balasubramanian Raman	A secured robust watermarking scheme based on majority voting concept for rightful ownership assertion.	Multim. Tools Appl.	2017	DBLP DOI BibTeX RDF
16	Ahti-Veikko Pietarinen, Francesco Bellucci	Assertion and denial: A contribution from logical notations.	J. Appl. Log.	2017	DBLP DOI BibTeX RDF
16	Massimiliano Carrara, Daniele Chiffi, Ciro De Florio	On assertion and denial in the logic for pragmatics.	J. Appl. Log.	2017	DBLP DOI BibTeX RDF
16	Ahti-Veikko Pietarinen, Francesco Bellucci	Reprint of: Assertion and denial: A contribution from logical notations.	J. Appl. Log.	2017	DBLP DOI BibTeX RDF
16	Massimiliano Carrara, Daniele Chiffi, Ciro De Florio	Logical Investigations on Assertion and Denial.	J. Appl. Log.	2017	DBLP DOI BibTeX RDF
16	Matthew Collinson, Kevin McDonald, David J. Pym	Layered graph logic as an assertion language for access control policy models.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
16	Massimiliano Carrara, Daniele Chiffi, Ciro De Florio	Assertion and hypothesis: a logical framework for their opposition relations.	Log. J. IGPL	2017	DBLP DOI BibTeX RDF
16	Pengyi Li, Jing Sun 0002, Hai Wang 0016	Formal Approach to Assertion-Based Code Generation.	Int. J. Softw. Eng. Knowl. Eng.	2017	DBLP DOI BibTeX RDF
16	Lucas Freire, Miguel C. Neves, Alberto E. Schaeffer Filho, Marinho P. Barcellos	POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification.	CCS	2017	DBLP DOI BibTeX RDF
16	Long H. Pham, Lyly Tran Thi, Jun Sun 0001	Assertion Generation Through Active Learning.	ICFEM	2017	DBLP DOI BibTeX RDF
16	Tong Zhang, Daniel G. Saab, Jacob A. Abraham	Automatic Assertion Generation for Simulation, Formal Verification and Emulation.	ISVLSI	2017	DBLP DOI BibTeX RDF
16	Islam Ahmed, Khaled Nouh, Amr Abbas	Multiple reset domains verification using assertion based verification.	VLSI-SoC	2017	DBLP DOI BibTeX RDF