5 papers:
ICST-2010-NaslavskyZR #modelling #named #testing #traceability- MbSRT2: Model-Based Selective Regression Testing with Traceability (LN, HZ, DJR), pp. 89–98.
DATE-2007-Srivastava #interactive #predict #scalability- Interactive presentation: Radix 4 SRT division with quotient prediction and operand scaling (NRS), pp. 195–200.
DAC-1996-Bryant #analysis- Bit-Level Analysis of an SRT Divider Circuit (REB), pp. 661–665.
CAV-1996-ClarkeGZ #algorithm #proving #theorem proving #using #verification- Verifying the SRT Division Algorithm Using Theorem Proving Techniques (EMC, SMG, XZ), pp. 111–122.
- CAV-1996-RuessSS #composition #verification
- Modular Verification of SRT Division (HR, NS, MKS), pp. 123–134.
