Search the dblp DataBase

Publications of Author

1. Songtao Xia, Ben Di Vito, César Muñoz
   Predicate Abstraction of Programs with Non-linear Computation. [Citation Graph (0, 0)][DBLP]
   ATVA, 2006, pp:352-368 [Conf]
   
2. Hongwei Xi, Songtao Xia
   Towards array bound check elimination in Java ^TM virtual machine language. [Citation Graph (0, 0)][DBLP]
   CASCON, 1999, pp:14- [Conf]
   
3. Songtao Xia, Ben Di Vito, César Muñoz
   Automated test generation for engineering applications. [Citation Graph (0, 0)][DBLP]
   ASE, 2005, pp:283-286 [Conf]
   
4. Songtao Xia
   Verify Properties of Mobile Code. [Citation Graph (0, 0)][DBLP]
   ASE, 2001, pp:440- [Conf]
   
5. Songtao Xia, James Hook
   Certifying Temporal Properties for Compiled C Programs. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2004, pp:161-174 [Conf]
   
6. Songtao Xia, James Hook
   Experience with Abstraction-carrying Code. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
   
7. Manuel Fähndrich, Songtao Xia
   Establishing object invariants with delayed types. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2007, pp:337-350 [Conf]
   
8. 
   Inferring Dataflow Properties of User Defined Table Processors. [Citation Graph (, )][DBLP]