290 search results - page 8 / 58 » Using a Software Testing Technique to Improve Theorem Provin... |
NCA
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we present an approach for software rejuvenation based on automated self-healing techniques that can be easily applied to off-the-shelf Application Servers and Inte...
ICSE
2012
IEEE-ACM
12 years 22 days ago
2012
IEEE-ACM
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
ACMSE
1998
ACM
14 years 2 months ago
1998
ACM
– It is difficult to improve software quality by relying on conformance to industry standards by continuously upgrading from one standard or model to another standard or model be...
ICST
2009
IEEE
13 years 8 months ago
2009
IEEE
Penetration testing is widely used to help ensure the security of web applications. It discovers vulnerabilities by simulating attacks from malicious users on a target application...