- Symbolic execution - Wikipedia
- King, James C. "Symbolic execution and program testing." 1976 (pdf)
- DART: Directed Automated Random Testing
- CUTE: A Concolic Unit Testing Engine for C
- Jeff Foster, "Symbolic Execution," 2011 (pdf)
- シンボリック実行に入門しようとした - 一生あとで読んでろ
- テスト入力値の自動生成と、concolic testing - ソフトウェアの品質を学びまくる
abap34 abap34
mlechu
/ typedsyntax2.jl
Created
July 26, 2025 22:12
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| using JuliaSyntax | |
| using JuliaLowering | |
| const JS = JuliaSyntax | |
| const JL = JuliaLowering | |
| jsparse(s) = JS.build_tree(JL.SyntaxTree, JS.parse!(JS.ParseStream(s); rule=:statement)) | |
| function jlower(mod, st0) | |
| ctx1, st1 = JL.expand_forms_1( mod, st0) | |
| ctx2, st2 = JL.expand_forms_2( ctx1, st1) |
genkuroki
/ Avoid fields with abstract type.ipynb
Created
July 14, 2020 12:32
Avoid fields with abstract type
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
astellon
/ Doushite.jl
Last active
May 29, 2020 03:18
— forked from abap34/Doushite.jl
これは何 -> 今勉強用に作っているkwii名前のDLフレームワークのplot機能の実装です。動きません。どうして...
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| function plot(to_file = "graph.png") | |
| dot_graph = | |
| """ | |
| digraph graph_name { | |
| hoge -> foo | |
| } | |
| """ | |
| mktempdir() do tmp_dir | |
| dot_file_path = joinpath(tmp_dir, "tmp_graph.dot") |
