Art

J-GLOBAL ID：201602216931508350   Reference number：16A0105934

Compiler Fuzzing

コンパイラのファジング

Author (1)： ISHIURA NAGISA (関西学院大学理工学部情報科学科)
Material： Fundamentals Review (Web)  (Fundam Rev (Web))
Volume： 9  Issue： 3  Page： 188-196 (J-STAGE)  Publication year： 2016 
JST Material Number： U0221A  ISSN： 1882-0875  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *optimization ,  methodology ,  reliability(property) ,  set ,  *fuzzy theory ,  compiler ,  defect ,  directionality
Semi thesaurus term： *compiler optimization ,  software development methodology ,  software reliability ,  test suite ,  LLVM/Clang ,  failure ,  directionality

JST classification (3)： System and control theory in general  (IA02010H) ,  Language processors  (JD03040F) ,  System programmings in general  (JD03010Y)

Reference (21)：

• (1)Plum Hall, Inc., “The Plum Hall validation suite for C (online),” http://www.plumhall.com/stec.html (accessed 2013-11-23).
• (2)ACE Associated Computer Experts, “SuperTest compiler test and validation suite (online),” http://www.ace.nl/compiler/supertest.html (accessed 2013-11-23).
• (3)Free Software Foundation, Inc., “Installing GCC: Testing (online),” http://gcc.gnu.org/install/test.html (accessed 2013-11-23).
• (4)T. Fukumoto, K. Morimoto, and N. Ishiura, “Accelerating regression test of compilers by test program merging,” Proc. Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012), pp. 42–47, March 2012.
• (5)日比野佑亮, 石浦菜岐佐, “C コンパイラの算術最適化を対象としたテストスイートCF3,” 信学技報, VLD2014-130, CPSY2014-139, RECONF2014-63, pp. 117–122, Jan. 2015.

Terms in the title (1)： コンパイラ