Testing and tracing lazy functional programs using QuickCheck and Hat

被引：0
|
作者：
Claessen, K [1 ]
Runciman, C
Chitil, O
Hughes, J
Wallace, M
机构：
[1] Chalmers Univ Technol, Gothenburg, Sweden
[2] Univ York, York YO10 5DD, N Yorkshire, England
来源：
ADVANCED FUNCTIONAL PROGRAMMING | 2003年 / 2638卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：59 / 99
页数：41
相关论文
共 50 条
  • [41] Concolic Testing of Functional Logic Programs
    Tikovsky, Jan Rasmus
    DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, 2018, 10997 : 169 - 186
  • [42] Functional Testing of Java']Java Programs
    Benac Earle, Clara
    Fredlund, Lars-Ake
    TRENDS IN FUNCTIONAL PROGRAMMING (TFP 2015), 2016, 9547 : 40 - 59
  • [43] Content based rate estimation using lazy membership testing
    Hao, Fang
    Kodialam, Murali
    Lakshman, T. V.
    Vishnumurthy, Vivek
    Zhang, Hui
    25TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS, VOLS 1-7, PROCEEDINGS IEEE INFOCOM 2006, 2006, : 2291 - 2302
  • [44] Realization of natural language interfaces using lazy functional programming
    Frost, Richard A.
    ACM COMPUTING SURVEYS, 2006, 38 (04)
  • [45] MINIMUM COMPETENCY TESTING - GUIDELINES FOR FUNCTIONAL READING PROGRAMS
    GAMBRELL, LB
    CLELAND, CJ
    JOURNAL OF READING, 1982, 25 (04): : 342 - 344
  • [46] Infrastructure-Aware Functional Testing of MapReduce programs
    Moran, Jesus
    Rivas, Bibiano
    de la Riva, Claudio
    Tuya, Javier
    Caballero, Ismael
    Serrano, Manuel
    2016 IEEE 4TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW), 2016, : 171 - 176
  • [47] Software testing using model programs
    Manolache, LI
    Kourie, DG
    SOFTWARE-PRACTICE & EXPERIENCE, 2001, 31 (13): : 1211 - 1236
  • [48] An innovative approach for testing bioinformatics programs using metamorphic testing
    Chen, Tsong Yueh
    Ho, Joshua W. K.
    Liu, Huai
    Xie, Xiaoyuan
    BMC BIOINFORMATICS, 2009, 10
  • [49] An innovative approach for testing bioinformatics programs using metamorphic testing
    Tsong Yueh Chen
    Joshua WK Ho
    Huai Liu
    Xiaoyuan Xie
    BMC Bioinformatics, 10
  • [50] Compiling lazy functional programs based on the spineless tagless G-machine for the Java']Java virtual machine
    Choi, K
    Lim, HI
    Han, T
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 92 - 107
12345