BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Switzerland
Collaborated with:
M.T.Vechev L.Vanbever M.T.Dashti D.A.Basin W.Jin A.Orso S.Sinha A.El-Hassany Rumen Paletov V.Raychev T.Gehr S.Misailovic Pascal Wiesmann
Talks about:
network (2) infer (2) probabilist (1) synthesi (1) configur (1) coverag (1) bayonet (1) analysi (1) improv (1) hijack (1)

Person: Petar Tsankov

DBLP DBLP: Tsankov:Petar

Contributed to:

ISSTA 20132013
ICST 20112011
CAV (2) 20172017
PLDI 20182018

Wrote 5 papers:

ISSTA-2013-TsankovDB #testing
Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.
ICST-2011-TsankovJOS #dynamic analysis #execution
Execution Hijacking: Improving Dynamic Analysis by Flying off Course (PT, WJ, AO, SS), pp. 200–209.
CAV-2017-El-HassanyTVV #synthesis
Network-Wide Configuration Synthesis (AEH, PT, LV, MTV), pp. 261–281.
PLDI-2018-GehrMTVWV #named #network #probability
Bayonet: probabilistic inference for networks (TG, SM, PT, LV, PW, MTV), pp. 586–602.
PLDI-2018-PaletovTRV #api
Inferring crypto API rules from code changes (RP, PT, VR, MTV), pp. 450–464.

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.