Sciweavers

926 search results - page 87 / 186
» Tool Support for Statistical Testing of Software Components
Sort
View
ITS
2000
Springer
140views Multimedia» more  ITS 2000»
13 years 11 months ago
Multi-agent Negotiation to Support an Economy for Online Help and Tutoring
We are designing a computational architecture for a "learning economy" based on personal software agents who represent users in a virtual society and assist them in find...
Chhaya Mudgal, Julita Vassileva
KBSE
2007
IEEE
14 years 2 months ago
Improving evolutionary class testing in the presence of non-public methods
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...
Stefan Wappler, Ina Schieferdecker
EMSOFT
2003
Springer
14 years 1 months ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...
ECOOP
2006
Springer
13 years 12 months ago
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
Tao Xie
AIED
2005
Springer
14 years 1 months ago
Developing Teaching Aids for Distance Education
As web-enhanced courses become more successful, they put considerable burdens on instructors and teaching assistants. We present our work on developing software tools to support in...
Jihie Kim, Carole Beal, Zeeshan Maqbool