338 search results - page 7 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
CAISE
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
AMAI
2007
Springer
13 years 8 months ago
2007
Springer
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
PASTE
2005
ACM
14 years 2 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...