Travelled to:1 × Estonia
1 × Germany
1 × United Kingdom
Collaborated with:M.B.Cohen M.B.Dwyer M.Subramaniam
Talks about:test (2) use (2) constraint (1) protocol (1) interact (1) configur (1) composit (1) softwar (1) product (1) presenc (1)
Person: Jiangfan Shi
DBLP: Shi:Jiangfan
Contributed to:
2012
2007
2005Wrote 3 papers:
- FASE-2012-ShiCD #composition #execution #integration #product line #symbolic computation #testing #using
- Integration Testing of Software Product Lines Using Compositional Symbolic Execution (JS, MBC, MBD), pp. 270–284.
- ISSTA-2007-CohenDS #configuration management #constraints #interactive #testing
- Interaction testing of highly-configurable systems in the presence of constraints (MBC, MBD, JS), pp. 129–139.
- SEFM-2005-SubramaniamS #protocol #using
- Using Dominators to Extract Observable Protocol Contexts (MS, JS), pp. 96–105.