17 search results - page 3 / 4 » Efficient mutation testing by checking invariant violations |
ISSRE
2000
IEEE
13 years 10 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
ISCAS
2008
IEEE
14 years 19 days ago
2008
IEEE
—Bus-based system-on-chip (SoC) design becomes the major integration methods for shorting design cycle and time-tomarket, thus how to verify IP functionality on bus protocol is a...
OOPSLA
2005
Springer
13 years 11 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
SP
2006
IEEE
14 years 7 days ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
ECOOP
2010
Springer
13 years 9 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...