Personensuche
X
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
1
An Analysis of the Impact of Field-Value Instance Navigatio..:
, In:
?
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ,
3
SAT-based arithmetic support for alloy:
, In:
?
Proceedings of the 10th International Workshop on Search-Based Software Testing ,
5
An analysis of the suitability of test-based patch acceptan..:
, In:
?
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering ,
6