BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
3 × USA
Collaborated with:
M.Fähndrich J.Hook F.Logozzo B.D.Vito C.A.Muñoz
Talks about:
properti (3) processor (1) establish (1) dataflow (1) program (1) generat (1) certifi (1) verifi (1) tempor (1) object (1)

Person: Songtao Xia

DBLP DBLP: Xia:Songtao

Contributed to:

SAS 20092009
OOPSLA 20072007
ASE 20052005
VMCAI 20042004
ASE 20012001

Wrote 5 papers:

SAS-2009-XiaFL #data flow
Inferring Dataflow Properties of User Defined Table Processors (SX, MF, FL), pp. 19–35.
OOPSLA-2007-FahndrichX #invariant
Establishing object invariants with delayed types (MF, SX), pp. 337–350.
ASE-2005-XiaVM #automation #generative #testing
Automated test generation for engineering applications (SX, BDV, CAM), pp. 283–286.
VMCAI-2004-XiaH #c #source code
Certifying Temporal Properties for Compiled C Programs (SX, JH), pp. 161–174.
ASE-2001-Xia #mobile #verification
Verify Properties of Mobile Code (SX), p. 440.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.