Search for persons
X
?
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering ,
11
Symbolic state validation through runtime data:
, In:
?
Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering ,
14