Stem assert$ (all stems)

148 papers:

DATE-2015-BombieriFPS #abstraction #verification

RTL property abstraction for TLM assertion-based verification (NB, RF, GP, FS), pp. 85–90.

DATE-2015-DaneseGP #automation #behaviour #execution #modelling

Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.

FASE-2015-FedyukovichDHS #bound #dependence #detection #model checking

Symbolic Detection of Assertion Dependencies for Bounded Model Checking (GF, ACD, AEJH, NS), pp. 186–201.

SEFM-2015-Muhlberg0DLP #learning #source code #verification

Learning Assertions to Verify Linked-List Programs (JTM, DHW, MD, GL, FP), pp. 37–52.

ICEIS-v2-2015-BerardiVC #named

R2BA — Rationalizing R2RML Mapping by Assertion (RB, VMPV, MAC), pp. 5–14.

ESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation #thread

Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.

ESEC-FSE-2015-XiongH0ZZL

Inner oracles: input-specific assertions on internal states (YX, DH, LZ, TZ, MZ, TL), pp. 902–905.

ESEC-FSE-2015-ZhangM #correlation #effectiveness #testing

Assertions are strongly correlated with test suite effectiveness (YZ, AM), pp. 214–224.

ICSE-v1-2015-CasalnuovoDOFR #git

Assert Use in GitHub Projects (CC, PTD, AO, VF, BR), pp. 755–766.

ICSE-v1-2015-PastoreM #detection #named

ZoomIn: Discovering Failures by Detecting Wrong Assertions (FP, LM), pp. 66–76.

CADE-2015-HouGT #automation #logic #proving #theorem proving

Automated Theorem Proving for Assertions in Separation Logic with All Connectives (ZH, RG, AT), pp. 501–516.

ASE-2014-KusanoW #abstraction #optimisation #partial order #reduction

Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction (MK, CW), pp. 175–186.

DAC-2014-AthavaleMHV #analysis #source code #test coverage #using

Code Coverage of Assertions Using RTL Source Code Analysis (VA, SM, SH, SV), p. 6.

PLDI-2014-SampsonPMMGC #probability #verification

Expressing and verifying probabilistic assertions (AS, PP, TM, KSM, DG, LC), p. 14.

SFM-2014-BoerG #monitoring #runtime

Combining Monitoring with Run-Time Assertion Checking (FSdB, SdG), pp. 217–262.

PPDP-2014-StulovaMH #debugging #higher-order #source code

Assertion-based Debugging of Higher-Order (C)LP Programs (NS, JFM, MVH), pp. 225–235.

FSE-2014-HuoC #detection #quality #testing

Improving oracle quality by detecting brittle assertions and unused inputs in tests (CH, JC), pp. 621–631.

TAP-2014-KosmatovS #analysis #runtime #tutorial

Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.

CSMR-2013-AnicheOG #case study #industrial #open source #quality #testing #what

What Do the Asserts in a Unit Test Tell Us about Code Quality? A Study on Open Source and Industrial Projects (MFA, GAO, MAG), pp. 111–120.

ESEC-FSE-2013-LahiriMSH #difference

Differential assertion checking (SKL, KLM, RS, CH), pp. 345–355.

DATE-2012-GuglielmoGFP #design #embedded #modelling #verification

Enabling dynamic assertion-based verification of embedded software through model-driven design (GDG, LDG, FF, GP), pp. 212–217.

KR-2012-WuHTW #knowledge base #query

Assertion Absorption in Object Queries over Knowledge Bases (JW, AKH, DT, GEW).

LOPSTR-2012-SeghirB #array #program transformation #quantifier #verification

Simplifying the Verification of Quantified Array Assertions via Code Transformation (MNS, MB), pp. 194–212.

PPDP-2012-LamC #datalog #linear #logic #modelling

Modeling datalog fact assertion and retraction in linear logic (ESLL, IC), pp. 67–78.

ICSE-2012-BoosFJK #cyber-physical #debugging #framework #named

BRACE: An assertion framework for debugging cyber-physical systems (KB, CLF, CJ, MK), pp. 1341–1344.

PPoPP-2012-DinhAJGMR #debugging #parallel #scalability #statistics

Scalable parallel debugging with statistical assertions (MND, DA, CJ, AG, BM, LDR), pp. 311–312.

DATE-2011-KengSV #automation #debugging

Automated debugging of SystemVerilog assertions (BK, SS, AGV), pp. 323–328.

