Automated Test Generation (ATG)

成立时间：October 3, 2008

论文与出版物

查看方式：

- Compositional May-Must Program Analysis: Unleashing the Power of Alternation
  
  Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
  
  Principles of Programming Languages (POPL) | January 2010
  
  论文与出版物项目

- Compositional May-Must Program Analysis: Unleashing the Power of Alternation
  
  Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
  
  Principles of Programming Languages (POPL) | January 2010
  
  论文与出版物项目
- Compositional May-Must Program Analysis: Unleashing the Power of Alternation
  
  Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
  
  Principles of Programming Languages (POPL) | January 2010
  
  论文与出版物项目

- Compositional May-Must Program Analysis: Unleashing the Power of Alternation
  
  Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
  
  Principles of Programming Languages (POPL) | January 2010
  
  论文与出版物项目