### 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.