BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
symbol (4)
grid (2)
reliabl (2)
scalabl (2)
par (2)

Stem sym$ (all stems)

6 papers:

ASEASE-2014-CaoZD #named
SymCrash: selective recording for reproducing crashes (YC, HZ, SD), pp. 791–802.
SACSAC-PL-J-2013-MaierST14 #design #reliability #scalability #symbolic computation
Reliable scalable symbolic computation: The design of SymGridPar2 (PM, RJS, PWT), pp. 19–35.
FSEFSE-2014-LiAG #automation #javascript #named #testing #web
SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.
SACSAC-2013-MaierST #design #reliability #scalability #symbolic computation
Reliable scalable symbolic computation: the design of SymGridPar2 (PM, RJS, PWT), pp. 1674–1681.
OSDIOSDI-2012-RenzelmannKS #named #testing
SymDrive: Testing Drivers without Devices (MJR, AK, MMS), pp. 279–292.
CSMRCSMR-2009-Laitila #analysis #comprehension #named
SymAnalyzer: A Symbolic Analysis Tool for Program Comprehension (EL), pp. 325–326.
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.