Travelled to:1 × Italy
1 × Turkey
1 × USA
Collaborated with:W.Sun S.Tankashala A.Kallem S.Guo F.Arafi S.J.Oh R.Kale S.Oh B.Becker B.Horton Z.Yang
Talks about:support (2) system (2) driven (2) verif (2) learn (2) case (2) approach (1) program (1) inherit (1) develop (1)
Person: Shengru Tu
DBLP: Tu:Shengru
Contributed to:
2011
2010
1992Wrote 4 papers:
- CSEET-2011-TuTOBHKY #learning
- Turning real-world systems into verification-driven learning cases (ST, ST, SO, BB, BH, AK, ZY), pp. 129–138.
- ITiCSE-2010-TuOKKT #learning
- Developing verification-driven learning cases (ST, SJO, RK, AK, ST), pp. 58–62.
- SEKE-1992-SunGAT #database #inheritance #relational
- Supporting Inheritance in Relational Database Systems (WS, SG, FA, ST), pp. 511–518.
- SEKE-1992-TuS #approach #linear #petri net #programming #static analysis
- Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach (ST, WS), pp. 222–226.