Test case generation by means of learning techniques
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Verification and Validation of Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Inductive Verification and Validation of the KULRoT RoboCup Team
RoboCup-98: Robot Soccer World Cup II
Validation and verification of decision making rules
Automatica (Journal of IFAC)
Hi-index | 0.00 |