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 条
  • [21] TESTING THE EFFICIENCY OF EMPLOYMENT CONTRACTS
    BROWN, JN
    ASHENFELTER, O
    JOURNAL OF POLITICAL ECONOMY, 1986, 94 (03) : S40 - S87
  • [22] Nuclear weapons testing: The endgame is proving difficult
    Heylin, M
    CHEMICAL & ENGINEERING NEWS, 1996, 74 (37) : 26 - 26
  • [23] Combining testing and proving in dependent type theory
    Dybjer, P
    Haiyan, Q
    Takeyama, M
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 188 - 203
  • [24] MIXED TESTING PROVING TECHNIQUES FOR PROGRAM CORRECTNESS
    HOREJS, J
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1986, 5 (03): : 213 - 221
  • [25] Verifying Haskell programs by combining testing and proving
    Dybjer, P
    Qiao, HY
    Takeyama, M
    THIRD INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2003, : 272 - 279
  • [26] Algorithms for generating, testing and proving primes: A survey
    Mihailescu, P
    CRYPTOGRAPHY AND COMPUTATIONAL NUMBER THEORY, 2001, 20 : 93 - 122
  • [27] Checking Models, Proving Programs, and Testing Systems
    Gaudel, Marie-Claude
    TESTS AND PROOFS, TAP 2011, 2011, 6706 : 1 - 13
  • [28] Burden of proving ULSD rests with the testing method
    Romanow, S
    HYDROCARBON PROCESSING, 2003, 82 (02): : 11 - 11
  • [29] The value of price- and quantity-fixing contracts for piglets in Finland
    Pietola, KS
    Wang, HH
    EUROPEAN REVIEW OF AGRICULTURAL ECONOMICS, 2000, 27 (04) : 431 - 447
  • [30] TESTING - UNDER LABOR CONTRACTS AND LAW
    METZLER, JH
    PERSONNEL, 1966, 43 (04) : 40 - 44
12345