BibSLEIGH — contract tag

contract

contract

Tag #contract

314 papers:

ICPC-2019-0002KJCZ #recommendation: Recommending differentiated code to support smart contract update (YH0, QK, NJ, XC, ZZ), pp. 260–270.
ICPC-2019-LiuYJZS #clone detection #detection: Enabling clone detection for ethereum via smart contract birthmarks (HL0, ZY, YJ0, WZ, JS), pp. 105–115.
ICSME-2019-GaoJJ00G #debugging #detection #named: SmartEmbed: A Tool for Clone and Bug Detection in Smart Contracts through Structural Code Embedding (ZG, VJ, LJ, XX0, DL0, JCG), pp. 394–397.
SANER-2019-WangWSZ #effectiveness #generative #testing #towards: Towards Generating Cost-Effective Test-Suite for Ethereum Smart Contract (XW, HW, WS, YZ), pp. 549–553.
SEFM-2019-BravettiZ #behaviour: Relating Session Types and Behavioural Contracts: The Asynchronous Case (MB, GZ), pp. 29–47.
SEFM-2019-KamburjanDHJ #scheduling: Asynchronous Cooperative Contracts for Cooperative Scheduling (EK, CCD, RH, EBJ), pp. 48–66.
MoDELS-2019-SantosSSN #design #named #synthesis: CONDEnSe: Contract Based Design Synthesis (CARdS, AHS, TS, MN), pp. 250–260.
OOPSLA-2019-SergeyNJ0TH #programming: Safer smart contract programming with Scilla (IS, VN, JJ, AK0, AT, KCGH), p. 30.
OOPSLA-2019-WangZS #debugging #detection #nondeterminism: Detecting nondeterministic payment bugs in Ethereum smart contracts (SW, CZ, ZS), p. 29.
PLDI-2019-NguyenGTH #higher-order #source code #termination: Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs (PCN, TG, STH, DVH), pp. 845–859.
PPDP-2019-LippmeierRM: Smart Contracts as Authorized Production Rules (BL, AR, AM), p. 14.
ASE-2019-LiWXWZ0 #mutation testing #named #testing: MuSC: A Tool for Mutation Testing of Ethereum Smart Contract (ZL, HW, JX, XW, LZ, ZC0), pp. 1198–1201.
ASE-2019-MossbergMHGGFBD #execution #framework #named #symbolic computation: Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts (MM, FM, EH, AG, GG, JF, TB, AD), pp. 1186–1189.
ASE-2019-SadiqLLAL #java #named #source code: Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs (AS, LL, YFL, IA, SL), pp. 1098–1101.
ESEC-FSE-2019-AtzeiBLYZ: Developing secure bitcoin contracts with BitML (NA, MB, SL, NY, RZ), pp. 1124–1128.
ESEC-FSE-2019-Vandenbogaerde #design #framework #graph: A graph-based framework for analysing the design of smart contracts (BV), pp. 1220–1222.
ICSE-2019-GrechBSS #declarative #decompiler #named: Gigahorse: thorough, declarative decompilation of smart contracts (NG, LB, BS, YS), pp. 1176–1186.
MoDELS-2018-SelwayGSOD #development #integration #model transformation #visual notation: Integration of Visual Contracts and Model Transformation for Enhanced MDE Development (MS, GG, MS, KRO, RMD), pp. 415–425.
OOPSLA-2018-EzudheenND0M #invariant #learning: Horn-ICE learning for synthesizing invariants and contracts (PE, DN, DD, PG0, PM), p. 25.
OOPSLA-2018-FelteyGSFS #type system: Collapsible contracts: fixing a pathology of gradual typing (DF, BG, CS, RBF, VSA), p. 27.
OOPSLA-2018-GrechKJBSS #named: MadMax: surviving out-of-gas conditions in Ethereum smart contracts (NG, MK, AJ, LB, BS, YS), p. 27.
OOPSLA-2018-WilliamsMW #using: The root cause of blame: contracts for intersection and union types (JW, JGM, PW), p. 29.
AdaEurope-2018-JaradatP #design #runtime #safety #using #verification: Using Safety Contracts to Verify Design Assumptions During Runtime (OJ, SP), pp. 3–18.
POPL-2018-GrossmanAGMRSZ #detection #effectiveness #online: Online detection of effectively callback free objects with applications to smart contracts (SG, IA, GGG, YM, NR, MS, YZ), p. 28.
POPL-2018-NguyenGTH #higher-order #source code #verification: Soft contract verification for higher-order stateful programs (PCN, TG, STH, DVH), p. 30.
PPDP-2018-AnnenkovE #compilation: Certified Compilation of Financial Contracts (DA, ME), p. 13.
PPDP-2018-NishidaI #nondeterminism: Nondeterministic Manifest Contracts (YN0, AI), p. 13.
ASE-2018-JiangLC #detection #fuzzing #named: ContractFuzzer: fuzzing smart contracts for vulnerability detection (BJ, YL, WKC), pp. 259–269.
ASE-2018-LiuLZJS #named #security #semantics #towards: S-gram: towards semantic-aware security auditing for Ethereum smart contracts (HL, CL, WZ, YJ0, JS), pp. 814–819.
ESOP-2018-ChatterjeeGV #analysis: Quantitative Analysis of Smart Contracts (KC, AKG, YV), pp. 739–767.
ESOP-2018-GommerstadtJP #concurrent: Session-Typed Concurrent Contracts (HG, LJ, FP), pp. 771–798.
CAV-2018-GrishchenkoMS #static analysis #tool support: Foundations and Tools for the Static Analysis of Ethereum Smart Contracts (IG, MM, CS), pp. 51–78.
ICTSS-2018-BordingHJW #automation #java #named #testing: JMCTest: Automatically Testing Inter-Method Contracts in Java (PB, JH, MCJ, HW), pp. 39–55.
CSEET-2017-HeymSBSPHKS #case study #component #education #experience #multi #reasoning: Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions (WDH, PAGS, PB, MS, KP, JEH, JK, NS), pp. 202–211.
SANER-2017-ChenLLZ: Under-optimized smart contracts devour your money (TC0, XL, XL, XZ), pp. 442–446.
IFM-2017-OweRF #hoare #multi #reasoning: Hoare-Style Reasoning from Multiple Contracts (OO, TR, EF), pp. 263–278.
ICFP-2017-MelgrattiP #higher-order: Chaperone contracts for higher-order sessions (HCM, LP), p. 29.
ICFP-2017-WayeCD #higher-order #named: Whip: higher-order contracts for modern services (LW, SC, CD), p. 28.
ECOOP-2017-DietrichPJBD #case study #java #source code: Contracts in the Wild: A Study of Java Programs (JD0, DJP, KJ, PB), p. 29.
LOPSTR-2017-Hanus: Combining Static and Dynamic Contract Checking for Curry (MH), pp. 323–340.
POPL-2017-MadhavanKK #higher-order #verification: Contract-based resource verification for higher-order functions with memoization (RM, SK, VK), pp. 330–343.
POPL-2017-SekiyamaI: Stateful manifest contracts (TS, AI), pp. 530–544.
ASE-2017-Chen0F #program repair: Contract-based program repair without the contracts (LC, YP0, CAF), pp. 637–647.
FASE-2017-0002MRSP #component #hybrid #verification: Change and Delay Contracts for Hybrid System Component Verification (AM0, SM, WR, WS, AP), pp. 134–151.
ICST-2017-DiasFFLSSV #concurrent #source code #using #verification: Verifying Concurrent Programs Using Contracts (RJD, CF0, JF, JML, AS, DGS, TV), pp. 196–206.
SEFM-2016-ChampionGKT #named: CoCoSpec: A Mode-Aware Contract Language for Reactive Systems (AC, AG, TK, CT), pp. 347–366.
SEFM-2016-CimattiDT #refinement: Tightening a Contract Refinement (AC, RD, ST), pp. 386–402.
ICFP-2016-DimoulasNFF #functional: Oh Lord, please don't let contracts be misunderstood (functional pearl) (CD, MSN, RBF, MF), pp. 117–131.
MoDELS-2016-Kosiuczenko #on the #protocol #state machine #synthesis: On the synthesis of protocol state machines from contracts (PK), pp. 76–85.
OOPSLA-2016-MooreDFFC #data access: Extensible access control with authorization contracts (SM, CD, RBF, MF, SC), pp. 214–233.
LOPSTR-2016-Alpuente0V #framework #synthesis: Symbolic Abstract Contract Synthesis in a Rewriting Framework (MA, DP0, AV), pp. 187–202.
ASE-2016-AlshanqitiHK #dynamic analysis #reverse engineering #using #visual notation: Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis (AMA, RH, TK), pp. 816–821.
CBSE-2015-KramerLMSB #architecture #component #consistency #modelling: Change-Driven Consistency for Component Code, Architectural Models, and Contracts (MEK, ML, DM, SS, EB), pp. 21–26.
CBSE-2015-MouelhiACM #behaviour #component #design #object-oriented #using: Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems (SM, KA, SC, HM), pp. 49–58.
CBSE-2015-NandiMO #component #probability #realtime #runtime: Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.
ICFP-2015-BahrBE #multi: Certified symbolic management of financial multi-party contracts (PB, JB, ME), pp. 315–327.
ICFP-2015-KeilT #higher-order: Blame assignment for higher-order contracts with intersection and union (MK, PT), pp. 375–386.
ICFP-2015-SwordsST #communication #monitoring: Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.
CIG-2015-Brown #game studies #towards: Towards better personas in gaming : Contract based expert systems (JAB), pp. 540–541.
GCM-2015-BottoniNP #constraints #modelling #policy #using: Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling (PB, RN, FPP), pp. 18–33.
DUXU-UI-2015-Passera #design #how: Beyond the Wall of Text: How Information Design Can Make Contracts User-Friendly (SP), pp. 341–352.
ICEIS-v1-2015-Giaglis #named: Money-over-IP — From Bitcoin to Smart Contracts and M2M Money (GMG), p. V.
ICEIS-v3-2015-LongoZB #composition: Extending WSLA for Service and Contract Composition (AL, MZ, MAB), pp. 307–315.
MoDELS-2015-NiemannHGW: Extracting frame conditions from operation contracts (PN, FH, MG, RW), pp. 266–275.
MoDELS-2015-OakesTLW #atl #declarative #verification: Fully verifying transformation contracts for declarative ATL (BJO, JT, LL, MW), pp. 256–265.
ECOOP-2015-KeilT #higher-order #named: TreatJS: Higher-Order Contracts for JavaScripts (MK, PT), pp. 28–51.
POPL-2015-Greenberg: Space-Efficient Manifest Contracts (MG), pp. 181–194.
POPL-2015-SekiyamaNI #data type: Manifest Contracts for Datatypes (TS, YN, AI), pp. 195–207.
ASE-2015-AlshanqitiH #java #source code #visual notation: Extracting Visual Contracts from Java Programs (T) (AMA, RH), pp. 104–114.
SAC-2015-DieumegardGKTT #compilation: Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.
SAC-2015-ZappatoreLB #composition #network #representation: SLA composition in service networks: a tool for representing relationships between SLAs and contracts (MZ, AL, MAB), pp. 1219–1224.
GPCE-2015-KolesnichenkoPN #gpu #programming: Contract-based general-purpose GPU programming (AK, CMP, SN, BM), pp. 75–84.
ICTSS-2015-BoudhibaGGP #modelling #testing: Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts (IB, CG, PLG, VP), pp. 35–51.
ICSME-2014-LeYLTR: Dynamic Inference of Change Contracts (TDBL, JY, DL, FT, AR), pp. 451–455.
ICSME-2014-YanMG #evolution #mining: Mining Software Contracts for Software Evolution (YY, MM, WGG), pp. 471–475.
FM-2014-EstlerFNPM: Contracts in Practice (HCE, CAF, MN, MP, BM), pp. 230–246.
ICFP-2014-Findler #behaviour: Behavioral software contracts (RBF), pp. 137–138.
ICFP-2014-NguyenTH #verification: Soft contract verification (PCN, STH, DVH), pp. 139–152.
GT-VMT-2014-AlshanqitiH #java #reverse engineering #towards #visual notation: Towards Dynamic Reverse Engineering Visual Contracts from Java (AMA, RH).
KMIS-2014-KimK #case study #information management: A Study on the Improvement of Contract Information Management in Korea’s Public Construction Technology Service (NK, SJK), pp. 387–392.
MoDELS-2014-WestmanN #cyber-physical #design: Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.
ICSE-2014-SchillerDCE #case study #specification #tool support: Case studies and tools for contract specifications (TWS, KD, FC, MDE), pp. 596–607.
CASE-2014-ChuLSO #analysis #flexibility #linear #parametricity #programming #using: Flexibility analysis on a supply chain contract using a parametric Linear Programming model (CC, EEL, XS, DO), pp. 704–709.
DATE-2014-IannopolloNTS #design #refinement #scalability: Library-based scalable refinement checking for contract-based design (AI, PN, ST, ALSV), pp. 1–6.
DATE-2014-NuzzoFIS #cyber-physical #design #protocol #safety: Contract-based design of control protocols for safety-critical cyber-physical systems (PN, JBF, AI, ALSV), pp. 1–4.
FASE-2014-PeiFNM #automation #program repair: Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.
ITiCSE-2013-ClarkeL #aspect-oriented: Commercial aspects of contract cheating (RC, TL), pp. 219–224.
IFM-2013-LaneveP #algebra #web #web service: An Algebraic Theory for Web Service Contracts (CL, LP), pp. 301–315.
GT-VMT-2013-RungeKH #generative #testing #using #visual notation: Test Case Generation Using Visual Contracts (OR, TAK, RH).
EDOC-2013-GallegeGHR #monitoring #trust #using: Trustworthy Service Selection Using Long-Term Monitoring of Trust Contracts (LSG, DG, JHH, RRR), pp. 195–200.
OOPSLA-2013-DimoulasFF: Option contracts (CD, RBF, MF), pp. 475–494.
HILT-2013-Logozzo #specification #verification: Practical specification and verification with code contracts (FL), pp. 7–8.
HILT-2013-Logozzo13a: Technology for inferring contracts from code (FL), pp. 13–14.
ASE-2013-CimattiDT #named #refinement: OCRA: A tool for checking the refinement of temporal contracts (AC, MD, ST), pp. 702–705.
ESOP-2013-TakikawaST: Constraining Delimited Control with Contracts (AT, TSS, STH), pp. 229–248.
ICST-2013-AbadABCFGMMRV #bound #generative #incremental #satisfiability #testing: Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.
ISSTA-2013-Thum #feature model #product line #verification: Product-line verification with feature-oriented contracts (TT), pp. 374–377.
ISSTA-2013-YiQTR: Expressing and checking intended changes via software change contracts (JY, DQ, SHT, AR), pp. 1–11.
SCAM-2012-ThiagarajanHBR #data flow #developer: Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK (HT, JH, JB, R), pp. 132–137.
ICFP-2012-Chitil #lazy evaluation: Practical typed lazy contracts (OC), pp. 67–76.
GT-VMT-2012-KhanRH #testing #visual notation: Visual Contracts as Test Oracle in AGG 2.0 (TAK, OR, RH).
ICGT-2012-KhanRH #modelling #testing #visual notation: Testing against Visual Contracts: Model-Based Coverage (TAK, OR, RH), pp. 279–293.
KMIS-2012-ThonssenL #approach #semantics: Semantically Enriched Obligation Management — An Approach for Improving the Handling of Obligations Represented in Contracts (BT, JL), pp. 40–48.
SEKE-2012-RebeloLMOR #aspect-oriented #source code: Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (HR, RMFL, AM, CALO, MR), pp. 148–153.
OOPSLA-2012-CousotCLB #abstract interpretation #framework #refactoring: An abstract interpretation framework for refactoring with application to extract methods with contracts (PC, RC, FL, MB), pp. 213–232.
OOPSLA-2012-Tobin-HochstadtH #execution #higher-order #symbolic computation: Higher-order symbolic execution via contracts (STH, DVH), pp. 537–554.
HILT-2012-BeltCHR #ada #automation #using #verification: Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan (JB, PC, JH, R), pp. 3–4.
PADL-2012-AntoyH #functional #logic programming #specification: Contracts and Specifications for Functional Logic Programming (SA, MH), pp. 33–47.
PEPM-2012-DegenTW #interactive #lazy evaluation: The interaction of contracts and laziness (MD, PT, SW), pp. 97–106.
PEPM-2012-Xu #hybrid: Hybrid contract checking via symbolic simplification (DNX), pp. 107–116.
POPL-2012-HeideggerBT #scripting language: Access permission contracts for scripting languages (PH, AB, PT), pp. 111–122.
RE-2012-SongH #categorisation #integration #requirements: Categorizing requirements for a contract-based system integration project (XS, BH), pp. 279–284.
FSE-2012-QiYR: Software change contracts (DQ, JY, AR), p. 22.
SAC-2012-BernardiH #modelling #using: Modelling session types using contracts (GB, MH), pp. 1941–1946.
ESOP-2012-DimoulasTF #behaviour #monitoring: Complete Monitors for Behavioral Contracts (CD, STH, MF), pp. 214–233.
FASE-2012-BauerDHLLNW #component #design #specification: Moving from Specifications to Contracts in Component-Based Design (SSB, AD, RH, KGL, AL, UN, AW), pp. 43–58.
FASE-2012-ThumSKAS #design #feature model #programming: Applying Design by Contract to Feature-Oriented Programming (TT, IS, MK, SA, GS), pp. 255–269.
STOC-2012-CebrianCVV #robust: Finding red balloons with split contracts: robustness to individuals’ selfishness (MC, LC, AV, PV), pp. 775–788.
VMCAI-2012-ChatterjeeR #protocol: Synthesizing Protocols for Digital Contract Signing (KC, VR), pp. 152–168.
QoSA-ISARCS-2011-PeakeS #modelling #trade-off: Systematic simplicity-accuracy tradeoffs in parameterised contract models (IDP, HWS), pp. 95–104.
SIGMOD-2011-DamaggioDZ #behaviour #database #query: Querying contract databases based on temporal behavior (ED, AD, DZ), pp. 397–408.
ICFP-2011-DisneyFM #higher-order: Temporal higher-order contracts (TD, CF, JM), pp. 176–188.
GT-VMT-2011-HeckelKM #test coverage #towards #visual notation: Towards Test Coverage Criteria for Visual Contracts (RH, TAK, RM).
EDOC-2011-Halle #logic #message passing: Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit” (SH), pp. 171–180.
ICEIS-v2-2011-Feng #case study #research: The Study on Member Incentive of Scientific Research Group in University based on Psychological Contracts (HF), pp. 423–431.
SEKE-2011-RebeloLKSCMRO #aspect-oriented #design #impact analysis: Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study (HR, RMFL, UK, CS, RC, AM, MR, CALO), pp. 450–455.
ECMFA-2011-CariouBFB #execution #verification: Contracts for Model Execution Verification (EC, CB, AF, FB), pp. 3–18.
POPL-2011-DimoulasFFF: Correct blame for contracts: no more scapegoating (CD, RBF, CF, MF), pp. 215–226.
SIGAda-2011-BeltHRCHD #execution #symbolic computation #using: Enhancing spark’s contract checking facilities using symbolic execution (JB, JH, R, PC, DH, XD), pp. 47–60.
ASE-2011-WeiRFPHSNM #fault #testing: Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.
ICSE-2011-AraujoBL #concurrent #java #modelling #runtime: Enabling the runtime assertion checking of concurrent contracts for the Java modeling language (WA, LCB, YL), pp. 786–795.
ICSE-2011-WeiFKM: Inferring better contracts (YW, CAF, NK, BM), pp. 191–200.
ICSE-2011-WilliamsW #re-engineering #research: The American law institute’s principles on software contracts and their ramifications for software engineering research (JBW, JHWJ), pp. 972–975.
DAC-2011-PatilBC #architecture #synthesis: Enforcing architectural contracts in high-level synthesis (NAP, AB, DC), pp. 824–829.
DATE-2011-DammHJPS #architecture #component #design #integration #specification #testing #using: Using contract-based component specifications for virtual integration testing and architecture design (WD, HH, BJ, TP, IS), pp. 1023–1028.
PPoPP-2011-KarmaniMM #concurrent #parallel #thread: Thread contracts for safe parallelism (RKK, PM, BMM), pp. 125–134.
ESOP-2011-BeloGIP #polymorphism: Polymorphic Contracts (JFB, MG, AI, BCP), pp. 18–37.
FASE-2011-KhanH #analysis #dependence #modelling #on the #testing #using #visual notation: On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts (TAK, RH), pp. 341–355.
ICTSS-2011-EnderlinDGO #named #php #specification #testing: Praspel: A Specification Language for Contract-Based Testing in PHP (IE, FD, AG, ABO), pp. 64–79.
VMCAI-2011-CousotCL: Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (PC, RC, FL), pp. 150–168.
CBSE-2010-DietrichS #case study #component #eclipse: Component Contracts in Eclipse — A Case Study (JD, LS), pp. 150–165.
ICPC-2010-AreiasCP #reuse #safety #slicing: Contract-Based Slicing Helps on Safety Reuse (SA, DCdC, JSP), pp. 62–63.
SEFM-2010-GallerWW #design: Synthesize It: From Design by Contract to Meaningful Test Input Data (SJG, MW, FW), pp. 286–295.
EDOC-2010-Halle #interface #ltl #monitoring #runtime: Cooperative Runtime Monitoring of LTL Interface Contracts (SH), pp. 227–236.
ICEIS-ISAS-2010-CouturierHT #automation #case study #information management: Engineering Agent-based Information Systems — A Case Study of Automatic Contract Net Systems (VC, MPH, DT), pp. 242–248.
CIKM-2010-BharadwajMSSVXY #online: Pricing guaranteed contracts in online display advertising (VB, WM, MS, JS, EV, JX, JY), pp. 399–408.
ECOOP-2010-ZaeemK #alloy #data type #using: Contract-Based Data Structure Repair Using Alloy (RNZ, SK), pp. 577–598.
TOOLS-EUROPE-2010-NelsonPN #comprehension #design: Understanding the Impact of Collection Contracts on Design (SN, DJP, JN), pp. 61–78.
POPL-2010-GreenbergPW: Contracts made manifest (MG, BCP, SW), pp. 353–364.
SAS-2010-Fahndrich #verification: Static Verification for Code Contracts (MF), pp. 2–5.
ICSE-2010-UbayashiNT #architecture #design #named: Archface: a contract place where architectural design and code meet together (NU, JN, TT), pp. 75–84.
SAC-2010-FahndrichBL #embedded: Embedded contract languages (MF, MB, FL), pp. 2103–2110.
SAC-2010-HirschfeldPSA: Dynamic contract layers (RH, MP, CS, MA), pp. 2169–2175.
SAC-2010-HurnausP #automation #composition #programming #verification: Programming assistance based on contracts and modular verification in the automation domain (DH, HP), pp. 2544–2551.
SAC-2010-KerfootM #aspect-oriented #concurrent: Checking concurrent contracts with aspects (EK, SM), pp. 2523–2530.
GPCE-2010-KriegerKW #automation #performance #simulation: Automatic and efficient simulation of operation contracts (MPK, AK, BW), pp. 53–62.
CASE-2010-GeK: Integrating advance demand information in supply chain contracts (DG, AK), pp. 380–385.
LCTES-2010-DelavalMR #composition #synthesis: Contracts for modular discrete controller synthesis (GD, HM, ÉR), pp. 57–66.
ESOP-2010-AmtoftHR #array #automation #certification #data flow #precise #reasoning #source code #verification: Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (TA, JH, ER), pp. 43–63.
ESOP-2010-TovP: Stateful Contracts for Affine Types (JAT, RP), pp. 550–569.
FASE-2010-NaeemHOH #composition #incremental #visual notation: Incremental Service Composition Based on Partial Matching of Visual Contracts (MN, RH, FO, FH), pp. 123–138.
ICST-2010-PorresR #nondeterminism #protocol #uml: From Nondeterministic UML Protocol Statemachines to Class Contracts (IP, IR), pp. 107–116.
ISSTA-2010-WeiPFSBMZ #automation #source code: Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.
SIGMOD-2009-Chaudhuri #query #question: Query optimizers: time to rethink the contract? (SC), pp. 961–968.
IFM-2009-CabotCR #ocl #uml #verification: Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.
IFM-2009-PaceS #challenge #specification: Challenges in the Specification of Full Contracts (GJP, GS), pp. 292–306.
SEFM-2009-GoesslerR #component #design: Modal Contracts for Component-Based Design (GG, JBR), pp. 295–303.
SFM-2009-BravettiZ #composition #web #web service: Contract-Based Discovery and Composition of Web Services (MB, GZ), pp. 261–295.
SFM-2009-Padovani #adaptation #web #web service: Contract-Based Discovery and Adaptation of Web Services (LP), pp. 213–260.
ICEIS-AIDSS-2009-CardosoO #monitoring: Monitoring Cooperative Business Contracts in an Institutional Environment (HLC, ECO), pp. 206–211.
ICEIS-J-2009-BacarinMM #multi: Assembling and Managing Virtual Organizations out of Multi-party Contracts (EB, ERMM, CBM), pp. 758–769.
MoDELS-2009-OldevikMK #composition: Model Composition Contracts (JO, MM, IK), pp. 531–545.
MoDELS-2009-OldevikMK #composition: Model Composition Contracts (JO, MM, IK), pp. 531–545.
POPL-2009-XuJC #haskell: Static contract checking for Haskell (DNX, SLPJ, KC), pp. 41–52.
PPDP-2009-DimoulasPF: Future contracts (CD, RP, MF), pp. 195–206.
ICSE-2009-CasoBGU #abstraction #finite #using #validation: Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.
DAC-2009-SunNWS #composition: Contract-based system-level composition of analog circuits (XS, PN, CCW, ALSV), pp. 605–610.
ESOP-2009-Eber #design #programming language #question #specification #tool support #what: The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design? (JME), pp. 205–206.
CAV-2009-HalleV #interface #web: Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep (SH, RV), pp. 648–653.
ISSTA-2009-PolikarpovaCM #automation #case study #comparative: A comparative study of programmer-written and automatically inferred contracts (NP, IC, BM), pp. 93–104.
ISSTA-2009-StengelB: Analyzing singularity channel contracts (ZS, TB), pp. 13–24.
MBT-2009-KrennA #generative #specification #testing: Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.
TAP-2009-Gladisch #invariant #question: Could We Have Chosen a Better Loop Invariant or Method Contract? (CG), pp. 74–89.
FM-2008-AmtoftHRRHG #data flow #specification: Specification and Checking of Software Contracts for Conditional Information Flow (TA, JH, ER, R, JH, DG), pp. 229–245.
SEFM-2008-QuintonG #component #verification: Contract-Based Verification of Hierarchical Systems of Components (SQ, SG), pp. 377–381.
CAiSE-2008-CostalGQT #concept: Drawing Preconditions of Operation Contracts from Conceptual Schemas (DC, CG, AQ, ET), pp. 266–280.
SEKE-2008-SandersZ #design #execution #java: Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts (SMS, CZ), pp. 824–829.
ICMT-2008-VignagaPB #interactive #model transformation #using: Extracting Object Interactions Out of Software Contracts Using Model Transformations (AV, DP, MCB), pp. 245–259.
POPL-2008-CastagnaGP #formal method #web #web service: A theory of contracts for web services (GC, NG, LP), pp. 261–272.
SAC-2008-RebeloSLFC #aspectj #implementation #java #modelling: Implementing Java modeling language contracts with AspectJ (HR, SS, RMFL, LF, MC), pp. 228–233.
PDP-2008-GoswamiG #using: Resource Selection in Grids Using Contract Net (KG, AG), pp. 105–109.
ICST-2008-UbayashiPST #aspect-oriented #refactoring #verification: Contract-Based Verification for Aspect-Oriented Refactoring (NU, JP, SS, TT), pp. 180–189.
CBSE-2007-BaiWDTC #collaboration #framework #validation #verification #web #web service: A Framework for Contract-Based Collaborative Verification and Validation of Web Services (XB, YW, GD, WTT, YC), pp. 258–273.
CBSE-2007-Dahlgren #component #interface: Performance-Driven Interface Contract Enforcement for Scientific Components (TD), pp. 157–172.
CBSE-2007-MulugetaS #approach #component #distributed: An Approach for QoS Contract Negotiation in Distributed Component-Based Software (MM, AS), pp. 90–106.
IFL-2007-FindlerGR #data type #lazy evaluation: Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.
IFL-2007-HerhutSBGT #dependent type #partial evaluation #proving #towards: From Contracts Towards Dependent Types: Proofs by Partial Evaluation (SH, SBS, RB, CG, KT), pp. 254–273.
AGTIVE-2007-EngelsGSW #consistency #modelling #process #using #visual notation #web #web service: Assuring Consistency of Business Process Models and Web Services Using Visual Contracts (GE, BG, CS, HW), pp. 17–31.
EDOC-2007-TilakR #component #distributed #interactive: Temporal Interaction Contracts for Components in a Distributed System (OJT, RRR), pp. 339–352.
MoDELS-2007-CabotG #diagrams #uml: Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
MoDELS-2007-CabotG #diagrams #uml: Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
ESEC-FSE-2007-LeitnerCOMF #development #testing: Contract driven development = test driven development — writing test cases (AL, IC, MO, BM, AF), pp. 425–434.
TAP-2007-LiuMS #automation #generative #quality #query #testing #using: Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation (L(L, BM, BS), pp. 114–130.
CBSE-2006-LauU #component #deployment: Defining and Checking Deployment Contracts for Software Components (KKL, VU), pp. 1–16.
SEFM-2006-FeldmanBT #aspect-oriented #design #named: Jose: Aspects for Design by Contract80-89 (YAF, OB, SST), pp. 80–89.
SEFM-2006-FeldmanG #automation #named #towards: Discern: Towards the Automatic Discovery of Software Contracts (YAF, LG), pp. 90–99.
FLOPS-2006-FindlerB: Contracts as Pairs of Projections (RBF, MB), pp. 226–241.
FLOPS-2006-HinzeJL #functional #programming: Typed Contracts for Functional Programming (RH, JJ, AL), pp. 208–225.
ICGT-2006-EngelsLSH #design #graph transformation #modelling #monitoring: Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract (GE, ML, SS, RH), pp. 336–350.
EDOC-2006-GorpAJ #2d #consistency #framework #nondeterminism #platform #towards #traceability #visual notation: Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated Inconsistencies (PVG, FA, DJ), pp. 185–198.
EDOC-2006-GovernatoriMS #process: Compliance checking between business processes and business contracts (GG, ZM, SWS), pp. 221–232.
EDOC-2006-MilosevicSO #process: Translating business contract into compliant business processes (ZM, SWS, MEO), pp. 211–220.
EDOC-2006-YanZY #modelling #ontology #owl #semantics #using: Ontology Modeling for Contract: Using OWL to Express Semantic Relations (YY, JZ, MY), pp. 409–412.
ICEIS-ISAS-2006-CruzLW #specification #visual notation: Visual Contracts — A Way to Reason about States and Cardinalities in IT System Specifications (JDDlC, LSL, AW), pp. 298–303.
SEKE-2006-HallstromDS #design pattern #monitoring #parallel: Parallel Monitoring of Design Pattern Contracts (JOH, ARD, NS), pp. 236–241.
POPL-2006-MeunierFF #analysis #composition: Modular set-based analysis from contracts (PM, RBF, MF), pp. 218–231.
ASE-2006-LohmannES #generative #modelling #monitoring #visual notation: Model-driven Monitoring: Generating Assertions from Visual Contracts (ML, GE, SS), pp. 355–356.
ICSE-2006-BriandLS #automation #component #testing: Automated, contract-based user testing of commercial-off-the-shelf components (LCB, YL, MMS), pp. 92–101.
SAC-2006-TylerHS #automation #generative #monitoring: Automated generation of monitors for pattern contracts (BT, JOH, NS), pp. 1779–1784.
GPCE-2006-PerryJW #linear #logic: Expressing heap-shape contracts in linear logic (FP, LJ, DW), pp. 101–110.
HPDC-2006-AuYoungRWW: Service contracts and aggregate utility functions (AA, LR, SW, JW), pp. 119–131.
ESOP-2006-CarpinetiL #web #web service: A Basic Contract Language for Web Services (SC, CL), pp. 197–213.
CSEET-2005-McKimE #design: Course Module: Design By Contract (JCM, HJCE), pp. 239–241.
ICSM-2005-BriandDL #aspect-oriented #debugging #programming: Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging (LCB, WJD, YL), pp. 687–690.
ICSM-2005-JiangHSZX #component #testing: Contract-Based Mutation for Testing Components (YJ, SSH, JS, LZ, BX), pp. 483–492.
ICSM-2005-SusaniD #maintenance #specification #using: Cross-Organizational Service Maintenance Using Temporal Availability Specification and Contracts (OvS, PD), pp. 230–239.
CIAA-2005-BaillyCS #behaviour #communication #component #composition: Component Composition Preserving Behavioural Contracts Based on Communication Traces (AB, MC, ISR), pp. 54–65.
EDOC-2005-GovernatoriM #domain-specific language: Dealing with contract violations: formalism and domain specific language (GG, ZM), pp. 46–57.
EDOC-2005-Molina-JimenezSW #interactive #specification: A Method for Specifying Contract Mediated Interactions (CMJ, SKS, JPW), pp. 106–118.
ECMDA-FA-2005-ChanP #approach #design #metamodelling: Designing a Domain-Specific Contract Language: A Metamodelling Approach (ZEC, RFP), pp. 175–189.
OOPSLA-2005-GrayFF #fine-grained: Fine-grained interoperability through mirrors and contracts (KEG, RBF, MF), pp. 231–245.
DATE-2005-KruseTEVS #design #distributed #embedded #flexibility #process: Introducing Flexible Quantity Contracts into Distributed SoC and Embedded System Design Processes (JK, CT, RE, TV, TS), pp. 938–943.
FASE-2005-ReussnerHH #component #graph grammar #modelling #parametricity: Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars (RHR, JH, AH), pp. 80–95.
CBSE-2004-DefourJP #component: Extra-Functional Contract Support in Components (OD, JMJ, NP), pp. 217–232.
ICFP-2004-BlumeM: A sound (and complete) model of contracts (MB, DAM), pp. 189–200.
ICEIS-v4-2004-AndradeN: Intelligent Electronic Inter-Systemic Contracting — Issues on Consent and Contract Formation (FA, JN), pp. 403–410.
ICEIS-v4-2004-OliveiraLNA: Formation and Fulfillment of Electronic Contracts in the ICS (NRSO, SL, EN, CRBA), pp. 24–30.
TOOLS-USA-2003-EnselmeFL04 #analysis #component #dependence #design: Design by Contract: analysis of hidden dependencies in component based application (DE, GF, FLA), pp. 23–45.
TOOLS-USA-2003-Madsen04 #design #equivalence: Enhancing Design by Contract with Knowledge about Equivalence Partitions (PM), pp. 5–21.
ECOOP-2004-FindlerFF #semantics #type system: Semantic Casts: Contracts and Structural Subtyping in a Nominal World (RBF, MF, MF), pp. 364–388.
SAC-2004-XueguangH #protocol: Further extensions of FIPA Contract Net Protocol: threshold plus DoA (XC, HS), pp. 45–51.
ITiCSE-2003-Gegg-HarrisonBGOW #correctness: Studying program correctness by constructing contracts (TSGH, GRB, RDG, CMO, JDW), pp. 129–133.
CAiSE-2003-HeuvelW #coordination #transaction: Coordinating Web-Service Enabled Business Transactions with Contracts (WJvdH, HW), pp. 568–583.
CAiSE-2003-MoreiraFA #coordination #evolution #requirements: Evolving Requirements through Coordination Contracts (AMDM, JLF, LFA), pp. 633–646.
CAiSE-2003-XuJ #monitoring: Pro-active Monitoring of Electronic Contracts (LX, MAJ), pp. 584–600.
EDOC-2003-DimitrakosDMJP #assessment #performance: Contract Performance Assessment for Secure and Dynamic Virtual Collaborations (TD, ID, ZM, AJ, CIP), pp. 62–75.
EDOC-2003-HansonM #protocol: Conversation-oriented Protocols for Contract Negotiations (JEH, ZM), pp. 40–49.
EDOC-2003-NealCLMGK #identification #monitoring #requirements: Identifying requirements for Business Contract Language: a Monitoring Perspectiv (SWN, JBC, PFL, ZM, SG, SK), pp. 50–61.
ICEIS-v2-2003-SmirnovPLC #constraints #protocol: Constraint-Based Contract Net Protocol (AVS, MP, TL, NC), pp. 549–556.
UML-2003-Nunes #ocl: An OCL Extension for Low-Coupling Preserving Contracts (IN), pp. 310–324.
ICSE-2003-Ross #concept #education #programming: Teaching Contract Programming Concepts to Future Software Engineers (DFR), p. 647.
CBSE-2002-SchmidtR #adaptation #synthesis: Parameterised Contracts and Adapter Synthesis (HWS, RR), p. 6.
ICFP-2002-FindlerF #higher-order: Contracts for higher-order functions (RBF, MF), pp. 48–59.
EDOC-2002-MilosevicD #behaviour #monitoring #on the: On Expressing and Monitoring Behaviour in Contracts (ZM, RGD), pp. 3–14.
EDOC-2002-MilosevicJDP: Discretionary Enforcement of Electronic Contracts (ZM, AJ, TD, MAP), pp. 39–50.
TOOLS-USA-2002-LacknerKP #design #java: Supporting Design by Contract in Java (ML, AK, FP), pp. 57–76.
TOOLS-USA-2002-Nunes #design #using: Design by Contract Using Meta-Assertions (IN), pp. 37–56.
TOOLS-USA-2002-Rausch #component #design #quote: “Design by Contract” + “Componentware” = “Design by Signed Contract” (AR), pp. 19–36.
AdaEurope-2002-Lamm #ada #design: Adding Design by Contract to the Ada Language (EL), pp. 205–218.
ICSE-2002-GouveiaKWAF #coordination #java: Coordination contracts for Java applications (JG, GK, MW, LFA, JLF), p. 714.
ISSTA-2002-BriandLS #analysis #fault #object-oriented #using: Investigating the use of analysis contracts to support fault isolation in object oriented code (LCB, YL, HS), pp. 70–80.
ICALP-2001-Baum-Waidner #multi: Optimistic Asynchronous Multi-party Contract Signing with Reduced Number of Rounds (BBW), pp. 898–911.
FME-2001-Jones: Composing Contracts: An Adventure in Financial Engineering (SLPJ), p. 435.
FME-2001-Pahl #component #modelling #uml: Components, Contracts, and Connectors for the Unified Modelling Language UML (CP), pp. 259–277.
ICEIS-v2-2001-ToffolonD #information management: A Contract-Based Theory of Information Systems (CT, SD), pp. 645–650.
UML-2001-WeisBGP #component #metamodelling #uml: A UML Meta-model for Contract Aware Components (TW, CB, KG, NP), pp. 442–456.
OOPSLA-2001-FindlerF #object-oriented: Contract Soundness for Object-Oriented Languages (RBF, MF), pp. 1–15.
TOOLS-EUROPE-2001-FiadeiroA: Interconnecting Objects via Contracts (JLF, LFA), pp. 182–183.
TOOLS-EUROPE-2001-Meyer01b #design: At the Edge of Design by Contract (BM), p. 3.
TOOLS-USA-2001-ArnoutS #design #dot-net #eiffel: The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel (KA, RS), pp. 14–23.
TOOLS-USA-2001-Guerreiro #c++ #design: Simple Support for Design by Contract in C++ (PG), pp. 24–34.
TOOLS-USA-2001-MitchellM #design: Design by Contract, By Example (RM, JCM), pp. 430–431.
ESEC-FSE-2001-FindlerLF #behaviour #type system: Behavioral contracts and behavioral subtyping (RBF, ML, MF), pp. 229–236.
ICALP-2000-Baum-WaidnerW #multi: Round-Optimal and Abuse Free Optimistic Multi-party Contract Signing (BBW, MW), pp. 524–535.
ICFP-2000-JonesES #functional: Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.
TOOLS-EUROPE-2000-Daniels #component: Component Contracts (JD), p. 6.
TOOLS-USA-2000-Meyer00c #component #design: Design By Contract and the Component Revolution (BM), pp. 515–518.
GCSE-2000-JongeV: Grammars as Contracts (MdJ, JV), pp. 85–99.
GCSE-2000-KlaerenPRS #composition #design #principle: Aspect Composition Applying the Design by Contract Principle (HK, EP, AR, AS), pp. 57–69.
ICSE-2000-Rausch #component #evolution #requirements #using: Software evolution in componentware using requirements/assurances contracts (AR), pp. 147–156.
UML-1999-AndradeF: Interconnecting Objects Via Contracts (LFA, JLF), pp. 566–583.
UML-1999-PetreBP #case study #uml: Analysing UML Use Cases as Contracts (LP, RJB, IP), pp. 518–533.
OOPSLA-1999-EvansD #approach #evolution: Zones, Contracts and Absorbing Changes: An Approach to Software Evolution (HE, PD), pp. 415–434.
TOOLS-EUROPE-1999-MaleyS #c++ #design: Emulating Design by Contract in C++ (DM, ITAS), pp. 66–75.
TOOLS-EUROPE-1999-McKim #programming: Advanced Programming by Contract (JCM), p. 402.
TOOLS-EUROPE-1999-Mitchell99a #analysis #exclamation #uml: Analysis by Contract: UML with Attitude! (RM), p. 407.
TOOLS-PACIFIC-1999-MitchellM: Extending a Method of Devising Software Contracts (RM, JM), p. 234–?.
TOOLS-USA-1999-Firesmith99a #comparison #design #development: A Comparison of Defensive Development and Design by Contract (DF), pp. 258–267.
TOOLS-USA-1999-Meyer99a: Managing By Contract (BM), p. 412.
TOOLS-USA-1999-Mitchell #analysis #uml: Analysis by Contract or UML with Attitude (RM), p. 465–?.
TOOLS-USA-1999-PloschP #analysis #c++ #implementation #named: Contracts: From Analysis to C++ Implementation (RP, JP), pp. 248–257.
EDOC-1998-GriffelBWLM #internet: Electronic contracting with COSMOS-how to establish, negotiate and execute electronic contracts on the Internet (FG, MB, HW, WL, MM), pp. 46–55.
EDOC-1998-HoffnerS: Co-operation, contracts, contractual match-making and binding (YH, AS), pp. 75–86.
TOOLS-ASIA-1998-Newmarch #java: Adding Contracts to Java (JN), pp. 2–7.
TOOLS-USA-1998-Kramer #design #java #named: iContract — The Java(tm) Design by Contract(tm) Tool (RK), pp. 295–307.
TOOLS-USA-1998-Meyer98a #design #eiffel: Design by Contract: The Eiffel Method (BM), p. 446.
TOOLS-USA-1998-Mitchell #analysis #constraints #ocl #uml: Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.
TOOLS-USA-1998-Plosch #design #tool support: Tool Support for Design by Contract (RP), pp. 282–294.
TOOLS-USA-1998-PlouzeauLJ #distributed #framework #quality: A Framework Managing Quality of Service Contracts in Distributed Applications (NP, SL, JMJ), p. 125–?.
TOOLS-USA-1998-Walden #analysis #design #named: BON: Seamless, Reversible, Contract-Based Analysis and Design (KW), p. 445.
TOOLS-USA-1998-Watkins #interface #programming #using: Using Interface Definition Languages to Support Path Expressions and Programming by Contract (DW), p. 308–?.
ICSE-1998-KontioPS #development #specification #towards: Towards Better Software Projects and Contracts: Commitment Specifications in Software Development Projects (JK, OP, RS), pp. 486–489.
CSMR-1997-LucasSM #evolution #reuse: Managing Software Evolution through Reuse Contracts (CL, PS, KM), pp. 165–170.
HCI-SEC-1997-GiannettiMT #case study #experience #lifecycle #scalability #usability: Developing Usability in the Software Life-Cycle: Experiences from a Large European Government Software Contract (AG, RM, GT), pp. 581–584.
EDOC-1997-GriffelTMMLS #mobile: Electronic contract negotiation as an application niche for mobile agents (FG, MTT, MM, MM, WL, MMdS), p. 354–?.
TOOLS-ASIA-1997-Mitchell97a #analysis: Analysis by Contract (RM), p. 421.
TOOLS-PACIFIC-1997-Meyer #design #object-oriented #source code: Design by Contract: Making Object-Oriented Programs that Work (BM), p. 360.
TOOLS-USA-1997-Mitchell #analysis: Analysis by Contract (RM), p. 372.
OOPSLA-1996-SteyaertLMD #evolution #reuse: Reuse Contracts: Managing the Evolution of Reusable Assets (PS, CL, KM, TD), pp. 268–285.
OOPSLA-1994-LortzS #programming: Combining Contracts and Exemplar-Based Programming for Class Hiding and Customization (VBL, KGS), pp. 453–467.
ECOOP-1992-Holland #component #reuse #specification #using: Specifying Reusable Components Using Contracts (IMH), pp. 287–308.
IWMM-1992-Delacour #implementation: Allocation Regions & Implementation Contracts (VD), pp. 426–439.
OOPSLA-ECOOP-1990-HelmHG #behaviour #composition #named #object-oriented #specification: Contracts: Specifying Behavioural Compositions in Object-Oriented Systems (RH, IMH, DG), pp. 169–180.
ICALP-1985-Ben-OrGMR #protocol: A Fair Protocol for Signing Contracts (MBO, OG, SM, RLR), pp. 43–52.