TEST GENERATION USING EQUIVALENT NORMAL FORMS.

被引：0
|
作者：
Hayes, John P.
机构：
来源：
Journal of Design Automation & Fault-Tolerant Computing | 1600年 / 3卷 / 3-4期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
LOGIC CIRCUITS
引用
收藏
页码：131 / 154
相关论文
共 50 条
  • [11] Parallel symbolic execution for structural test generation
    Dept. of Computer Science and Eng., University of Minnesota, United States
    不详
    ISSTA - Proc. Int. Symp. Softw. Test. Anal., (183-193):
  • [12] New approach to test generation for combinational circuits
    Zhao, Chun-Hui
    Hou, Yan-Li
    Hu, Jia-Wei
    Lan, Hai-Yan
    Journal of Harbin Institute of Technology (New Series), 2009, 16 (01) : 61 - 65
  • [13] On the Evaluation of Large Language Models in Unit Test Generation
    Yang, Lin
    Yang, Chen
    Gao, Shutao
    Wang, Weijing
    Wang, Bo
    Zhu, Qihao
    Chu, Xiao
    Zhou, Jianyi
    Liang, Guangtai
    Wang, Qianxiang
    Chen, Junjie
    Proceedings - 2024 39th ACM/IEEE International Conference on Automated Software Engineering, ASE 2024, : 1607 - 1619
  • [14] A metaheuristic approach to test sequence generation for applications with a GUI
    Bauersfeld, Sebastian
    Wappler, Stefan
    Wegener, Joachim
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6956 LNCS : 173 - 187
  • [15] Automated regression unit test generation for program merges
    Ji, Tao
    Chen, Liqian
    Mao, Xiaoguang
    Yi, Xin
    Jiang, Jiahong
    SCIENCE CHINA-INFORMATION SCIENCES, 2022, 65 (09)
  • [16] An effective approach for automatic generation of class integration test order
    School of Computer Science and Engineering, Southeast University, Nanjing, China
    不详
    不详
    Proc Int Comput Software Appl Conf, (680-681): : 680 - 681
  • [17] Analysis and optimization to a test bench for Micro-hydro-generation
    Macias Rodas, Carlos Artemio
    Paz, Pascual Lopez de
    Lastres Danguillecourt, Orlando
    Ibáñez Duharte, Guillermo
    Energy Reports, 2022, 8 : 321 - 328
  • [18] STOCHASTIC LINEAR-PROGRAMS WITH SIMPLE RECOURSE - THE EQUIVALENT DETERMINISTIC CONVEX PROGRAM FOR THE NORMAL, EXPONENTIAL, AND ERLANG CASES
    HANSOTIA, BJ
    NAVAL RESEARCH LOGISTICS, 1980, 27 (02) : 257 - 272
  • [19] Combinatorial test suites generation method based on Fuzzy Genetic Algorithm
    Wei, Chang-An
    Sheng, Yun-Long
    Jiang, Shou-Da
    Wang, Jian-Feng
    Journal of Information Hiding and Multimedia Signal Processing, 2015, 6 (05): : 968 - 976
  • [20] EBT: A COMPREHENSIVE TEST GENERATION TECHNIQUE FOR HIGHLY SEQUENTUAL CIRCUITS.
    Marlett, Ralph A.
    1978, : 335 - 339
12345