机译:BEAT:基于Web的布尔表达式基于错误的测试用例生成工具
Swinburne University of Technology, Australia;
boolean logic — boolean expression; CASE tools — test case generator; infomation and communication technologies — software testing; technology- enhance learning; web-based applications — test case generator; web-based learning — boolean logic;
机译:基于错误的基于突变的正则表达式测试生成
机译:如何优化使用SAT和SMT解算器来测试布尔表达式的生成
机译:miRNAsong:基于网络的工具,可在计算机中生成和测试miRNA海绵构建体
机译:Beat:基于布尔表达式基于故障的测试用例生成器
机译:使用传统的基于故障卡住的自动测试模式生成工具来最大化非目标缺陷检测。
机译:miRNAsong:基于网络的工具用于在计算机中生成和测试miRNA海绵构建体
机译:优化saT和smT自动测试生成求解布尔表达式