Description: Program Analysis, Software Testing, and Applications (PASTA) Research Group at Carnegie Mellon University (CMU). Group led by Prof. Rohan Padhye.
Pittsburgh, Penne-sylvannia Part of CMU » SCS » S3D
"We are not afraid of spaghetti code"
Faculty & Principal Investigator