Automated Test Generation (ATG)

Established: October 3, 2008

Publications

View by:

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

Publication Project

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

Publication Project
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

Publication Project

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

Publication Project