2 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.SE2006★ 2 cited
Program Spectra Analysis in Embedded Software: A Case Study
Rui Abreu, Peter Zoeteweij, Arjan JC van Gemund
Because of constraints imposed by the market, embedded software in consumer electronics is almost inevitably shipped with faults and the goal is just to reduce the inherent unrelia…
cs.AI2006★ 2 cited
An Analysis of Arithmetic Constraints on Integer Intervals
Krzysztof R. Apt, Peter Zoeteweij
Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for these…
cs.PL2004★ 2 cited
A Comparative Study of Arithmetic Constraints on Integer Intervals
Krzysztof R. Apt, Peter Zoeteweij
We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arithmetic. Ea…