| |
International Journal of Information Security
|
| |
Physical Review Letters, Vol. 103, No. 14. (1 October 2009), 144802.
|
| |
Software Engineering, International Conference on, Vol. 0 (2003), 319.
|
| |
In Information and Software Technology Special Issue on Program Slicing, Vol. 40 (1999), pp. 583-594.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 30, No. 2. (March 2005), pp. 1-36.
|
| |
|
| |
Journal of Systems and Software, Vol. 68, No. 1. (15 October 2003), pp. 45-64.
|
| |
Source Code Analysis and Manipulation, 2006. SCAM '06. Sixth IEEE International Workshop on In Source Code Analysis and Manipulation, 2006. SCAM '06. Sixth IEEE International Workshop on (2006), pp. 21-30.
|
| |
Journal of Programming Languages, Vol. 3 (1995), pp. 121-189.
|
| |
In ICS '09: Proceedings of the 23rd international conference on Supercomputing (2009), pp. 158-168.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 2. (2007), 8.
|
| |
Reverse Engineering, 12th Working Conference on In Reverse Engineering, 12th Working Conference on (2005), pp. 10 pp.-12.
|
| |
In Higher-order and Symbolic Computation, Vol. 13 (1999), pp. 105-118.
|
| |
In Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference (1999), pp. 32-36.
|
| |
Journal of Systems and Software, Vol. 81, No. 12. (December 2008), pp. 2287-2298.
|
| |
In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 228-238.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 30, No. 2. (2008), pp. 1-49.
|
| |
Leveraging Applications of Formal Methods, Verification and Validation In Leveraging Applications of Formal Methods, Verification and Validation (2009), pp. 292-306.
|
| |
In In Proceedings of the 8th International Symposium on Static Analysis, Vol. 2126 (2001), pp. 40-56.
|
| |
In FASE '02: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering (2002), pp. 96-112.
|
| |
In AADEBUG '93: Proceedings of the First International Workshop on Automated and Algorithmic Debugging (1993), pp. 206-222.
|
| |
In PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 38, No. 10. (October 2003), pp. 44-54.
|
| |
Acta Inf., Vol. 28, No. 9. (1991), pp. 713-732.
|
| |
In COMPSAC '96: Proceedings of the 20th Conference on Computer Software and Applications (1996)
|
| |
In IWPC '99: Proceedings of the 7th International Workshop on Program Comprehension (1999)
|
| |
In ICSE '81: Proceedings of the 5th international conference on Software engineering (1981), pp. 439-449.
|
| |
In In Third IEEE International Workshop on Source Code Analysis and Manipulation (2003), pp. 5-5.
|
| |
In In Proceedings of the 11 th ACM conference on Software Engineering (1989), pp. 198-204.
|
| |
In In Proceedings of the IEEE-CS International Metrics Symposium (1993), pp. 71-81.
|
| |
In In Proceedings of the 10th Annual Software Reliability Symposium (1992), pp. 16-23.
|
| |
In In ICSM (1998), pp. 358-367.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 19, No. 5. (1994), pp. 11-20.
|
| |
In Automated and Algorithmic Debugging (1993), pp. 206-222.
|
| |
SIGPLAN Not., Vol. 36, No. 4. (April 2001), pp. 33-40.
|
| |
IEEE Transactions on Software Engineering In Software Engineering, IEEE Transactions on, Vol. 20, No. 8. (1994), pp. 644-657.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 12, No. 1. (January 1990), pp. 26-60.
|
| |
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 35-46.
|
| |
In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 49-59.
|
| |
In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 301-310.
|
| |
|
| |
In ICSM '04: Proceedings of the 20th IEEE International Conference on Software Maintenance (2004), pp. 464-468.
|
| |
|
| |
Formal Methods and Software Engineering (2002), pp. 435-446.
|
| |
IEEE Transactions on Software Engineering, Vol. 17, No. 8. (1991), pp. 751-761.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 112-122.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 17, No. 1. (December 2007), pp. 1-27.
|
| |
In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 38-47.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 169-180.
|
| |
In CGO '03: Proceedings of the international symposium on Code generation and optimization (2003), pp. 325-336.
|