369 search results - page 7 / 74 » Execution Synthesis: A Technique for Automated Software Debu... |
ENTCS
2002
13 years 7 months ago
2002
Approaches to runtime checking have to track the execution of a software system and therefore have to deal with generating and processing execution events. Often these techniques ...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
CSIE
2009
IEEE
13 years 8 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...