Automating software analysis and testing using a program transformation system
-
Published:1989
Issue:
Volume:
Page:
-
ISSN:
-
Container-title:Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification - TAV3
-
language:
-
Short-container-title:
Author:
Kotik G.,Markosian L.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A framework for the checking and refactoring of crosscutting concepts;ACM Transactions on Software Engineering and Methodology;2012-06
2. The Software Bookshelf;Advances in Software Engineering;2002
3. Implementing prototype testing tools;Software: Practice and Experience;1995-04