280 search results - page 19 / 56 » Dynamic Query-Based Debugging |
IESS
2007
Springer
14 years 2 months ago
2007
Springer
Changing demands, software evolution, and bug fixes require the possibility to update applications as well as system software of embedded devices. Systems that perform updates of ...
ICSE
2010
IEEE-ACM
14 years 22 days ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
SOSP
1997
ACM
13 years 9 months ago
1997
ACM
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
VL
2009
IEEE
14 years 2 months ago
2009
IEEE
For developers debugging their own code, augmenting the code of others, or trying to learn the implementation details of interactive behaviors, understanding how web pages work is...
PLILP
1994
Springer
14 years 1 days ago
1994
Springer
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...