Sciweavers

4306 search results - page 160 / 862
» Timed Testing with TorX
Sort
View
95
Voted
ACSD
2007
IEEE
88views Hardware» more  ACSD 2007»
15 years 7 months ago
Testing the executability of scenarios in general inhibitor nets
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...
Robert Lorenz, Sebastian Mauser, Robin Bergenthum
109
Voted
ICSM
2005
IEEE
15 years 6 months ago
Towards a Framework for Testing Structural Source-Code Regularities
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
Kim Mens, Andy Kellens
95
Voted
AIME
2005
Springer
15 years 6 months ago
Testing Asbru Guidelines and Protocols for Neonatal Intensive Care
: The automatic application of computerized guidelines and protocols in intensive care is not simple, given the high volume of data which must be processed and the need to offer ad...
Christian Fuchsberger, Jim Hunter, Paul McCue
105
Voted
SIGDOC
2005
ACM
15 years 6 months ago
Usability over time
Testing of usability could perhaps be more accurately described as testing of learnability. We know more about the problems of novice users than we know of the problems of experie...
Valerie Mendoza, David G. Novick
VTS
1999
IEEE
108views Hardware» more  VTS 1999»
15 years 5 months ago
Adaptive Techniques for Improving Delay Fault Diagnosis
This paper presents adaptive techniques for improving delay fault diagnosis. These techniques reduce the search space for direct probing which can save a lot of time during failur...
Jayabrata Ghosh-Dastidar, Nur A. Touba