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
  
  출판 프로젝트