712 search results - page 117 / 143 » Software debugging, testing, and verification |
89
Voted
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
77
Voted
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
91
Voted
AICCSA
2001
IEEE
15 years 1 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
SIGSOFT
2005
ACM
15 years 10 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 ...