Sciweavers

868 search results - page 10 / 174
» Debugging for Model Expansion
Sort
View
COMPSAC
2004
IEEE
14 years 1 months ago
Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags
Software reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment. Over the past 30 years, many softw...
Chin-Yu Huang, Chu-Ti Lin, Sy-Yen Kuo, Michael R. ...
ECAI
2004
Springer
14 years 3 months ago
Debugging Program Loops Using Approximate Modeling
Wolfgang Mayer, Markus Stumptner
KBSE
2003
IEEE
14 years 3 months ago
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...
JOT
2002
62views more  JOT 2002»
13 years 9 months ago
Debugging UML Designs with Model Checking
María-del-Mar Gallardo, Pedro Merino, Ernes...
ASPDAC
1995
ACM
111views Hardware» more  ASPDAC 1995»
14 years 1 months ago
A hardware-software co-simulator for embedded system design and debugging
One of the interesting problems in hardware-software co-design is that of debugging embedded software in conjunction with hardware. Currently, most software designers wait until a...
A. Ghosh, M. Bershteyn, R. Casley, C. Chien, A. Ja...