| |
|
| |
|
| |
Commun. ACM, Vol. 47, No. 12. (December 2004), pp. 47-52.
|
| |
|
| |
In Proc. 15th International Conf. on Machine Learning (1998), pp. 296-304.
|
| |
|
| |
In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000)
|
| |
|
| |
Computer Vision, 2001. ICCV 2001. Proceedings. Eighth IEEE International Conference on In Computer Vision, 2001. ICCV 2001. Proceedings. Eighth IEEE International Conference on, Vol. 2 (2001), pp. 84-91 vol.2.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 1. (January 1996), pp. 63-86.
|
| |
In CSCW '04: Proceedings of the 2004 ACM conference on Computer supported cooperative work (2004), pp. 212-221.
|
| |
Robotics & Automation Magazine, IEEE, Vol. 5, No. 3. (1998), pp. 30-36.
|
| |
System Sciences, 2001. Proceedings of the 34th Annual Hawaii International Conference on (2001), 9 pp..
|
| |
|
| |
netWorker, Vol. 7, No. 3. (September 2003), pp. 18-23.
|
| |
|
| |
In KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (1992), pp. 103-114.
|
| |
Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
|
| |
In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference (1996), pp. 1194-1201.
|
| |
In Proc. Int. Conf. Affective Human Factor Design (2001), pp. 467-474.
|
| |
|
| |
|
| |
Autonomous Agents and Multi-Agent Systems, Vol. 13, No. 3. (November 2006), pp. 293-325.
|
| |
|
| |
Commun. ACM, Vol. 43, No. 12. (December 2000), pp. 45-48.
|
| |
In CCS '06: Proceedings of the 13th ACM conference on Computer and communications security (2006), pp. 322-335.
|
| |
AI Magazine, Vol. 15, No. 4. (1994), pp. 27-61.
|
| |
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific In Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific (2001), pp. 237-240.
|
| |
Software Engineering, 1996., Proceedings of the 18th International Conference on In Software Engineering, 1996., Proceedings of the 18th International Conference on (1996), pp. 71-80.
|
| |
|
| |
In SWSTE '03: Proceedings of the IEEE International Conference on Software-Science, Technology \& Engineering (2003)
|
| |
In GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation (2007), pp. 1098-1105.
|
| |
|
| |
In ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06) (2006), pp. 289-292.
|
| |
SIGART Bull., Vol. 6, No. 1. (January 1995), pp. 16-25.
|
| |
Artificial Intelligence In Planning and Scheduling, Vol. 76, No. 1-2. (July 1995), pp. 1-16.
|
| |
Artificial Intelligence, Vol. 2, No. 3-4. ( 1971), pp. 189-208.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2008), pp. 337-340.
|
| |
|
| |
In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 835-838.
|
| |
|
| |
|
| |
|
| |
|
| |
In MS'06: Proceedings of the 17th IASTED international conference on Modelling and simulation (2006), pp. 443-448.
|
| |
Artif. Intell., Vol. 33, No. 1. (September 1987), pp. 65-68.
|
| |
In WEASELTech '07: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies (2007), pp. 2-6.
|
| |
In Proceedings of the Second Conference on Computer Science and Engineering in Linköping (October 1999), pp. 21-28.
|
| |
|
| |
Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on In Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on (2006), pp. 59-68.
|
| |
In Symposium on Fault-Tolerant Computing (1998), pp. 230-239.
|
| |
In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis (2006), pp. 37-48.
|
| |
|
| |
Computer, Vol. 25, No. 10. (1992), pp. 40-51.
|
| |
|
| |
Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on In Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on (2007), pp. 545-549.
|
| |
In CSCW '86: Proceedings of the 1986 ACM conference on Computer-supported cooperative work (1986), pp. 229-245.
|
| |
Software Testing, Verification and Reliability, Vol. 14, No. 2. (2004), pp. 105-156.
|
| |
|
| |
Recent Advances in AI Planning (2000), pp. 62-72.
|
| |
Artificial Intelligence, Vol. 68, No. 2. (1994), pp. 243-302.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 27, No. 12. (2001), pp. 1085-1110.
|
| |
Computer, Vol. 37, No. 7. (2004), pp. 92-94.
|
| |
Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on In Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 571-579.
|
| |
|
| |
ECOOP 2005 - Object-Oriented Programming (2005), pp. 504-527.
|
| |
In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 29, No. 4. (July 2004), pp. 97-107.
|
| |
Artificial Intelligence, Vol. 32, No. 3. (July 1987), pp. 333-377.
|
| |
Lecture Notes in Computer Science, Vol. 2333 (January 2002), 21.
|
| |
Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on In Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on (2004), pp. 174-182.
|
| |
In WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis (2006), pp. 17-24.
|
| |
Software Quality Journal, Vol. 15, No. 3. (2007), pp. 241-263.
|
| |
|
| |
Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on In Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on (1999), pp. 250-259.
|
| |
Automated Software Engineering, Vol. 4, No. 1. (1 January 1997), pp. 77-106.
|
| |
In Foundations of Software Engineering (1998), pp. 231-244.
|
| |
SIGMOD Rec., Vol. 33, No. 4. (December 2004), pp. 65-70.
|
| |
J. Intell. Inf. Syst., Vol. 23, No. 2. (September 2004), pp. 107-143.
|
| |
In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), Vol. 2 (1991), pp. 634-639.
|
| |
|
| |
|
| |
Journal of Artificial Intelligence Research, Vol. 3 (1995), pp. 25-52.
|
| |
Software Testing, Verification and Reliability, Vol. 16, No. 3. (2006), pp. 175-203.
|
| |
In ICSE '07: Proceedings of the 29th International Conference on Software Engineering (2007), pp. 75-84.
|
| |
|
| |
Empirical Software Engineering, Vol. 12, No. 2. (April 2007), pp. 183-239.
|
| |
Recent Advances in AI Planning (2000), pp. 21-34.
|
| |
Software Quality Journal, Vol. 12, No. 2. (1 June 2004), pp. 121-136.
|
| |
Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004. Proceedings of the Third International Joint Conference on (2004), pp. 1414-1415.
|
| |
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 (2007), pp. 72-76.
|
| |
In Proceedings of the international conference on Reliable software (1975), pp. 493-510.
|
| |
Software Reliability Engineering, 2006. ISSRE '06. 17th International Symposium on In Software Reliability Engineering, 2006. ISSRE '06. 17th International Symposium on (2006), pp. 75-84.
|
| |
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.
|
| |
Software: Practice and Experience, Vol. 30, No. 1. (2000), pp. 61-79.
|
| |
Software Testing, Verification and Reliability, Vol. 13, No. 1. (2003), pp. 25-53.
|
| |
Software Testing, Verification and Reliability, Vol. 15, No. 2. (2005), pp. 135-136.
|
| |
In ISSRE '00: Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE'00) (2000)
|
| |
In ICTAI '02: Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'02) (2002)
|
| |
|
| |
In AST '06: Proceedings of the 2006 international workshop on Automation of software test (2006), pp. 64-70.
|