Experiences evaluating the effectiveness of JML-JUnit testing
ACM SIGSOFT Software Engineering Notes
Robustness testing for software components
Science of Computer Programming
Automatic inference of model fields and their representation
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
Using semantics specified in maude to generate test cases
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |