| |
ACM Trans. Softw. Eng. Methodol., Vol. 10, No. 2. (April 2001), pp. 209-254.
|
| |
In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 185-195.
|
| |
In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 174-183.
|
| |
In TAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications (2008), pp. 34-39.
|
| |
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International In Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International, Vol. 1 (2007), pp. 87-96.
|
| |
Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on In Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 30-39.
|
| |
In SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (2008), pp. 226-237.
|
| |
Automated Software Engineering, 2004. Proceedings. 19th International Conference on In Automated Software Engineering, 2004. Proceedings. 19th International Conference on (2004), pp. 2-13.
|
| |
In ACSAC '06: Proceedings of the 22nd Annual Computer Security Applications Conference on Annual Computer Security Applications Conference (2006), pp. 269-278.
|
| |
|
| |
Computer Aided Verification (2008), pp. 423-427.
|
| |
In SS'07: Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium (2007), pp. 1-16.
|
| |
In In 15th USENIX Security Symposium (2006), pp. 121-136.
|
| |
In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 32-41.
|
| |
Security and Privacy, 2008. SP 2008. IEEE Symposium on In Security and Privacy, 2008. SP 2008. IEEE Symposium on (2008), pp. 387-401.
|
| |
Tests and Proofs (2008), pp. 134-153.
|
| |
Commun. ACM, Vol. 19, No. 7. (July 1976), pp. 385-394.
|
| |
In PLAS '08: Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security (2008), pp. 57-66.
|
| |
In Automated Software Engineering Journal, Vol. 10 (2000), pp. 3-12.
|
| |
|
| |
In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 228-238.
|
| |
In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 40, No. 10. (October 2005), pp. 365-383.
|
| |
In CCS '06: Proceedings of the 13th ACM conference on Computer and communications security (2006), pp. 322-335.
|
| |
In DAC '06: Proceedings of the 43rd annual conference on Design automation (2006), pp. 358-363.
|
| |
In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 196-206.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 30, No. 2. (2008), pp. 1-49.
|
| |
In In: Proceedings of the 15 th International Symposium on Software Reliability Engineering (ISSRE’04, Vol. 2004 (2004), pp. 2-5.
|
| |
In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 213-223.
|
| |
Security and Privacy, 2006 IEEE Symposium on In Security and Privacy, 2006 IEEE Symposium on (2006), 15 pp..
|
| |
|
| |
In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 347-351.
|
| |
Compiler Construction (2006), pp. 80-95.
|
| |
In SSYM'05: Proceedings of the 14th conference on USENIX Security Symposium (2005), pp. 18-18.
|
Search
