IEEE Software
Data Mining for Very Busy People
Computer
The business case for automated software engineering
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Just enough learning (of association rules): the TAR2 "Treatment" learner
Artificial Intelligence Review
Automatically finding the control variables for complex system behavior
Automated Software Engineering
Hi-index | 0.00 |
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers ...