Searching for "Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis" – sorted by Relevance.
-
Semi-Proving: an Integrated Method Based on Global Symbolic Evaluation and Metamorphic Testing
- To appear in Proceedings of the ACM SIGSOFT International Symposium on Software Testing
- Cited by 17 (8 self) – Add To MetaCart

