Sciweavers

3547 search results - page 292 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
WSC
2000
15 years 8 months ago
Soft-commissioning: hardware-in-the-loop-based verification of controller software
The basic idea of Soft-Commissioning (SoftCom) is to test industrial control software by connecting a controller, e. g. a PLC (Programmable Logic Controller) to a commercial discr...
Harald Schludermann, Thomas Kirchmair, Markus Vord...
220
Voted
ETFA
2008
IEEE
16 years 1 months ago
Virtual prototyping through co-simulation of a Cartesian plotter
This paper shows a model-based design trajectory for the development of real-time embedded control software using virtual prototyping. As a test case, a Cartesian plotter is desig...
Marcel A. Groothuis, Arjen S. Damstra, Jan F. Broe...
SIGSOFT
2010
ACM
15 years 5 months ago
Finding latent performance bugs in systems implementations
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
Charles Edwin Killian, Karthik Nagaraj, Salman Per...
185
Voted
IV
2003
IEEE
145views Visualization» more  IV 2003»
16 years 22 days ago
Anthropomorphic Vs Non-Anthropomorphic Software Interface Feedback for Online Factual Delivery
This paper follows on from a group of internationally published papers in the area of investigating anthropomorphic user interface feedback. In this paper an experiment is describ...
Pietro Murano
191
Voted
VL
2002
IEEE
109views Visual Languages» more  VL 2002»
16 years 11 days ago
Assertions in End-User Software Engineering: A Think-Aloud Study
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...
Christine Wallace, Curtis R. Cook, Jay Summet, Mar...