388 search results - page 39 / 78 » Guiding random test generation with program analysis |
CONCUR
2006
Springer
14 years 19 days ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
ISSRE
2003
IEEE
14 years 2 months ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Experience sampling has been employed for decades to collect assessments of subjects' intentions, needs, and affective states. In recent years, investigators have employed au...
IJSC
2008
13 years 9 months ago
2008
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to t...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...