932 search results - page 118 / 187 » Software Reliability Engineering: A Roadmap |
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
AOSD
2006
ACM
15 years 3 months ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...