DATE-2011-LiuSTV #design #generative #towards #using #validation

Towards coverage closure: Using GoldMine assertions for generating design validation stimulus (LL, DS, WT, SV), pp. 173–178.

PEPM-2011-Chitil #lazy evaluation #semantics

A semantics for lazy assertions (OC), pp. 141–150.

OOPSLA-2011-AftandilianGVY

Asynchronous assertions (EA, SZG, MTV, EY), pp. 275–288.

ICSE-2011-AraujoBL #concurrent #contract #java #modelling #runtime

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language (WA, LCB, YL), pp. 786–795.

ICSE-2011-DanielDGJJMNTM #named #testing

ReAssert: a tool for repairing broken unit tests (BD, DD, TG, VJ, JJ, DM, JN, SHT, DM), pp. 1010–1012.

ICST-2011-ShresthaR #empirical #evaluation

An Empirical Evaluation of Assertions as Oracles (KS, MJR), pp. 110–119.

VMCAI-2011-CousotCL #contract

Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (PC, RC, FL), pp. 150–168.

VMCAI-2011-SiegelZ

Collective Assertions (SFS, TKZ), pp. 387–402.

DAC-2010-HazraMDPBG #architecture #modelling #verification

Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent (AH, SM, PD, AP, DB, KG), pp. 773–776.

DATE-2010-LammermannRKRVJH #design #towards #verification

Towards assertion-based verification of heterogeneous system designs (SL, JR, TK, WR, AV, AJ, LH), pp. 1171–1176.

DATE-2010-NeishaburiZ #clustering #debugging #performance

Enabling efficient post-silicon debug by clustering of hardware-assertions (MHN, ZZ), pp. 985–988.

DATE-2010-OliveiraZ0 #verification

Assertion-based verification of RTOS properties (MFdSO, HZ, WM), pp. 630–633.

DATE-2010-VasudevanSPTTJ #automation #data mining #generative #mining #named #static analysis #using

GoldMine: Automatic assertion generation using data mining and static analysis (SV, DS, SJP, DT, WT, DRJ), pp. 626–629.

DATE-2010-WenCCL #debugging #named #parallel #runtime #source code

RunAssert: A non-intrusive run-time assertion for parallel programs debugging (CNW, SHC, TFC, TJL), pp. 287–290.

ESOP-2010-NaumannB #bound #first-order #higher-order #information management

Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (DAN, AB), pp. 2–22.

FASE-2010-LehnerM #performance #runtime

Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups (HL, PM), pp. 338–352.

SEFM-2010-BarrosCHP #graph #slicing

Assertion-based Slicing and Slice Graphs (JBB, DCdC, PRH, JSP), pp. 93–102.

SEFM-2010-HussainL #ml #named #runtime #specification

temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties (FH, GTL), pp. 63–72.

OOPSLA-2010-ReichenbachISAG #garbage collection #what

What can the GC compute efficiently?: a language for heap assertions at GC time (CR, NI, YS, EA, SZG), pp. 256–269.

ISMM-2010-VechevYY #named #parallel

PHALANX: parallel checking of expressive heap assertions (MTV, EY, GY), pp. 41–50.

ASE-2009-DanielJDM #named #testing

ReAssert: Suggesting Repairs for Broken Unit Tests (BD, VJ, DD, DM), pp. 433–444.

DAC-2009-SiegelMP #debugging #performance

Untwist your brain: efficient debugging and diagnosis of complex assertions (MS, AM, CP), pp. 644–647.

PLDI-2009-AftandilianG #garbage collection #using

GC assertions: using the garbage collector to check heap properties (EA, SZG), pp. 235–244.

SAS-2009-SeghirPW #abstraction #array #quantifier #refinement

Abstraction Refinement for Quantified Array Assertions (MNS, AP, TW), pp. 3–18.

CIKM-2009-LinEF #identification #web

Identifying interesting assertions from the web (TL, OE, JF), pp. 1787–1790.

MoDELS-2009-MoiseevHS #approach #generative #implementation #ocl

Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.

MoDELS-2009-MoiseevHS #approach #generative #implementation #ocl

Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.

ESEC-FSE-2009-BurnimS #parallel #source code #thread

Asserting and checking determinism for multithreaded programs (JB, KS), pp. 3–12.

SOSP-2009-YipWZK #data flow #security

Improving application security with data flow assertions (AY, XW, NZ, MFK), pp. 291–304.

