Sciweavers

7 search results - page 2 / 2
» Protocol Conformance Testing a SIP Registrar: an Industrial ...
Sort
View
BIRTHDAY
2003
Springer
13 years 10 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
JCISE
2002
166views more  JCISE 2002»
13 years 4 months ago
The STEP Modular Architecture
The first Technical Note in this series [1] introduced the international standard ISO 10303, informally known as STEP (STandard for the Exchange of Product model data). Subsequent...
Allison Barnard Feeney