Randomized algorithms
Reducing the cost of mutation testing: an empirical study
Journal of Systems and Software
Computer related risks
Software testing and reliability
Handbook of software reliability engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Wrappers for feature subset selection
Artificial Intelligence - Special issue on relevance
Software Testability: The New Verification
IEEE Software
Towards a Theory for Integration of Mathematical Verification and Empirical Testing
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Data Mining for Very Busy People
Computer
Making Sense of Requirements, Sooner
Computer
Effectively Combining Software Verification Strategies: Understanding Different Assumptions
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Backdoors to typical case complexity
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Make the Most of Your Time: How Should the Analyst Work with Automated Traceability Tools?
PROMISE '07 Proceedings of the Third International Workshop on Predictor Models in Software Engineering
Automatic software fault localization using generic program invariants
Proceedings of the 2008 ACM symposium on Applied computing
Can we build software faster and better and cheaper?
PROMISE '09 Proceedings of the 5th International Conference on Predictor Models in Software Engineering
On the Relative Merits of Software Reuse
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
A second look at Faster, Better, Cheaper
Innovations in Systems and Software Engineering
| Hi-index | 4.10 |
Although there are times when random search is dangerous and should be avoided, software analysis should start with random methods because they are so cheap, moving to the more complex methods only when random methods fail.