A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build. We have created two programs (ātutor generatorsā...
Viswanathan Kodaganallur, Rob R. Weitz, David Rose...
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
AbstractāAs software evolves, engineers use regression testing to evaluate its ļ¬tness for release. Such testing typically begins with existing test cases, and many techniques h...
In a C compiler, function calls are diļ¬cult to implement correctly because they must respect a platform-speciļ¬c calling convention. But they are governed by a simple invariant...