Generating Random Well-Typed Featherweight Java Programs Using QuickCheck

被引：0
|
作者：
Da Silva Feitosa, Samuel [1 ]
Ribeiro, Rodrigo Geraldo [2 ]
Rauber Du Bois, Andre [1 ]
机构：
[1] Programa de Pós Graduacaõ em Computacaõ, PPGC, Universidade Federal de Pelotas, Pelotas, RS, Brazil
[2] Programa de Pós Graduacaõ em Ciência da Computacaõ, PPGCC, Universidade Federal de Ouro Preto, Ouro Preto, MG, Brazil
来源：
Electronic Notes in Theoretical Computer Science | 2019年 / 342卷
关键词：
723 Computer Software; Data Handling and Applications - 723.1 Computer Programming - 723.1.1 Computer Programming Languages - 723.5 Computer Applications - 921 Mathematics;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Application programs
引用
收藏
页码：3 / 20
相关论文
共 9 条
  • [1] 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
  • [2] A type-directed algorithm to generate random well-typed Java']Java 8 programs
    Feitosa, Samuel
    Ribeiro, Rodrigo
    Du Bois, Andre
    SCIENCE OF COMPUTER PROGRAMMING, 2020, 196 (196)
  • [3] Generating Well-Typed Terms That Are Not "Useless"
    Frank, Justin
    Quiring, Benjamin
    Lampropoulos, Leonidas
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL): : 2318 - 2339
  • [4] Well-typed logic programs are not wrong
    Deransart, P
    Smaus, JG
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 280 - 295
  • [5] Well-Typed Programs Can't Be Blamed
    Wadler, Philip
    Findler, Robert Bruce
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 1 - +
  • [6] Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
    Fetscher, Burke
    Claessen, Koen
    Palka, Michal
    Hughes, John
    Findler, Robert Bruce
    PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 9032 : 383 - 405
  • [7] Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism
    Sofie Verbaeten
    Danny De Schreye
    Applicable Algebra in Engineering, Communication and Computing, 2001, 12 : 157 - 196
  • [8] Termination of simply-moded well-typed logic programs under a tabled execution mechanism
    Verbaeten, S
    De Schreye, D
    APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2001, 12 (1-2) : 157 - 196
  • [9] Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
    Chaliasos, Stefanos
    Sotiropoulos, Thodoris
    Drosos, Georgios-Petros
    Mitropoulos, Charalambos
    Mitropoulos, Dimitris
    Spinellis, Diomidis
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):
1