KBSE
2008
IEEE
14 years 6 months ago
2008
IEEE
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...
KBSE
2008
IEEE
14 years 6 months ago
2008
IEEE
KBSE
2008
IEEE
14 years 6 months ago
2008
IEEE
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
KBSE
2008
IEEE
14 years 6 months ago
2008
IEEE
The Design Exploration (DE) approach allows a large number of probable end users to communicate with software developers by creating mockups of user interfaces and augmenting the ...
KBSE
2008
IEEE
14 years 6 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
KBSE
2008
IEEE
14 years 6 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
KBSE
2008
IEEE
14 years 6 months ago
2008
IEEE
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
KBSE
2008
IEEE
14 years 6 months ago
2008
IEEE
—In spite of the modularization benefits supported by the Aspect-Oriented programming paradigm, different usability issues have hindered its adoption. The decoupling between asp...
KBSE
2008
IEEE
14 years 6 months ago
2008
IEEE
KBSE
2008
IEEE
14 years 6 months ago
2008
IEEE
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...