Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
A classifier system is a machine learning system that learns syntactically simple string rules (called classifiers) through a genetic algorithm to guide its performance in an arbi...
Mu-Chun Su, Chien-Hsing Chou, Eugene Lai, Jonathan...
In this paper we discuss the application of a new machine learning approach - Argument Based Machine Learning - to the legal domain. An experiment using a dataset which has also be...
Martin Mozina, Jure Zabkar, Trevor J. M. Bench-Cap...
Software products released into the field typically have some number of residual defects that either were not detected or could not have been detected during testing. This may be...
Christian Murphy, Gail E. Kaiser, Ian Vo, Matt Chu