Michael C. Martin
According to our database1,
Michael C. Martin
authored at least 7 papers
between 2002 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
2008
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking.
Proceedings of the 17th USENIX Security Symposium, 2008
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008
2005
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005
2002
ACM Trans. Math. Softw., 2002
Proceedings of the International Symposium on Software Testing and Analysis, 2002