Search results for "assertions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	R. Gaugne	A Static Analysis for Program Understanding and Debugging. (PDF / PS)	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
3	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
3	Raimondas Lencevicius, Edu Metz	Performance assertions for mobile devices.	ISSTA	2006	DBLP DOI BibTeX RDF	performance, mobile devices, assertions
3	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
3	Lunjin Lu	Use of correctness assertions in declarative diagnosis.	SAC	2005	DBLP DOI BibTeX RDF	correctness assertions, declarative diagnosis, logic programs
3	David Ginat	Embedding instructive assertions in program design.	ITiCSE	2004	DBLP DOI BibTeX RDF	design perspectives, pedagogy, assertions
3	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
3	Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez	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
3	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
3	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
3	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
3	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
3	Miguel Katrib, Damian Fernandez, Ernesto Pimentel	Synchronizing Java Threads Using Assertions.	TOOLS	1999	DBLP DOI BibTeX RDF	Java, Concurrency, Synchronization, Object-Oriented, Assertions
3	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
3	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
3	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
2	Martin T. Vechev, Eran Yahav, Greta Yorsh	PHALANX: parallel checking of expressive heap assertions.	ISMM	2010	DBLP DOI BibTeX RDF	parallel garbage collector, virtual machine, ownership
2	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
2	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
2	Alexander Yip, Xi Wang, 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
2	Kay Römer, Junyan Ma	PDA: Passive distributed assertions for sensor networks.	IPSN	2009	DBLP DOI BibTeX RDF
2	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
2	Florian Eibensteiner, Rainer Findenig, Markus Pfaff	SynPSL: Behavioral Synthesis of PSL Assertions.	EUROCAST	2009	DBLP DOI BibTeX RDF	Synthesis, PSL, Assertion-based Verification
2	Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies	Abstraction Refinement for Quantified Array Assertions.	SAS	2009	DBLP DOI BibTeX RDF
2	Bernhard Hollunder	WS-Policy: On Conditional and Custom Assertions.	ICWS	2009	DBLP DOI BibTeX RDF
2	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
2	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	parallel programs, determinism, assertions
2	Edison Mera, Pedro López-García, Manuel V. Hermenegildo	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.	ICLP	2009	DBLP DOI BibTeX RDF	static/dynamic debugging, program verification, unit testing, assertions, run-time verification
2	Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili	Relational Methods in the Analysis of While Loops: Observations of Versatility.	RelMiCS	2009	DBLP DOI BibTeX RDF	Function extraction, loop functions, invariant assertions, invariant relations, invariant functions, computing loop behavior, refinement calculus, relational calculus
2	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
2	Robert Wille, Görschwin Fey, Marc Messing, Gerhard Angst, Lothar Linhard, Rolf Drechsler	Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking.	DSD	2008	DBLP DOI BibTeX RDF
2	Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young	Mechanized Information Flow Analysis through Inductive Assertions.	FMCAD	2008	DBLP DOI BibTeX RDF
2	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
2	Ayla Dantas	Improving developers' confidence in test results of multi-threaded systems: avoiding early and late assertions.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	multi-threaded systems testing, aspect-oriented programming, software monitoring
2	Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing	Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance.	SSIRI	2008	DBLP DOI BibTeX RDF	Formal Specifications, Validation, Patterns, Statecharts, Assertions
2	Sebastian Gajek, Lijun Liao, Jörg Schwenk	Stronger TLS bindings for SAML assertions and SAML artifacts.	SWS	2008	DBLP DOI BibTeX RDF	client certificate, fim, saml, tls
2	Sandip Ray, Warren A. Hunt Jr., John Matthews, J. Strother Moore	A Mechanical Analysis of Program Verification Strategies.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Inductive assertions, Partial correctness, Theorem proving, Invariants, Total correctness
2	Harald Obereder, Markus Pfaff	Behavioral synthesis of property specification language (PSL) assertions.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
2	Doron Drusinsky, Man-tak Shing	Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
2	Bruno Blanchet	Computationally Sound Mechanized Proofs of Correspondence Assertions.	CSF	2007	DBLP DOI BibTeX RDF
2	Daisuke Kikuchi, Naoki Kobayashi	Type-Based Verification of Correspondence Assertions for Communication Protocols.	APLAS	2007	DBLP DOI BibTeX RDF
2	Olaf Chitil, Frank Huch	Monadic, Prompt Lazy Assertions in Haskell.	APLAS	2007	DBLP DOI BibTeX RDF
2	Paolo Ceravolo, Ernesto Damiani, Marco Viviani	Bottom-Up Extraction and Trust-Based Refinement of Ontology Metadata.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	bottom-up ontology, ad hoc conceptualization, metadata extraction and maintenance, fuzzy clustering techniques, trusted assertions, Semantic Web
2	Patrice Chalin	Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking
2	J. Strother Moore	Inductive assertions and operational semantics.	STTT	2006	DBLP DOI BibTeX RDF	Theorem proving, JVM, Software verification, Verification condition
2	Anne H. Anderson	Domain-Independent, Composable Web Services Policy Assertions.	POLICY	2006	DBLP DOI BibTeX RDF
2	Marc Lohmann, Gregor Engels, Stefan Sauer	Model-driven Monitoring: Generating Assertions from Visual Contracts.	ASE	2006	DBLP DOI BibTeX RDF
2	Rajendra Bose, Robert G. Mann, Diego Prina-Ricotti	AstroDAS: Sharing Assertions Across Astronomy Catalogues Through Distributed Annotation.	IPAW	2006	DBLP DOI BibTeX RDF
2	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
2	Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti	Synthesis of system verilog assertions.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
2	Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	Deterministic Dynamic Monitors for Linear-Time Assertions.	FATES/RV	2006	DBLP DOI BibTeX RDF
2	George Economakos	Behavioral synthesis with SystemC and PSL assertions for interface specification.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Doron Bustan, John Havlicek	Some Complexity Results for SystemVerilog Assertions.	CAV	2006	DBLP DOI BibTeX RDF
2	Ramtilak Vemu, Jacob A. Abraham	CEDA: Control-flow Error Detection through Assertions.	IOLTS	2006	DBLP DOI BibTeX RDF
2	Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball	Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation.	ISSRE	2006	DBLP DOI BibTeX RDF
2	Olaf Chitil, Frank Huch	A Pattern Logic for Prompt Lazy Assertions in Haskell.	IFL	2006	DBLP DOI BibTeX RDF
2	Frances Perry, Limin Jia, David Walker	Expressing heap-shape contracts in linear logic.	GPCE	2006	DBLP DOI BibTeX RDF	heap shape, contracts, linear logic, assertions
2	Deni Torres Román, Joaquín Cortez González, Raul Ernesto Gonzalez-Torres	Improving the Digital Design with Semi-formal Specification.	CONIELECOMP	2006	DBLP DOI BibTeX RDF	semiformal specification, model checking tools, assertions, properties, Assertion based verification
2	Harry M. Sneed	Testing a Datawarehouse - An Industrial Challenge.	TAIC PART	2006	DBLP DOI BibTeX RDF	Datawarehouse Testing, Data Transformation Rules, Post Conditions Assertions, Formal Verification, System Testing
2	Patrice Chalin	Are Practitioners Writing Contracts?	RODIN Book	2006	DBLP DOI BibTeX RDF	program assertions, empirical study, design by contract, Eiffel
2	Patrice Chalin	Logical Foundations of Program Assertions: What do Practitioners Want?.	SEFM	2005	DBLP DOI BibTeX RDF
2	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
2	Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil	Synthesis of synchronous assertions with guarded atomic actions.	MEMOCODE	2005	DBLP DOI BibTeX RDF
2	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
2	Peter C. Mehlitz, John Penix	Design for Verification with Dynamic Assertions.	SEW	2005	DBLP DOI BibTeX RDF
2	David Coppit, Jennifer M. Haddox-Schatz	On the Use of Specification-Based Assertions as Test Oracles.	SEW	2005	DBLP DOI BibTeX RDF
2	Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.	FMCO	2005	DBLP DOI BibTeX RDF
2	Lei Wang, James R. Cordy, Thomas R. Dean	Enhancing Security Using Legality Assertions.	WCRE	2005	DBLP DOI BibTeX RDF
2	Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti	Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules.	VLSI Design	2005	DBLP DOI BibTeX RDF
2	Philipp Peti, Roman Obermaisser, Hermann Kopetz	Out-of-Norm Assertions.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
2	Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso	Is methodology the highway out of verification hell?	DAC	2005	DBLP DOI BibTeX RDF	verification, formal verification, methodology, assertions
2	Patrick C. K. Hung, Guang-Sha Qui	Implementing conflict of interest assertions in WS-policy with separation of duties for Web-Services matchmaking process.	Inf. Syst. E-Business Management	2004	DBLP DOI BibTeX RDF	Matchmaking process, Separation of duties, Conflict of interest, WS-policy, Chinese wall security policy
2	Alexander Lazovik, Marco Aiello, Mike P. Papazoglou	Associating assertions with business processes and monitoring their execution.	ICSOC	2004	DBLP DOI BibTeX RDF	service and AI computing, theoretical frameworks for service representation and composition, monitoring, management, quality, service delivery
2	Jørgen Villadsen	Paraconsistent Assertions.	MATES	2004	DBLP DOI BibTeX RDF
2	Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Felice Balarin	Utilizing Formal Assertions for System Design of Network Processors.	DATE	2004	DBLP DOI BibTeX RDF
2	Daniel Leivant	Proving Termination Assertions in Dynamic Logics.	LICS	2004	DBLP DOI BibTeX RDF
2	Daniel Leivant	Partial Correctness Assertions Provable in Dynamic Logics.	FoSSaCS	2004	DBLP DOI BibTeX RDF
2	Chima Adiele, Sylvanus A. Ehikioya	Dynamic Identification of Correspondence Assertions for Electronic Commerce Data Integration.	ITCC	2004	DBLP DOI BibTeX RDF
2	Mary Keeler	Using Brandom's Framework to Do Peirce's Normative Science: Pragmatism as the Game of Harmonizing Assertions?	ICCS	2004	DBLP DOI BibTeX RDF
2	Michael Möller, 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
2	Grace Tsai, Shuhua Wang	Using Program Transformations to Provide Safety Properties for Real-Time Systems.	Real-Time Systems	2004	DBLP DOI BibTeX RDF	fault tolerance, real time systems, formal methods, temporal logic, program verification, executable assertions
2	C. A. R. Hoare	Assertions: A Personal Perspective.	IEEE Annals of the History of Computing	2003	DBLP DOI BibTeX RDF
2	Patrick C. K. Hung, Guang-Sha Qiu	Specifying conflict of interest assertions in WS-policy with Chinese wall security policy.	SIGecom Exchanges	2003	DBLP DOI BibTeX RDF	WS-policy attachment, security assertion, XML, security policy, delegation, matchmaking, conflict of interest, WS-policy, service locators, Chinese wall security policy
2	Vânia Maria Ponte Vidal, Marco A. Casanova	Efficient Maintenance of XML Views Using View Correspondence Assertions.	EC-Web	2003	DBLP DOI BibTeX RDF
2	Paul A. Bailes, Colin J. M. Kemp	Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification.	COMPSAC	2003	DBLP DOI BibTeX RDF
2	J. Strother Moore	Inductive Assertions and Operational Semantics.	CHARME	2003	DBLP DOI BibTeX RDF
2	Avi Ziv	Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions .	DATE	2003	DBLP DOI BibTeX RDF
2	O. Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante	Soft-Error Detection Using Control Flow Assertions.	DFT	2003	DBLP DOI BibTeX RDF
2	Rajesh Venkatasubramanian, John P. Hayes, Brian T. Murray	Low-Cost On-Line Fault Detection Using Control Flow Assertions.	IOLTS	2003	DBLP DOI BibTeX RDF
2	Patrick C. K. Hung, Guang-Sha Qiu	Implementing Conflict of Interest Assertions for Web Services Matchmaking Process.	CEC	2003	DBLP DOI BibTeX RDF	WS-PolicyAttachment, Matchmaking, Conflict of interest, WS-Policy, Service locators, Chinese wall security policy
2	Margaret M. Burnett, Curtis R. Cook, Omkar Pendse, Gregg Rothermel, Jay Summet, Chris S. Wallace	End-User Software Engineering with Assertions in the Spreadsheet Paradigm. (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
2	Olaf Chitil, Dan McNeill, Colin Runciman	Lazy Assertions.	IFL	2003	DBLP DOI BibTeX RDF
2	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
2	Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan	Bug isolation via remote program sampling.	PLDI	2003	DBLP DOI BibTeX RDF	bug isolation, feature selection, logistic regression, assertions, random sampling, statistical debugging
2	Farn Wang, Geng-Dian Huang, Fang Yu	Symbolic Simulation of Real-Time Concurrent Systems.	RTCSA	2003	DBLP DOI BibTeX RDF	state-based, model-checking, verification, specification, Assertions, event-driven
2	József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner	Integrating Temporal Assertions into a Parallel Debugger.	Euro-Par	2002	DBLP DOI BibTeX RDF
2	Daniel Powell	Deriving Verification Conditions and Program Assertions to Support Software Inspection.	APSEC	2002	DBLP DOI BibTeX RDF	practical formal methods, stepwise abstraction, clean-room software development, verification, inspection, reading techniques, trusted components
2	C. A. R. Hoare	Assertions in Programming: From Scientific Theory to Engineering Practice.	Soft-Ware	2002	DBLP DOI BibTeX RDF
2	Christine Wallace, Curtis R. Cook, Jay Summet, Margaret M. Burnett	Assertions in End-User Software Engineering: A Think-Aloud Study.	HCC	2002	DBLP DOI BibTeX RDF