2419 search results - page 215 / 484 » A Formal Approach to Software Testing |
125
Voted
DDECS
2007
IEEE
15 years 10 months ago
2007
IEEE
- As shown by previous studies, shorts between the interconnect wires should be considered as the predominant cause of failures in CMOS circuits. Fault models and tools for targeti...
169
click to vote
JOT
2007
15 years 3 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
148
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
127
Voted
GI
2007
Springer
15 years 7 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
160
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...