Grid software developers and Grid site administrators both require realistic testbeds where they can test applications and middleware before deployment on production infrastructur...
Stephen Childs, Brian A. Coghlan, Jason McCandless
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. AGENDA, A (test) GENerator for ...
Supplier Relationship Management (SRM) is an application that gives support to a company in the task of deciding which supplier to choose when a new supply has to be ordered. It i...