52 search results - page 6 / 11 » Predicate Abstraction of Programs with Non-linear Computatio... |
159
Voted
ECSQARU
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
165
Voted
KI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
181
click to vote
ISSTA
2006
ACM
16 years 10 days ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
163
Voted
IH
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
172
Voted
CAV
2012
Springer
13 years 8 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...