824 search results - page 59 / 165 » Scaling regression testing to large software systems |
FATES
2003
Springer
14 years 2 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
ANSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Anomaly detection systems largely depend on user profile data to be able to detect deviation from normal activity. Most of this profile data is based on commands executed by use...
ASPLOS
2011
ACM
13 years 18 days ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
ICTAC
2010
Springer
13 years 7 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
GI
2009
Springer
13 years 6 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...