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 条
  • [31] Testing and proving distributed algorithms in constructive type theory
    Haiyan, Qiao
    TESTS AND PROOFS, 2007, 4454 : 79 - 94
  • [32] Testing scenario implementation with behavior contracts
    Liang, Donglin
    Xu, Kai
    30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 395 - +
  • [33] Mutation Testing of Smart Contracts As a Service
    Barboni, Morena
    Morichetta, Andrea
    Polini, Andrea
    Banescu, Sebastian
    Zulkoski, Edward
    QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, QUATIC 2024, 2024, 2178 : 93 - 109
  • [34] CONSTITUTIONAL LAW : EFFECT OF CONTRACTS FIXING RATES ON STATE'S POWER TO DEFINE AND REGULATE PUBLIC UTILITIES : WATER CONTRACTS
    不详
    CALIFORNIA LAW REVIEW, 1919, 7 (02) : 121 - 127
  • [35] Mutation Testing of Smart Contracts at Scale
    Hartel, Pieter
    Schumi, Richard
    TESTS AND PROOFS (TAP 2020), 2020, 12165 : 23 - 42
  • [36] Practical Mutation Testing for Smart Contracts
    Honig, Joran J.
    Everts, Maarten H.
    Huisman, Marieke
    DATA PRIVACY MANAGEMENT, CRYPTOCURRENCIES AND BLOCKCHAIN TECHNOLOGY, 2019, 11737 : 289 - 303
  • [37] Using a software testing technique to improve theorem proving
    Hähnle, R
    Wallenburg, A
    FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 30 - 41
  • [38] Fixing the contract after the contract is fixed: A study of incomplete contracts in IT and construction projects
    Badenfelt, Ulrika
    INTERNATIONAL JOURNAL OF PROJECT MANAGEMENT, 2011, 29 (05) : 568 - 576
  • [39] THE ARGENTOMETER - AN APPARATUS FOR TESTING FOR SILVER IN A FIXING BATH
    Weyerts, W. J.
    Hickman, K. C. D.
    JOURNAL OF THE SOCIETY OF MOTION PICTURE ENGINEERS, 1935, 25 (04): : 335 - 340
  • [40] Automatic Testing and Fixing for Eiffel (Extended Abstract)
    Meyer, Bertrand
    TESTING - PRACTICE AND RESEARCH TECHNIQUES, 2010, 6303 : 1 - 4
12345