Guest editorial: special multi-issue on selected topics in automated software engineering

作者：Tim Menzies, Corina Pasareanu

论文关键词：Symbolic Execution, Partial Order Reduction, Open Source Program, Multithreaded Program, Software Engineering Research

论文评审过程：