Search results for "assertions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Li-C. Wang, Magdy S. Abadir, Nari Krishnamurthy	Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation.	DAC	1998	DBLP DOI BibTeX RDF	PowerPC
24	Erran Carmel	Thirteen Assertions for Globally Dispersed Software Development Research.	HICSS (3)	1997	DBLP DOI BibTeX RDF
24	Henrik Reif Andersen, Bart Vergauwen	Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion.	CAV	1995	DBLP DOI BibTeX RDF
24	John Lamping, Martín Abadi	Methods as Assertions.	ECOOP	1994	DBLP DOI BibTeX RDF
23	Doina Bucur, Marta Z. Kwiatkowska	Software verification for TinyOS.	IPSN	2010	DBLP DOI BibTeX RDF	sensor networks, model checking, reliability, safety, software verification, TinyOS, telos, MSP430
23	Mark Stephenson, Ram Rangan, Emmanuel Yashchin, Eric Van Hensbergen	Statistically regulating program behavior via mainstream computing.	CGO	2010	DBLP DOI BibTeX RDF	collaborative community, mainstream computing
23	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	A calculus of atomic actions.	POPL	2009	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
23	Mauro Pezzè, Jochen Wuttke	LuMiNous - model-driven assertion generation for runtime failure detection.	ICSE Companion	2009	DBLP DOI BibTeX RDF
23	Aaron R. Bradley, Zohar Manna	Property-directed incremental invariant generation.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Polynomial invariants, Clausal invariants, Model checking, Static analysis, Affine invariants, Invariant generation
23	Aytekin Vargun, David R. Musser	Code-carrying theory.	SAC	2008	DBLP DOI BibTeX RDF	secure code delivery, correctness, proof-carrying code, memory safety
23	Jianfeng Du, Yi-Dong Shen	Computing minimum cost diagnoses to repair populated DL-based ontologies.	WWW	2008	DBLP DOI BibTeX RDF	ontologies, diagnosis, description logics, disjunctive datalog
23	Daniel Leivant	Reasoning in Dynamic Logic about Program Termination.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
23	Ayla Dantas, Francisco Vilar Brasileiro, Walfredo Cirne	Improving Automated Testing of Multi-threaded Software.	ICST	2008	DBLP DOI BibTeX RDF	multi-threaded systems development, Aspect-Oriented Programming, test-driven development, Automated testing, application monitoring
23	Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Masoud Daneshtalab, Saeed Safari, Zainalabedin Navabi	On-Chip Verification of NoCs Using Assertion Processors.	DSD	2007	DBLP DOI BibTeX RDF
23	Sumit Gulwani, Ashish Tiwari 0001	Computing Procedure Summaries for Interprocedural Analysis.	ESOP	2007	DBLP DOI BibTeX RDF
23	Pallavi Joshi, Koushik Sen, Mark Shlimovich	Predictive testing: amplifying the effectiveness of software testing.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs
23	Marc Boule, Jean-Samuel Chenard, Zeljko Zilic	Assertion Checkers in Verification, Silicon Debug and In-Field Diagnosis.	ISQED	2007	DBLP DOI BibTeX RDF
23	Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee 0001	A logic for information flow in object-oriented programs.	POPL	2006	DBLP DOI BibTeX RDF	information flow, confidentiality, aliasing
23	Tao Xie 0001	Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking.	ECOOP	2006	DBLP DOI BibTeX RDF
23	Eric Bodden, Volker Stolz	Tracechecks: Defining Semantic Interfaces with Temporal Logic.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
23	Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind	Live sequence charts applied to hardware requirements specification and verification.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Protocol compliance, Virtual Component Interface Standard, Formal verification, Specification, Live Sequence Charts
23	Aaron R. Bradley, Zohar Manna	Termination and Invariance Analysis of Loops.	ATVA	2005	DBLP DOI BibTeX RDF
23	Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi	Adaptive Runtime Verification for Autonomic Communication Infrastructures.	WOWMOM	2005	DBLP DOI BibTeX RDF
23	John P. Gallagher, Germán Puebla, Elvira Albert	Converting One Type-Based Abstract Domain to Another.	LOPSTR	2005	DBLP DOI BibTeX RDF
23	Elvira Albert, Germán Puebla, John P. Gallagher	Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.	LOPSTR	2005	DBLP DOI BibTeX RDF
23	Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001	The BUSpec platform for automated generation of verification aids for standard bus protocols.	MEMOCODE	2004	DBLP DOI BibTeX RDF
23	Therapon Skotiniotis, David H. Lorenz	Cona: aspects for contracts and contracts for aspects.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	design by contract (DBC), aspect-oriented programming (AOP)
23	Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron	Filtering TOBIAS Combinatorial Test Suites.	FASE	2004	DBLP DOI BibTeX RDF	VDM, combinatorial testing, JML, model-based specifications
23	C. A. R. Hoare	Towards the Verifying Compiler.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
23	Pedro Guerreiro	Simple Support for Design by Contract in C++.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
23	Manuel V. Hermenegildo	A Documentation Generator for (C)LP Systems.	Computational Logic	2000	DBLP DOI BibTeX RDF
23	Tim Van Allen, James P. Delgrande, Arvind Gupta	Point-Based Approaches to Qualitative Temporal Reasoning.	PRICAI	1998	DBLP DOI BibTeX RDF
23	Weidong Chen	Declarative Specification and Evaluation of Database Updates.	DOOD	1991	DBLP DOI BibTeX RDF
23	Robert P. Kurshan	Analysis of Discrete Event Coordination.	REX Workshop	1989	DBLP DOI BibTeX RDF	coordination analysis, formal verification, refinement, reduction, homomorphism
23	Ziya Aral, Ilya Gertner	High-Level Debugging in Parasight.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
23	Joseph Y. Halpern, Albert R. Meyer	Axiomatic Definitions of Programming Languages, II.	POPL	1981	DBLP DOI BibTeX RDF
23	Albert R. Meyer, Joseph Y. Halpern	Axiomatic Definitions of Programming Languages: A Theoretical Assessment.	POPL	1980	DBLP DOI BibTeX RDF
23	Cheng-Wen Cheng, Jonas Rabin	Synthesis of Decision Rules.	Commun. ACM	1976	DBLP DOI BibTeX RDF
17	Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita	Optimization of Assertion Placement in Time-Constrained Embedded Systems.	ETS	2011	DBLP DOI BibTeX RDF	time-constrained embedded systems, soft errors, executable assertions
17	Patrice Chalin	Engineering a Sound Assertion Semantics for the Verifying Compiler.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	programming by contract, requirements engineering, Software verification, assertions, logics of programs
17	Martin Süßkraut, Thomas Knauth, Stefan Weigert, Ute Schiffel, Martin Meinhold, Christof Fetzer	Prospect: a compiler framework for speculative parallelization.	CGO	2010	DBLP DOI BibTeX RDF	bounds checker, stack translation, parallelization, assertions, speculation
17	Gordon Fraser 0001, Andreas Zeller	Mutation-driven generation of unit tests and oracles.	ISSTA	2010	DBLP DOI BibTeX RDF	unit testing, assertions, test case generation, mutation testing, test oracles, mutation analysis, search based testing
17	Wenchao Li 0001, Alessandro Forin, Sanjit A. Seshia	Scalable specification mining for verification and diagnosis.	DAC	2010	DBLP DOI BibTeX RDF	error localization, verification, formal specification, debugging, diagnosis, assertions, post-silicon validation
17	Iman Narasamdya, Michaël Périn	Certification of smart-card applications in common criteria.	SAC	2009	DBLP DOI BibTeX RDF	assertion functions, common criteria certification, smart-card applications, invariants, assertions, specification techniques
17	David Briggs, Suad Alagic	Algebraic specification techniques for parametric types with logic-based constraints.	SAC	2009	DBLP DOI BibTeX RDF	parametric types, verification theories, assertions, PVS, JML
17	Tom Ridge	Verifying distributed systems: the operational approach.	POPL	2009	DBLP DOI BibTeX RDF	ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
17	Jiang Long, Andrew Seawright, Paparao Kavalipati	Multi-clock SVA synthesis without re-writing.	ASP-DAC	2009	DBLP DOI BibTeX RDF	SVA, multi-clock SVA assertions
17	Bassem Elkarablieh, Sarfraz Khurshid	Juzi: a tool for repairing complex data structures.	ICSE	2008	DBLP DOI BibTeX RDF	systematic search, symbolic execution, assertions, error recovery, data structure repair
17	Beverly A. Sanders, KyungHee Kim	Assertional reasoning about data races in relaxed memory models.	PPoPP	2008	DBLP DOI BibTeX RDF	assertions, memory model, data race, sequential consistency
17	Babu Turumella, Mukesh Sharma	Assertion-based verification of a 32 thread SPARCTM CMT microprocessor.	DAC	2008	DBLP DOI BibTeX RDF	simulation, verification, coverage, assertions, multi-threading
17	Richard Riehle	Designing software components to tolerances.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	post-conditions, pre-conditions, snugness of fit, design, metrics, components, constraints, invariants, assertions, tolerances
17	István Majzik, Zoltán Micskei, Gergely Pintér	Development of Model Based Tools to Support the Design of Railway Control Applications.	SAFECOMP	2007	DBLP DOI BibTeX RDF	UML state diagrams, test generation, assertions, static checking
17	Angelo Furfaro, Libero Nigro, Francesco Pupo	Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	real-time constrains, Java, prototyping, assertions, integrated development environment, hierarchical state machines, modular modelling
17	Klaus Meffert	Supporting Design Patterns with Annotations.	ECBS	2006	DBLP DOI BibTeX RDF	words: semantic assertions, selecting design patterns, design pattern intentions, design pattern templates, Java, annotations
17	Marc Shapiro 0001	Practical proofs of concurrent programs.	ICFP	2006	DBLP DOI BibTeX RDF	concurrent programming, assertions, hoare logic, program proofs, rely-guarantee
17	Harry M. Sneed	Selective Regression Testing of a Host to DotNet Migration.	ICSM	2006	DBLP DOI BibTeX RDF	DotNet, SQLServer, XML, Regression Testing, Assertions, File Comparison
17	Sidi O. Ehmety, Lawrence C. Paulson	Mechanizing compositional reasoning for concurrent systems: some lessons.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Existential properties, Universal properties, Guarantees assertions, UNITY, Isabelle, Compositional reasoning
17	Fernando Cortez Sica, Claudionor José Nunes Coelho Jr., José Augusto Miranda Nacif, Harry Foster, Antônio Otávio Fernandes	Exception handling in microprocessors using assertion libraries.	SBCCI	2004	DBLP DOI BibTeX RDF	exceptions handling, assertions
17	Harry M. Sneed	Testing a Web Application.	WSE	2004	DBLP DOI BibTeX RDF	Web Applications, Evolution, Regression Testing, Assertions, File Comparison
17	Wolfgang Schreiner	A java toolkit for teaching distributed algorithms.	ITiCSE	2002	DBLP DOI BibTeX RDF	Java, visualization, distributed computing, message passing, assertions, applets
17	C. Joncheng Kuo, Polar Humenn	Dynamically authorized role-based access control for secure distributed computation.	XML Security	2002	DBLP DOI BibTeX RDF	XML-based security assertions, authorization domain, CORBA, Role-based access control, attribute certificates
17	Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham	Validation of PowerPC(tm) Custom Memories using Symbolic Simulation.	VTS	2000	DBLP DOI BibTeX RDF	Simulation, Validation, Memories, Assertions, Symbolic
17	Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer	Specification of Realtime Systems Using ASTRAL.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems
17	Jeffrey M. Voas, Keith W. Miller 0001	The Avalanche Paradigm: An Experimental Software Programming Technique for Improving Fault-tolerance.	ECBS	1996	DBLP DOI BibTeX RDF	static error flow analysis, fault-tolerance, fault, assertions, propagation, software safety, hazard
17	Oded Goldreich 0001, Shafi Goldwasser, Dana Ron	Property Testing and Its Connection to Learning and Approximation.	FOCS	1996	DBLP DOI BibTeX RDF	unknown function, property testing algorithm, graph property testing, k-colorable graph, /spl rho/-clique, input graph, testing, approximation, querying, assertions, probabilistic algorithm, learning theory, property testing
17	Giuseppe Di Battista, Maurizio Lenzerini	Deductive Entity-Relationship Modeling.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	deductive entity relationship modelling, IS-A, disjointness relations, mandatory participation, formal basis, computational complexity, semantics, conceptual modeling, deductive databases, first-order logic, inference mechanisms, assertions, classes, entity-relationship modelling, interdependencies, polynomial time complexity, inference algorithm
17	Roberto Maiocchi, Barbara Pernici, Federico Barbic	Automatic Deduction of Temporal Information.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	meta-level temporal assertions, temporal modalities, time calculus, events, temporal database, propositions
17	Stephen L. Bloom, Zoltán Ésik	Floyd-Hoare Logic in Iteration Theories.	J. ACM	1991	DBLP DOI BibTeX RDF	correction assertions, Hoare logic
17	Ichiro Suzuki, Harngdar Lu	Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	Temporal Petri nets, handshake daisy chain arbiter, temporal logic operations, temporal assertions, eventuality, modeling, Petri nets, fairness, analysis, timing constraints, formal logic, temporal relationships, causal relationships
17	Vijay Pitchumani, Edward P. Stabler	An Inductive Assertion Method for Register Transfer Level Design Verification.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	inductive assertion method, synchronous logic, theorem proving, Assertions, predicate calculus, register transfer level design, verification condition
17	Richard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe	The Euclid Language: a progress report.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Legality assertions, Machine dependencies, Visibility of names, Reliability, Verification, Language, Pascal, Aliasing, Storage allocation, Systems programming, Data encapsulation, Parameterized types, Euclid, EUCLID
17	George W. Ernst, Raymond J. Hookway	The Use of Higher Order Logic in Program Verification.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	inductive assertions, program verification, Heuristic search, higher order logic, mechanical theorem proving
17	Matthew M. Geller	Test Data as an Aid in Proving Program Correctness.	POPL	1976	DBLP DOI BibTeX RDF	Inductive assertions, Modular programming, Program verification, Program testing, Recursive programs
16	Konstantinos Mamouras, Agnishom Chattopadhyay	Efficient Matching of Regular Expressions with Lookaround Assertions.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
16	Wenji Fang, Mengming Li, Min Li, Zhiyuan Yan, Shang Liu, Hongce Zhang, Zhiyao Xie	AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs.	CoRR	2024	DBLP DOI BibTeX RDF
16	Shreya Shankar, Haotian Li, Parth Asawa, Madelon Hulsebos, Yiming Lin, J. D. Zamfirescu-Pereira, Harrison Chase, Will Fu-Hinthorn, Aditya G. Parameswaran, Eugene Wu 0002	SPADE: Synthesizing Assertions for Large Language Model Pipelines.	CoRR	2024	DBLP DOI BibTeX RDF
16	Arumoy Shome, Luis Cruz 0002, Arie van Deursen	Towards Automatic Translation of Machine Learning Visual Insights to Analytical Assertions.	CoRR	2024	DBLP DOI BibTeX RDF
16	Yoonsik Cheon	Constructive Assertions with Abstract Models.	MODELSWARD	2024	DBLP BibTeX RDF
16	Hasini Witharana, Aruna Jayasena, Andrew Whigham, Prabhat Mishra 0001	Automated Generation of Security Assertions for RTL Models.	ACM J. Emerg. Technol. Comput. Syst.	2023	DBLP DOI BibTeX RDF
16	Yuan Feng 0001, Li Zhou, Yingte Xu	Refinement calculus of quantum programs with projective assertions.	CoRR	2023	DBLP DOI BibTeX RDF
16	Ehsan Faghih, Huiyang Zhou	Dynamic Runtime Assertions in Quantum Ternary Systems.	CoRR	2023	DBLP DOI BibTeX RDF
16	Rahul Kande, Hammond Pearce, Benjamin Tan 0001, Brendan Dolan-Gavitt, Shailja Thakur, Ramesh Karri, Jeyavijayan Rajendran	LLM-assisted Generation of Hardware Assertions.	CoRR	2023	DBLP DOI BibTeX RDF
16	Arnav Singhvi, Manish Shetty, Shangyin Tan, Christopher Potts, Koushik Sen, Matei Zaharia, Omar Khattab	DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines.	CoRR	2023	DBLP DOI BibTeX RDF
16	Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh	Solving the insecurity problem for assertions.	CoRR	2023	DBLP DOI BibTeX RDF
16	Hasini Witharana, Daniel Volya, Prabhat Mishra 0001	quAssert: Automatic Generation of Quantum Assertions.	CoRR	2023	DBLP DOI BibTeX RDF
16	Sihem Belabbes, Salem Benferhat	Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases.	J. Appl. Non Class. Logics	2023	DBLP DOI BibTeX RDF
16	Linda Brodo, Roberto Bruni, Moreno Falaschi	Dynamic Slicing of Reaction Systems Based on Assertions and Monitors.	PADL	2023	DBLP DOI BibTeX RDF
16	Franz Baader, Francesco Kriegel, Adrian Nuradiansyah	Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning.	SAC	2023	DBLP DOI BibTeX RDF
16	Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola	Exploiting assertions mining and fault analysis to guide RTL-level approximation.	DATE	2023	DBLP DOI BibTeX RDF
16	Masoumeh Taromirad, Per Runeson	A Literature Survey of Assertions in Software Testing.	ECBS	2023	DBLP DOI BibTeX RDF
16	Audrey Yang, Sam Kamien, Anahita Davoudi, Sy Hwang, Meet Gandhi, Ryan J. Urbanowicz, Danielle L. Mowery	Relation Detection to Identify Stroke Assertions from Clinical Notes Using Natural Language Processing.	MedInfo	2023	DBLP DOI BibTeX RDF
16	Ondrej Guth	On Expressive Power of Regular Expressions with Subroutine Calls and Lookaround Assertions.	PSC	2023	DBLP BibTeX RDF
16	Yoonsik Cheon, Ricardo Lozano, Rajasoundarya Senthil Prabhu	A Library-Based Approach for Writing Design Assertions.	SERA	2023	DBLP DOI BibTeX RDF
16	Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller 0001	Formal Reasoning Using Distributed Assertions.	FroCoS	2023	DBLP DOI BibTeX RDF
16	Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler	Indexed and fibered structures for partial and total correctness assertions.	Math. Struct. Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Sébastien Perron, Mourad Badri, Linda Badri	Detecting and Confining Software Errors: An Evaluation of Three Executable Assertions Based Solutions.	J. Softw.	2022	DBLP DOI BibTeX RDF
16	Aruna Jayasena, Binod Kumar, Subodha Charles, Hasini Witharana, Prabhat Mishra 0001	Network-on-Chip Trust Validation Using Security Assertions.	J. Hardw. Syst. Secur.	2022	DBLP DOI BibTeX RDF
16	Samuele Germiniani, Alessandro Danese, Graziano Pravadelli	Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences.	IEEE Trans. Emerg. Top. Comput.	2022	DBLP DOI BibTeX RDF
16	Sudipa Mandal, Pallab Dasgupta	Migrating Assertions From Dense to Discrete Time.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
16	Daniel Kang, Nikos Aréchiga, Sudeep Pillai, Peter Bailis, Matei Zaharia	Finding Label and Model Errors in Perception Data With Learned Observation Assertions.	CoRR	2022	DBLP BibTeX RDF