Adapting Side Effects Analysis for Modular Program Model Checking

被引：0

作者：

Tkachuk, Oksana ^{[1
]}

Dwyer, Matthew B. ^{[1
]}

机构：

[1] Department of CIS, Kansas State University, United States

来源：

Proc. Joint Europ. Softw. Eng. Conf. (ESEC) SIGSOFT Symp. Found. Softw. Eng. (FSE-11) | 1600年 / 188-197期

关键词：

Compendex;

D O I：

Proceedings of the Joint 9th European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)

中图分类号：

学科分类号：

摘要：

Abstracting - Computer hardware description languages - Computer programming - Computer software - Data reduction

引用