Home Contact

Atif Memon's Home Page

Office Location: 4113 A.V.Williams Building; Phone: +1-301-405-3071

Dept. of Computer Science, University of Maryland, College Park, MD, USA.

Current Projects
Vetting Android Applications for Security Using Graphical User Interface Logic (funded by DARPA)
COMET - Community Event-based Testing (funded by NSF)
Algorithms and Software for the Assembly of Metagenomic Data (funded by NIH)
Research in Science and Public Policy for the U.S. National Security Agency (funded by NSA)
EDU: Competing to Build Secure Systems (funded by NSF)
GUITAR - GUI Testing Framework (funded by NSF)

Fall 2017

Fundamentals of Software Testing (CMSC737).

Fall 2016

Fundamentals of Software Testing (CMSC737).

Fall 2014

Fundamentals of Software Testing (CMSC737).


Advanced Honors Seminar: Research in Science and Public Policy for the U.S. National Security Agency (HONR378N).


Computer Science Honors Seminar (CMSC396H).


Programming Handheld Systems (CMSC436).

Spring 2014

Software Engineering (CMSC435).


Advanced Topics in Engineering; Secure Operating Systems (ENPM808B).

Fall 2013

Fundamentals of Software Testing (CMSC737).


Advanced Honors Seminar: Research in Science and Public Policy for the U.S. National Security Agency (HONR378N).


Computer Science Honors Seminar (CMSC396H).


Secure Software Testing and Construction (ENPM808K).

Summer 2013

Software Engineering (CMSC435).

Spring 2013

Software Engineering (CMSC435).


Programming Handheld Systems (CMSC436).

Fall 2012

Fundamentals of Software Testing (CMSC737).

Spring 2012

Software Engineering (CMSC 435; Section 0101).

Fall 2011

Fundamentals of Software Testing (CMSC737).

Spring 2011

Software Engineering (CMSC 435; Section 0101).

Fall 2010

Fundamentals of Software Testing (CMSC737).

Spring 2010

Software Engineering (CMSC 435; Section 0101).

Fall 2009

Fundamentals of Software Testing (CMSC737).

Spring 2008

Fundamentals of Software Testing (CMSC737).

Fall 2007

Organization of Programming Languages  (CMSC330)

Spring 2007

Programming Language Technologies and Paradigms (CMSC433)

Fall 2006

Fundamentals of Software Testing (CMSC737).

Spring 2006

Software Engineering (CMSC 435; Section 0101).

Fall 2005

Advanced Topics in Software Testing (CMSC838M). In the future, this course will be listed as CMSC 737.

Spring 2005

Software Engineering (CMSC 435; Section 0201).

Fall 2004

Advanced Topics in Software Testing (CMSC838M).

Spring 2004

Software Engineering (CMSC 435; Section 0201).

Fall 2003

Advanced Topics in Software Testing (CMSC838M).

Spring 2003

Software Engineering (CMSC 435; Section 0201).

Fall 2002

Advanced Topics in Software Testing (CMSC838M).

Spring 2002

Software Engineering (CMSC 435; Section 0301).

Fall 2001

Advanced Topics in Software Testing (CMSC838M).