Sciweavers

5159 search results - page 219 / 1032
» Structural Testing of Executables
Sort
View
HICSS
2006
IEEE
117views Biometrics» more  HICSS 2006»
16 years 1 months ago
Assessing User Satisfaction of E-Government Services: Development and Testing of Quality-in-Use Satisfaction with Advanced Trave
The public sector provides a variety of services to citizens. The delivery of information for these services over electronic means such as the Internet forms an important componen...
Thomas A. Horan, Tarun Abhichandani, Raghuvira Ray...
189
Voted
BPM
2005
Springer
113views Business» more  BPM 2005»
16 years 17 days ago
Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
Anne Rozinat, Wil M. P. van der Aalst
176
Voted
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
16 years 9 days ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
ENVSOFT
2007
80views more  ENVSOFT 2007»
15 years 7 months ago
Testing the PEARL model in the Netherlands and Sweden
The Plant Protection Product Directive (91/414/EEC) stresses the need of validated models to calculate predicted environmental concentrations. The use of models has become an unav...
Fayçal Bouraoui
RTSS
2002
IEEE
15 years 12 months ago
The Space of Rate Monotonic Schedulability
Feasibility analysis of fixed priority systems has been widely studied in the real-time literature and several acceptance tests have been proposed to guarantee a set of periodic ...
Enrico Bini, Giorgio C. Buttazzo