funded by NASA's Intelligent Systems Project

NASA Ames

• Dimitra Giannakopoulou
• Corina Pasareanu

• Prof. Howard Barringer
• Jamieson Cobleigh (summer 2002, summer 2003)
• Colin Blundell (summer 2004)

• MAGIC

• Blundell, C., Giannakopoulou, D., and Pasareanu, C.S. "Assume-Guarantee Testing". 4th Workshop on Specification and Verification of Component-Based Systems (SAVCBS’05), associated with the 5th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005), September 2005.

• Giannakopoulou, D. and Pasareanu, C.S. "Learning-Based Assume-Guarantee Verification" (Tool Paper), in Proc. of the 12th International SPIN Workshop on Model Checking of Software, San Francisco, USA, August 2005.

• Giannakopoulou, D., Pasareanu, C.S., Lowry, M., Washington, R. "Lifecycle Verification of the NASA Ames K9 Rover Executive", ICAPS'05 Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems, Monterey, California, June 2005.

• Giannakopoulou, D., Pasareanu, C., and Cobleigh, J.M. "Assume-guarantee Verification of Source Code with Design-Level Assumptions", Proc. of the 26th International Conference on Software Engineering (ICSE’2004), Edinburgh, Scotland, May 2004.

• Giannakopoulou, D., Pasareanu, C.S., and Barringer, H., "Component Verification with Automatically Generated Assumptions". Journal of Automated Software Engineering, Kluwer Academic Publishers.

• Barringer, H., Giannakopoulou, D., and Pasareanu, C.S. "Proof Rules for Automated Compositional Verification through Learning". 2nd Workshop on Specification and Verification of Component-Based Systems, associated with the 4th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003).

• Cobleigh, J.M., Giannakopoulou, D., and Pasareanu, C.S. "Learning Assumptions for Compositional Verification", in Proc. of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003). April 2003, Warsaw, Poland. Springer, LNCS.

• Giannakopoulou, D., Pasareanu, C., and Barringer, H., “Assumption Generation for Software Component Verification”, in Proc. ofthe 17th IEEE International Conference on Automated Software Engineering (ASE 2002). September 2002, Edinburgh, UK Awards. ACM Sigsoft Distinguished Paper.