Search results for "assertions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Patrick Cousot, Radhia Cousot	Systematic Design of Program Analysis Frameworks.	POPL	1979	DBLP DOI BibTeX RDF
87	Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez 0001	Assertions in Object Oriented Software Maintenance: Analysis and a Case Study.	ICSM	2004	DBLP DOI BibTeX RDF	Software Maintenance, Case Study, Assertions, Object Oriented Systems
87	David S. Rosenblum	A Practical Approach to Programming With Assertions.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Anna, APP, formal specifications, formal methods, C, programming environments, assertions, consistency checking, software faults, runtime checking
80	Ronan Gaugne	A Static Analysis for Program Understanding and Debugging.	ASE	1997	DBLP DOI BibTeX RDF	static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures
80	Michael Siegel, Adriana Maggiore, Christian Pichler	Untwist your brain: efficient debugging and diagnosis of complex assertions.	DAC	2009	DBLP DOI BibTeX RDF	SystemVerilog assertions, debugging, assertions, fault localization, functional verification, root cause analysis
71	Francisco José Galán Morillo, José Miguel Cañete Valdeón	A Method for Compiling and Executing Expressive Assertions.	IFM	2004	DBLP DOI BibTeX RDF	programming with assertions, meaning-preservingtransformation, formal specification, testing, logic program, correctness, Assertion, program synthesis
70	Matthias M. Müller, Rainer Typke, Oliver Hagner	Two Controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming.	ICSM	2002	DBLP DOI BibTeX RDF
70	Naren Narasimhan, Ranga Vemuri	On the Effectiveness of Theorem Proving Guided Discovery of Formal Assertions for a Register Allocator in a High-Level Synthesis System.	TPHOLs	1998	DBLP DOI BibTeX RDF
69	Yoonsik Cheon	Abstraction in Assertion-Based Test Oracles.	QSIC	2007	DBLP DOI BibTeX RDF
64	Andhy Koesnandar, Sebastian G. Elbaum, Gregg Rothermel, Lorin Hochstein, Christopher Scaffidi, Kathryn T. Stolee	Using assertions to help end-user programmers create dependable web macros.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	web macros, dependability, programming by demonstration, assertions, end user software engineering
64	Ian J. Hayes	Reasoning about real-time programs using idle-invariant assertions.	APSEC	2000	DBLP DOI BibTeX RDF	real-time program reasoning, idle-invariant assertions, software engineering, real-time systems, preconditions, formal logic, Hoare logic, postconditions
64	Miguel Katrib, Damián Fernández, Ernesto Pimentel 0001	Synchronizing Java Threads Using Assertions.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Java, Concurrency, Synchronization, Object-Oriented, Assertions
64	Nirmal R. Saxena, Edward J. McCluskey	Linear Complexity Assertions for Sorting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data
63	Rod M. Burstall	An algebraic description of programs with assertions, verification and simulation.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
63	Aaron Wilson, Margaret M. Burnett, Laura Beckwith, Orion Granatir, Ledah Casburn, Curtis R. Cook, Mike Durham, Gregg Rothermel	Harnessing curiosity to increase correctness in end-user programming.	CHI	2003	DBLP DOI BibTeX RDF	forms/3, surprise-explain-reward strategy, assertions, end-user software engineering, curiosity
63	Alexander Yip, Xi Wang 0005, Nickolai Zeldovich, M. Frans Kaashoek	Improving application security with data flow assertions.	SOSP	2009	DBLP DOI BibTeX RDF	xss, security, privacy, web, python, php, sql injection
63	Philip A. Bernstein, Barbara T. Blaustein	Fast Methods for Testing Quantified Relational Calculus Assertions.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
62	Norihisa Suzuki, Kiyoshi Ishihata	Implementation of an Array Bound Checker.	POPL	1977	DBLP DOI BibTeX RDF
56	Raimondas Lencevicius, Edu Metz	Performance assertions for mobile devices.	ISSTA	2006	DBLP DOI BibTeX RDF	performance, mobile devices, assertions
55	Patrice Chalin	Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking
55	Philippe Collet, Roger Rousseau	Towards Efficient Support for Executing the Object Constraint Language.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	Assertions Triggering and Evaluation, UML, Reliability, Implementation, Efficiency, Object Constraint Language
55	Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti	Inline Assertions - Embedding Formal Properties in a Test Bench.	VLSI Design	2009	DBLP DOI BibTeX RDF
55	Mohammad Reza Kakoee, Mohammad Riazati, Siamak Mohammadi	Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions.	ISQED	2008	DBLP DOI BibTeX RDF	Assertion Synthesis, Assertion Unification, Online Testing
55	Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball	Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation.	ISSRE	2006	DBLP DOI BibTeX RDF
55	David Coppit, Jennifer M. Haddox-Schatz	On the Use of Specification-Based Assertions as Test Oracles.	SEW	2005	DBLP DOI BibTeX RDF
55	Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir	Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
55	Patrice Chalin	Logical Foundations of Program Assertions: What do Practitioners Want?.	SEFM	2005	DBLP DOI BibTeX RDF
55	Paul E. Kearney, Ryan Hayward, Henk Meijer	Evolutionary Trees and Ordinal Assertions.	Algorithmica	1999	DBLP DOI BibTeX RDF	Species, Evolution, Tree, Phylogeny, Ordinal, Distance matrix
55	Christer Hultén	Simple dynamic assertions for interactive program validation.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF
48	David Ginat	Embedding instructive assertions in program design.	ITiCSE	2004	DBLP DOI BibTeX RDF	design perspectives, pedagogy, assertions
48	Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini	Assertions to better specify the amazon bug.	SEKE	2002	DBLP DOI BibTeX RDF	web operation, assertions, web application design
48	Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang	Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time rule-based systems, behavioral constraint assertions, Estella, knowledge-decision processing, human expertise, monitor-respond cycle, bounded response time, rule-based programmer, application-specific knowledge, real-time systems, formal specification, knowledge representation, expert systems, constraint handling, rule-based expert systems
47	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	parallel programs, determinism, assertions
47	Grace Tsai, Shuhua Wang	Using Program Transformations to Provide Safety Properties for Real-Time Systems.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	fault tolerance, real time systems, formal methods, temporal logic, program verification, executable assertions
47	Edward Aftandilian, Samuel Z. Guyer	GC assertions: using the garbage collector to check heap properties.	PLDI	2009	DBLP DOI BibTeX RDF	heap properties, garbage collection, dynamic analysis
47	Anne H. Anderson	Domain-Independent, Composable Web Services Policy Assertions.	POLICY	2006	DBLP DOI BibTeX RDF
47	Lei Wang, James R. Cordy, Thomas R. Dean	Enhancing Security Using Legality Assertions.	WCRE	2005	DBLP DOI BibTeX RDF
47	Peter C. Mehlitz, John Penix	Design for Verification with Dynamic Assertions.	SEW	2005	DBLP DOI BibTeX RDF
47	Chima Adiele, Sylvanus A. Ehikioya	Dynamic Identification of Correspondence Assertions for Electronic Commerce Data Integration.	ITCC (1)	2004	DBLP DOI BibTeX RDF
47	Olaf Chitil, Dan McNeill, Colin Runciman	Lazy Assertions.	IFL	2003	DBLP DOI BibTeX RDF
47	Avi Ziv	Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions .	DATE	2003	DBLP DOI BibTeX RDF
47	Rajesh Venkatasubramanian, John P. Hayes, Brian T. Murray	Low-Cost On-Line Fault Detection Using Control Flow Assertions.	IOLTS	2003	DBLP DOI BibTeX RDF
47	Michael Hammer, Sunil K. Sarin	Efficient Monitoring of Database Assertions (Abstract).	SIGMOD Conference	1978	DBLP DOI BibTeX RDF
46		Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Michel Sintzoff	Calculating properties of programs by valuations on specific models.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Cliff B. Jones	Formal development of correct algorithms: An example based on earley's recogniser.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Robin Milner	Implementation and applications of Scott's logic for computable functions.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Clement L. McGowan	The "most recent" error: Its causes and correction.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Peter Wegner	Operational semantics of programming languages.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Clement McGowan	The Contour Model Lambda Calculus Machine.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Zohar Manna, Stephen Nes, Jean Vuillemin	Inductive methods for proving properties of programs.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Daniel M. Berry	The equivalence of models of tasking.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Jean-Marie Cadiou, Zohar Manna	Recursive definitions of partial functions and their computations.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Michael J. Fischer	Lambda calculus schemata.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Stephen J. Garland, David C. Luckham	Translating recursion schemes into program schemes.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	John A. N. Lee	The definition and validation of the radix sorting technique.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	C. David Allen	Derivation of axiomatic definitions of programming languages from algorithmic definitions.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Edward A. Ashcroft	Program correctness methods and language definition.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Michael S. Paterson	Decision problems in computational models.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Raymond E. Miller	A boundary between decidability and undecidability for parallel program schemata (Extended Abstract).	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Thomas E. Hull, Wayne H. Enright, Arthur E. Sedgwick	The correctness of numerical algorithms.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Ralph L. London	Correctness of a compiler for a Lisp subset.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Thomas E. Cheatham Jr., Ben Wegbreit	On a laboratory for the study of automating programming.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	H. Raymond Strong, S. A. Walker	Properties preserved under recursion removal.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
46	Vladimir Tosic, Abdelkarim Erradi, Piyush Maheshwari	WS-Policy4MASC - A WS-Policy Extension Used in the MASC Middleware.	IEEE SCC	2007	DBLP DOI BibTeX RDF
46	Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir	Creation and Validation of Embedded Assertion Statecharts.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
46	Nevin Heintze, Joxan Jaffar, Razvan Voicu	A Framework for Combining Analysis and Verification.	POPL	2000	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, program verification
46	Masud Ahmad Malik	Evolution of the High Level Programming Languages: A Critical Perspective.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
46	Stephen D. Brookes	On the Axiomatic Treatment of Concurrency.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
46	Albert R. Meyer, John C. Mitchell	Axiomatic Definability and Completeness for Recursive Programs.	POPL	1982	DBLP DOI BibTeX RDF
41	Lunjin Lu	Use of correctness assertions in declarative diagnosis.	SAC	2005	DBLP DOI BibTeX RDF	correctness assertions, declarative diagnosis, logic programs
41	Jan Jürjens, Mark Yampolskiy	Code security analysis with assertions.	ASE	2005	DBLP DOI BibTeX RDF	code security analysis, cryto-based software, cryptographic protocols, first-order logic, assertions, automated theorem proving, C programs
41	Arshad Jhumka, Martin Hiller, Vilgot Claesson, Neeraj Suri	On systematic design of globally consistent executable assertions in embedded software.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	application level fault tolerance, embedded systems, semantics, abstract interpretation, executable assertions
41	Martin Hiller	Executable Assertions for Detecting Data Errors in Embedded Control Systems.	DSN	2000	DBLP DOI BibTeX RDF	signal classification scheme, error detection, fault injection, software implemented fault tolerance, executable assertions
40	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Linking CSP-OZ with UML and Java: A Case Study.	IFM	2004	DBLP DOI BibTeX RDF	Java, UML, CSP, assertions, Object-Z, runtime checking
40	Klaus Havelund, Thomas Pressburger	Model Checking JAVA Programs using JAVA PathFinder.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin
40	Zeyad Alkhalifa, V. S. S. Nair, Narayanan Krishnamurthy, Jacob A. Abraham	Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	coverage, latency, fault injection, assertions, Control flow checking
40	Reinhold Plösch, Josef Pichler	Contracts: From Analysis to C++ Implementation.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	assertions, Design by Contract
40	Jeffrey M. Voas	Software testability measurement for intelligent assertion placement.	Softw. Qual. J.	1997	DBLP DOI BibTeX RDF	testing, observability, testability, failure, fault, assertions, fault propagation
40	Alan C. Shaw	Reasoning About Time in Higher-Level Language Software.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	higher-level language software, program elements, time-related statements, timing invariants, periodic processes, real-time systems, real-time, formal specification, synchronization, specification, lower bounds, delay, concurrent programs, synchronisation, upper bounds, assertions, deadlines, execution times, computer times, formal logic, Hoare logic, timing bounds, sequential programs
40	Yi Lu, Ramesh C. Jain	Behavior of Edges in Scale Space.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	edge behaviour, edge recovery, Laplacian or Gaussian operator, corollaries, artificial intelligence, picture processing, computerised picture processing, computerised pattern recognition, computerised pattern recognition, reasoning, scale space, assertions, complex images
40	Dushan Z. Badal, Gerald J. Popek	Cost and Performance Analysis of Semantic Integrity Validation Methods.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF	integrity assertions, performance analysis, database management, semantic integrity, cost analysis
39	Aritra Hazra, Srobona Mitra, Pallab Dasgupta, Ajit Pal, Debabrata Bagchi, Kaustav Guha	Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent.	DAC	2010	DBLP DOI BibTeX RDF	power intent verification, formal verification, assertion
39	Kay Römer, Junyan Ma	PDA: Passive distributed assertions for sensor networks.	IPSN	2009	DBLP DOI BibTeX RDF
39	Thomas Lin, Oren Etzioni, James Fogarty	Identifying interesting assertions from the web.	CIKM	2009	DBLP DOI BibTeX RDF	data pre- and post-processing, information extraction
39	Edward Aftandilian, Samuel Z. Guyer	GC assertions: using the garbage collector to check heap properties.	MSPC	2008	DBLP DOI BibTeX RDF	garbage collection, memory leaks, managed languages
39	Daisuke Kikuchi, Naoki Kobayashi 0001	Type-Based Verification of Correspondence Assertions for Communication Protocols.	APLAS	2007	DBLP DOI BibTeX RDF
39	Olaf Chitil, Frank Huch	Monadic, Prompt Lazy Assertions in Haskell.	APLAS	2007	DBLP DOI BibTeX RDF
39	Olaf Chitil, Frank Huch	A Pattern Logic for Prompt Lazy Assertions in Haskell.	IFL	2006	DBLP DOI BibTeX RDF
39	Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti 0001	Synthesis of system verilog assertions.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
39	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL.	DATE	2006	DBLP DOI BibTeX RDF
39	Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil	Synthesis of synchronous assertions with guarded atomic actions.	MEMOCODE	2005	DBLP DOI BibTeX RDF
39	Youngsik Kim, Parija Sule, Nazanin Mansouri	Exploiting PSL standard assertions in a theorem-proving-based verification environment.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	assertion-based design, modeling, verification, theorem-proving, formal semantics, PSL
39	Daniel Leivant	Proving Termination Assertions in Dynamic Logics.	LICS	2004	DBLP DOI BibTeX RDF
39	C. A. R. Hoare	Assertions: A Personal Perspective.	IEEE Ann. Hist. Comput.	2003	DBLP DOI BibTeX RDF
39	J Strother Moore	Inductive Assertions and Operational Semantics.	CHARME	2003	DBLP DOI BibTeX RDF
39	C. A. R. Hoare	Assertions in Programming: From Scientific Theory to Engineering Practice.	Soft-Ware	2002	DBLP DOI BibTeX RDF
39	C. A. R. Hoare	Assertions.	IFM	2000	DBLP DOI BibTeX RDF
39	Ken Wong, Jeff Joyce	Refinement of Safety-Related Hazards into Verifiable Code Assertions.	SAFECOMP	1998	DBLP DOI BibTeX RDF
39	Arthur B. Pyster	Using assertions to improve language translators.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF