| |
Sci. Comput. Program., Vol. 69, No. 1-3. (2007), pp. 35-45.
|
| |
In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 282-291.
|
| |
IEEE Transactions on Dependable and Secure Computing In Dependable and Secure Computing, IEEE Transactions on, Vol. 1, No. 1. (January 2004), pp. 11-33.
|
| |
ACM Trans. Inf. Syst. Secur., Vol. 2, No. 3. (August 1999), pp. 295-331.
|
| |
|
| |
In ICSE '00: Proceedings of the 22nd international conference on Software engineering (2000), pp. 178-187.
|
| |
Software Testing, Verification and Reliability, Vol. 16, No. 1. (2006)
|
| |
In ISSTA '96: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 21, No. 3. (May 1996), pp. 209-215.
|
| |
IEEE Transactions on Software Engineering, Vol. 99, No. 1. (5555)
|
| |
Journal of Experimental & Theoretical Artificial Intelligence (April 1997), pp. 237-256.
|
| |
|
| |
Computer, Vol. 20, No. 4. (April 1986), pp. 10-19.
|
| |
Software Engineering, 2003. Proceedings. 25th International Conference on In Software Engineering, 2003. Proceedings. 25th International Conference on (28 May 2003), pp. 694-704.
|
| |
Software Engineering for Experimental Robotics In Springer Tracts in Advanced Robotics, Vol. 30 (2007), pp. 135-142.
|
| |
Formal Methods in System Design, Vol. 24, No. 2. (1 March 2004), pp. 129-155.
|
| |
In NetGames '04: Proceedings of 3rd ACM SIGCOMM workshop on Network and system support for games (2004), pp. 134-138.
|
| |
|
| |
|
| |
IEEE Transactions on Software Engineering In Software Engineering, IEEE Transactions on, Vol. 30, No. 12. (2004), pp. 859-872.
|
| |
Informatik-Spektrum, Vol. 31, No. 2. (27 April 2008), pp. 115-132.
|
| |
Computer, Vol. 39, No. 2. (2006), pp. 25-31.
|
| |
In ICSE '76: Proceedings of the 2nd international conference on Software engineering (1976), pp. 350-357.
|
| |
In IN PROC. FASE (2001), pp. 318-332.
|
| |
|
| |
IEEE Transactions on Software Engineering, Vol. 16, No. 4. (1990), pp. 403-414.
|
| |
IEEE Software In Software, IEEE, Vol. 25, No. 4. (2008), pp. 29-36.
|
| |
Software, IEEE In Software, IEEE, Vol. 24, No. 1. (2007), pp. 18-22.
|
| |
Commun. ACM, Vol. 26, No. 4. (1983), pp. 254-258.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 34, No. 2. (2008), pp. 226-241.
|
| |
Inf. Process. Lett., Vol. 88, No. 1-2. (2003), pp. 13-25.
|
| |
In OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2003), pp. 16-27.
|
| |
IEEE Transactions on Software Engineering, Vol. 99, No. 1. (5555)
|
| |
|
| |
Annals of Software Engineering, Vol. 1, No. 1. (16 December 1995), pp. 155-177.
|
| |
IEEE Transactions on Software Engineering, Vol. 99, No. 1. (5555)
|
| |
IEEE Transactions on Software Engineering, Vol. 99, No. 1. (5555)
|
| |
SIGOPS Oper. Syst. Rev., Vol. 40, No. 4. (October 2006), pp. 73-85.
|
| |
In ICSE - Future of {SE} Track (2000), pp. 117-129.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 4. (1996), pp. 378-421.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 707 (1993), pp. 406-431.
|
| |
Computer, Vol. 33, No. 10. (2000), pp. 23-29.
|
| |
IEEE Software, Vol. 23, No. 4. (2006), pp. 98-99.
|
| |
Empirical Software Engineering, 2005. 2005 International Symposium on (2005), 10 pp..
|
| |
Lecture Notes in Computer Science In Empirical Software Engineering Issues. Critical Assessment and Future Directions, Vol. 4336/2007 (2007), pp. 10-19.
|
Search
