Stem tor$ (all stems)
3 papers:
- PPDP-J-2012-SchrijversDTD14 #composition #named
- Tor: Modular search with hookable disjunction (TS, BD, MT, BD), pp. 101–120.
- PPDP-2012-SchrijversTD #named
- Tor: extensible search with hookable disjunction (TS, MT, BD), pp. 103–114.
- FM-2005-BohnenkampB #testing
- Timed Testing with TorX (HCB, AB), pp. 173–188.