ICLP-2009-MeraLH #framework #runtime #testing #verification

Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework (EM, PLG, MVH), pp. 281–295.

ICST-2009-KorelZT #source code #validation

Assertion-Based Validation of Modified Programs (BK, QZ, LT), pp. 426–435.

ICST-2009-MurphySK #ml #runtime #testing #using

Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles (CM, KS, GEK), pp. 436–445.

DAC-2008-TurumellaS #concurrent #thread #verification

Assertion-based verification of a 32 thread SPARCTM CMT microprocessor (BT, MS), pp. 256–261.

FM-2008-ChalinR #fault #ml #performance #runtime #using

JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.

FSE-2008-KoesnandarERHSS #metaprogramming #using #web

Using assertions to help end-user programmers create dependable web macros (AK, SGE, GR, LH, CS, KTS), pp. 124–134.

PPoPP-2008-SandersK #memory management #modelling #reasoning

Assertional reasoning about data races in relaxed memory models (BAS, KK), pp. 267–268.

CAV-2008-Foster #industrial #tutorial #verification

Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial) (HF), pp. 5–10.

VMCAI-2008-Moy #composition

Sufficient Preconditions for Modular Assertion Checking (YM), pp. 188–202.

ASE-2007-ElkarabliehGSK #data type

Assertion-based repair of complex data structures (BE, IG, YLS, SK), pp. 64–73.

DATE-2007-EckerESVH #framework #implementation #interactive #transaction

Interactive presentation: Implementation of a transaction level assertion framework in SystemC (WE, VE, TS, MV, MH), pp. 894–899.

ICEIS-EIS-2007-SomeN #case study #consistency #requirements #verification

Use Case Based Requirements Verification — Verifying the Consistency between Use Cases and Assertions (SSS, DKN), pp. 190–195.

SAC-2007-DinakarpandianTL #modelling #semantics #web

Modeling biomedical assertions in the semantic web (DD, TT, YL), pp. 1357–1361.

ICSE-2007-Chalin #compilation #evolution #semantics #verification

A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler (PC), pp. 23–33.

VMCAI-2007-GulwaniT

Assertion Checking Unified (SG, AT), pp. 363–377.

ASE-2006-Ireland #automation #logic #refinement #towards

Towards Automatic Assertion Refinement for Separation Logic (AI), pp. 309–312.

ASE-2006-LohmannES #contract #generative #modelling #monitoring #visual notation

Model-driven Monitoring: Generating Assertions from Visual Contracts (ML, GE, SS), pp. 355–356.

DATE-2006-BombieriFP #evaluation #on the #reuse #verification

On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL (NB, FF, GP), pp. 1007–1012.

DATE-2006-HabibiTSLM #performance #using #verification

Efficient assertion based verification using TLM (AH, ST, AS, DL, OAM), pp. 106–111.

DATE-DF-2006-DasMDC #synthesis

Synthesis of system verilog assertions (SD, RM, PD, PPC), pp. 70–75.

ESOP-2006-GulwaniT #abstraction #linear

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions (SG, AT), pp. 279–293.

IFL-2006-ChitilH #haskell #lazy evaluation #logic

A Pattern Logic for Prompt Lazy Assertions in Haskell (OC, FH), pp. 126–144.

CAV-2006-BustanH #complexity

Some Complexity Results for SystemVerilog Assertions (DB, JH), pp. 205–218.

CAV-2006-SethiB #c #deduction #named

cascade: C Assertion Checker and Deductive Engine (NS, CB), pp. 166–169.

FATES-RV-2006-ArmoniKTVZ #linear #monitoring

Deterministic Dynamic Monitors for Linear-Time Assertions (RA, DK, AT, MYV, YZ), pp. 163–177.

ISSTA-2006-LenceviciusM #mobile #performance

Performance assertions for mobile devices (RL, EM), pp. 225–232.

ASE-2005-JurjensY #analysis #security

Code security analysis with assertions (JJ, MY), pp. 392–395.

DATE-2005-GadkariR #automation #monitoring #specification #synthesis #using #visual notation

Automated Synthesis of Assertion Monitors using Visual Specifications (AAG, SR), pp. 390–395.

DATE-2005-YuWCHYB #architecture #design #network

Assertion-Based Design Exploration of DVS in Network Processor Architectures (JY, WW, XC, HH, JY, FB), pp. 92–97.

ESOP-2005-WildmoserN #bytecode #safety

