Testing, Fixing, and Proving with Contracts

被引：0
|
作者：
Furia, Carlo A. [1 ]
机构：
[1] Swiss Fed Inst Technol, Dept Comp Sci, Chair Software Engn, Zurich, Switzerland
来源：
TESTS AND PROOFS, TAP 2015 | 2015年 / 9154卷
关键词：
PROGRAMS;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：XIII / XV
页数：3
相关论文
共 50 条
  • [1] FIXING UNFAIR CONTRACTS
    Ben-Shahar, Omri
    STANFORD LAW REVIEW, 2011, 63 (04) : 869 - 906
  • [2] Automated Fixing of Programs with Contracts
    Pei, Yu
    Furia, Carlo A.
    Nordio, Martin
    Wei, Yi
    Meyer, Bertrand
    Zeller, Andreas
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2014, 40 (05) : 427 - 449
  • [3] Price Fixing Clauses In Contracts
    Cullen, Daniel G.
    JOURNAL OF THE PATENT OFFICE SOCIETY, 1945, 27 (05): : 328 - 330
  • [4] Proving Conditional Termination for Smart Contracts
    Le, Ton Chanh
    Xu, Lei
    Chen, Lin
    Shi, Weidong
    PROCEEDINGS OF THE 2ND ACM WORKSHOP ON BLOCKCHAINS, CRYPTOCURRENCIES, AND CONTRACTS (BCC'18), 2018, : 57 - 59
  • [5] Proving Properties of Operation Contracts with Test Scenarios
    Gogolla, Martin
    Hamann, Lars
    TESTS AND PROOFS, TAP 2023, 2023, 14066 : 97 - 107
  • [6] Fixing Standard-Form Contracts
    Levy, Shirly
    UNIVERSITY OF CINCINNATI LAW REVIEW, 2023, 91 (03) : 789 - 827
  • [7] Automatic Program Repair by Fixing Contracts
    Pei, Yu
    Furia, Carlo A.
    Nordio, Martin
    Meyer, Bertrand
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2014, 2014, 8411 : 246 - 260
  • [8] In vivo testing and integration of proving and testing
    Le Traon, Yves
    Xie, Tao
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2023, 33 (07):
  • [9] Collapsible Contracts: Fixing a Pathology of Gradual Typing
    Feltey, Daniel
    Greenman, Ben
    Scholliers, Christophe
    Findler, Robert Bruce
    St-Amour, Vincent
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [10] METER PROVING/TESTING.
    Anon
    1600, (214):
12345