16725 search results - page 2871 / 3345 » Engineering Software Correctness |
201
click to vote
ISSRE
2006
IEEE
16 years 26 days ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
180
click to vote
SEW
2006
IEEE
16 years 26 days ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
175
click to vote
ACMDIS
2006
ACM
16 years 25 days ago
2006
ACM
Think-aloud testing is a widely employed usability evaluation method, yet its use in practice is rarely studied. We report an explorative study of 14 think-aloud sessions, the aud...
171
click to vote
ERLANG
2006
ACM
16 years 25 days ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
181
click to vote
ISSTA
2006
ACM
2006
ACM
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
16 years 24 days ago
Distributed hard real-time systems have become a major component of many advanced technical products. Means to ensure their proper quality are thus of paramount importance. To ens...