Asserting Bytecode Safety (MW, TN), pp. 326–341.

WCRE-2005-WangCD #security #using

Enhancing Security Using Legality Assertions (LW, JRC, TRD), pp. 35–44.

SEFM-2005-Chalin #logic #question #what

Logical Foundations of Program Assertions: What do Practitioners Want? (PC), pp. 383–393.

SEFM-2005-WilsonMC #approach #configuration management #flexibility #policy #verification

Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification (TW, SM, RGC), pp. 150–159.

ICEIS-v1-2005-PequenoA #semantics #using

Using Correspondence Assertions to Specify the Semantics of Views in an Object-Relational Data Warehouse (VMP, JNA), pp. 219–225.

SAC-2005-Lu #correctness #declarative

Use of correctness assertions in declarative diagnosis (LL), pp. 1404–1408.

DATE-DF-2004-ChenLHBB #design #network

Utilizing Formal Assertions for System Design of Network Processors (XC, YL, HH, LNB, FB), pp. 126–133.

DATE-v1-2004-BrunelNFGL #development #named #process

SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract (JYB, MDN, AF, PG, LL), pp. 358–363.

ITiCSE-2004-Ginat #design

Embedding instructive assertions in program design (DG), pp. 62–66.

FoSSaCS-2004-Leivant #correctness #logic

Partial Correctness Assertions Provable in Dynamic Logics (DL), pp. 304–317.

ICSM-2004-SatpathySR #analysis #case study #maintenance #object-oriented

Assertions in Object Oriented Software Maintenance: Analysis and a Case Study (MS, NTS, DR), pp. 124–135.

IFM-2004-MorilloV #compilation

A Method for Compiling and Executing Expressive Assertions (FJGM, JMCV), pp. 521–540.

LICS-2004-Leivant #logic #proving #termination

Proving Termination Assertions in Dynamic Logics (DL), pp. 89–98.

DATE-2003-Ziv #functional #metric

Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions (AZ), pp. 10834–10841.

FME-2003-Henderson #correctness #proving #using

Proving the Correctness of Simpson’s 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method (NH), pp. 244–263.

IFL-2003-ChitilMR #lazy evaluation

Lazy Assertions (OC, DM, CR), pp. 1–19.

ICSE-2003-BurnettCPRSW #paradigm #re-engineering #spreadsheet

End-User Software Engineering with Assertions in the Spreadsheet Paradigm (MMB, CRC, OP, GR, JS, CSW), pp. 93–105.

CBSE-2003-Heineman #component #interface #modelling

Integrating Interface Assertion Checkers into Component Models (GTH), p. 9.

ESOP-2002-GoubaultMP #float #interpreter #precise

Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.

ICSM-2002-MullerTH #programming

Two Controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming (MMM, RT, OH), pp. 84–92.

SEKE-2002-BaresiDMP #debugging

Assertions to better specify the amazon bug (LB, GD, LM, PP), pp. 585–592.

TOOLS-USA-2002-Nunes #contract #design #using

Design by Contract Using Meta-Assertions (IN), pp. 37–56.

TOOLS-USA-2002-Plosch #evaluation #java #programming language

Evaluation of Assertion Support for the Java Programming Language (RP), pp. 5–17.

LCTES-SCOPES-2002-JhumkaHCS #consistency #design #embedded #execution #on the

On systematic design of globally consistent executable assertions in embedded software (AJ, MH, VC, NS), pp. 75–84.

PLDI-2001-MollerS #logic #pointer

The Pointer Assertion Logic Engine (AM, MIS), pp. 221–231.

TOOLS-EUROPE-2001-Hoare

Growing Use of Assertions (CARH), p. 3.

POPL-2001-IshtiaqO #data type

BI as an Assertion Language for Mutable Data Structures (SSI, PWO), pp. 14–26.

CAV-2001-AronsPRXZ #automation #induction #verification

Parameterized Verification with Automatically Computed Inductive Assertions (TA, AP, SR, JX, LDZ), pp. 221–234.

DAC-2000-HuangC #composition #constraints

Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques (CYH, KTC), pp. 118–123.

TOOLS-EUROPE-2000-Guerreiro #c++

Another Mediocre Assertion Mechanism for C++ (PG), pp. 226–237.

CADE-2000-Meier #proving

System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level (AM), pp. 460–464.

TOOLS-ASIA-1999-KatribFP #java #thread #using

Synchronizing Java Threads Using Assertions (MK, DF, EP), pp. 51–60.

