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 条
  • [31] Generating Random Well-Typed Featherweight Java Programs Using QuickCheck
    Da Silva Feitosa, Samuel
    Ribeiro, Rodrigo Geraldo
    Rauber Du Bois, Andre
    Electronic Notes in Theoretical Computer Science, 2019, 342 : 3 - 20
  • [32] On-the-fly conformance testing of safety PLC code using QuickCheck
    Khan, Adnan
    Thoennessent, David
    Fahian, Martin
    2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2019, : 419 - 424
  • [33] Testing Data Consistency of Data-Intensive Applications Using QuickCheck
    Castro, Laura M.
    Arts, Thomas
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 271 : 41 - 62
  • [34] Generating Random Well-Typed Featherweight Java']Java Programs Using QuickCheck
    Feitosa, Samuel da Silva
    Ribeiro, Rodrigo Geraldo
    Du Bois, Andre Rauber
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2019, 342 : 3 - 20
  • [35] Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs
    Simoes, Hugo
    Vasconcelos, Pedro
    Florido, Mario
    Jost, Steffen
    Hammond, Kevin
    ACM SIGPLAN NOTICES, 2012, 47 (09) : 165 - 176
  • [36] Testing speculative work in a lazy/eager parallel functional language
    de la Encina, Alberto
    Rodriguez, Ismael
    Rubio, Fernando
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2006, 4339 : 274 - +
  • [37] User behavior during functional testing of the ventilator: analysis of the use of the QUICKcheck and detection of misconnected ventilation tubes
    Uzun, Davut D.
    Schaefer, Johannes
    Klemm, Sascha
    Lichtenstern, Christoph
    Weigand, Markus A.
    Neuhaus, Christopher
    ANAESTHESIOLOGIE, 2025, 74 (02): : 72 - 80
  • [38] LAMBDA-HOISTING - A TRANSFORMATION TECHNIQUE FOR FULLY LAZY EVALUATION OF FUNCTIONAL PROGRAMS
    TAKEICHI, M
    NEW GENERATION COMPUTING, 1988, 5 (04) : 377 - 391
  • [39] Type generic observation of intermediate data structures for debugging lazy functional programs
    Faddegon, Maarten
    Chitil, Olaf
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2018, 52 : 92 - 110
  • [40] Smart Testing of Functional Programs in Isabelle
    Bulwahn, Lukas
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-18), 2012, 7180 : 153 - 167
12345