732 search results - page 82 / 147 » Automated Test Generation from Models Based on Functional So... |
160
Voted
VMCAI
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
131
Voted
IJCAI
1989
15 years 3 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...
125
Voted
EFDBS
2000
15 years 4 months ago
2000
The generation of hypermedia (or Web-based) presentations plays an important role in information management on the World Wide Web. In applications for Web modeling and querying, in...
133
Voted
AI
2006
Springer
15 years 2 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
100
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
The delay fault test pattern set generated by timing unaware commercial ATPG tools mostly affects very short paths, thereby increasing the escape chance of smaller delay defects. ...