184 search results - page 1 / 37 » Mutation Sampling Technique for the Generation of Structural... |
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
Our goal is to produce validation data that can be used as an efficient (pre) test set for structural stuck-at faults. In this paper, we detail an original test-oriented mutation ...
ICDE
2011
IEEE
12 years 8 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
TVLSI
2008
13 years 4 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
GECCO
2007
Springer
13 years 11 months ago
2007
Springer
Fault-based testing is often advocated to overcome limitations of other testing approaches; however it is also recognized as being expensive. On the other hand, evolutionary algor...
COMPSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
Buffer overflow (BOF) is one of the major vulnerabilities that leads to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying rea...