Accuracy; Computational modeling; Generators; Graphical user interfaces; Iterative methods; Software; Testing; Combinatorial Testing; GUI Specifications; Model-based GUI Testing;
机译:通过自动理论形成发现不变量
机译:利用设计模式自动验证类不变式
机译:用于发现原核转录调节器功能的自动基因组背景分析和实验验证平台
机译:Guidiva:自动发现和验证基于国家的GUI不变
机译:基于搜索的基于状态的组件的自动测试生成方法。
机译:自动基因组上下文分析和实验验证平台用于发现原核生物转录调节子功能
机译:通过自动理论形成发现不变量