Sciweavers

868 search results - page 10 / 174
» Debugging for Model Expansion
Sort
View
COMPSAC
2004
IEEE
15 years 3 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
15 years 5 months ago
Debugging Program Loops Using Approximate Modeling
Wolfgang Mayer, Markus Stumptner
KBSE
2003
IEEE
15 years 5 months ago
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...
JOT
2002
62views more  JOT 2002»
14 years 11 months ago
Debugging UML Designs with Model Checking
María-del-Mar Gallardo, Pedro Merino, Ernes...
ASPDAC
1995
ACM
111views Hardware» more  ASPDAC 1995»
15 years 3 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...