LOPSTR-1999-PueblaBH #constraints #debugging #logic programming #source code

Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs (GP, FB, MVH), pp. 273–292.

DAC-1998-WangAK #array #automation #evaluation #generative #using #verification

Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation (LCW, MSA, NK), pp. 534–537.

DAC-1997-HasteerMB #performance

An Efficient Assertion Checker for Combinational Properties (GH, AM, PB), pp. 734–739.

OOPSLA-1997-Kent #constraints #diagrams #modelling #object-oriented #visualisation

Constraint Diagrams: Visualizing Assertions in Object-Oriented Models (SK), pp. 327–341.

TACAS-1996-CuellarBH #agile #prototype #specification

Rapid Prototyping for an Assertional Specification language (JC, DB, MH), pp. 402–406.

ICSE-1996-KorelA #automation #generative #testing

Assertion-Oriented Automated Test Data Generation (BK, AMAY), pp. 71–80.

ICSE-1996-RomanMP #interactive #mobile #reasoning

Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing (GCR, PJM, JYP), pp. 155–164.

JICSLP-1996-CostantiniLM #semantics

Asserting Lemmas in the Stable Model Semantics (SC, GAL, GM), pp. 438–452.

CAV-1995-AndersenV #behaviour #fixpoint #performance #using

Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion (HRA, BV), pp. 142–154.

ECOOP-1994-LampingA

Methods as Assertions (JL, MA), pp. 60–80.

TOOLS-EUROPE-1994-Carrillo-CastellonMP #smalltalk

Eiffel-like Assertions and Private Methods in Smalltalk (MCC, JGM, EP), pp. 479–488.

CADE-1994-Huang #proving #re-engineering

Reconstruction Proofs at the Assertion Level (XH), pp. 738–752.

ESEC-1993-Bourdoncle #abstract interpretation #debugging #imperative #source code

Assertion-based Debugging of Imperative Programs by Abstract Interpretation (FB), pp. 501–516.

SOSP-1993-PerlW #performance

Performance Assertion Checking (SEP, WEW), pp. 134–145.

ILPS-1993-OsorioJ #set

Subset Assertions and Negation As Failure (MO, BJ), p. 637.

ICSE-1992-Rosenblum #programming #towards

Towards a Method of Programming With Assertions (DSR), pp. 92–104.

SOSP-WIP-1991-Perl92 #performance

Performance Assertion Checking (Abstract) (SEP), p. 25.

KR-1991-Schaub #perspective #semantics

Assertional Default Theories: A Semantical View (TS), pp. 496–506.

ESEC-1991-GhezziK #named #realtime #specification

ASTRAL: An Assertion Language for Specifying Realtime Systems (CG, RAK), pp. 122–146.

ISLP-1991-DietzenP #declarative #logic programming

A Declarative Alternative to “Assert” in Logic Programming (SD, FP), pp. 372–386.

ICALP-1988-Tel #protocol #verification

Assertional Verification of a Timer Based Protocol (GT), pp. 600–614.

JICSCP-1988-MillsB88

Assertive Demons (JWM, KAB), pp. 1403–1414.

SLP-1984-Nakagawa84 #parallel #prolog #set

AND Parallel PROLOG with Divided Assertion Set (HN), pp. 22–28.

ICALP-1983-AptD #axiom #logic #using

An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract) (KRA, CD), pp. 15–27.

SIGMOD-1982-BernsteinB #calculus #performance #quantifier #relational #testing

Fast Methods for Testing Quantified Relational Calculus Assertions (PAB, BTB), pp. 39–50.

VLDB-1980-BernsteinBC #maintenance #performance #semantics #using

Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data (PAB, BTB, EMC), pp. 126–136.

SIGMOD-1978-HammerS #database #monitoring #performance

Efficient Monitoring of Database Assertions (Abstract) (MH, SKS), p. 159.

ICSE-1976-Chow

A Generalized Assertion Language (TSC), pp. 392–399.

ICSE-1976-MannaW #correctness #proving

Is “Sometime” Sometimes Better Than “Always”? Intermittent Assertions in Proving Program Correctness (ZM, RJW), pp. 32–39.

STOC-1975-OppenC #data type #proving #source code

Proving Assertions about Programs that Manipulate Data Structures (DCO, SAC), pp. 107–116.

POPL-1975-CookO #data type

An Assertion Language for Data Structures (SAC, DCO), pp. 160–166.