7 papers:
ESEC-FSE-2013-ZhengZG #analysis #named #string #web- Z3-str: a z3-based string solver for web application analysis (YZ, XZ, VG), pp. 114–124.
ICSE-2009-WangZXMS09a #automation #named #string- TranStrL: An automatic need-to-translate string locator for software internationalization (XW, LZ, TX, HM, JS), pp. 555–558.
CAV-1997-KelbMMG #named #performance- MOSEL: A Sound and Efficient Tool for M2L(Str) (PK, TMS, MM, CG), pp. 448–451.
CADE-1994-Hines #integer- Str+ve and Integers (LMH), pp. 416–430.
AdaEurope-1992-BazalgetteBBFRS #ada #named- STRAda — An Ada Transformation and Distribution System (GB, DB, CB, MF, JMR, AS), pp. 287–299.
- CADE-1992-Hines
- The Central Variable Strategy of Str+ve (LMH), pp. 35–49.
- CADE-1990-Hines #proving #set
- Str+ve-Subset: The Str+ve-based Subset Prover (LMH), pp. 193–206.
