Multiprocessors; Recursive functions; Algorithms; Computer programs; Software engineering; Theses; Data dependences; Dynamic execution behavior; Curare computer program;
机译:来自任意程序上下文的多线程程序的符号执行
机译:对并行MCAPI执行进行符号建模
机译:使用符号执行对并发系统进行交互式验证
机译:重组Lisp程序以并发执行
机译:适配器合成:使用可扩展符号执行合成和修复程序
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:豆浆。重组Lisp程序以进行并发执行