BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
Q.L.Le W.Chin X.P.0001 S.Lin H.Lin Z.Wang S.Liu Y.L.0001 Y.L.0003 W.Zhao J.S.Dong X.Zhou T.Xie C.Ji J.Hao E.Kang D.J.0001 J.Wang Q.Yuan J.P.0001 M.Tatsuta J.L.0001 L.L.0044 H.Xiao D.Sanán H.Hansen W.Qian Y.Yu B.Nuseibeh L.Tran G.Bai H.Wang D.Zhang G.Wei Y.Zhao X.C.0005 W.Li D.Ding D.Liu Q.Xiang C.He G.Meng Y.Xue Z.Xing
Talks about:
system (3) microservic (2) coverag (2) predic (2) invari (2) design (2) model (2) local (2) learn (2) loop (2)

Person: Jun Sun 0001

DBLP DBLP: 0001:Jun_Sun

Contributed to:

FSE 20162016
ASE 20172017
ASE 20182018
ASE 20192019
ESEC/FSE 20192019
FASE 20172017
CAV (1) 20162016
CAV (2) 20172017

Wrote 13 papers:

FSE-2016-HaoK0J #design #effectiveness #formal method #lightweight
Designing minimal effective normative systems with the help of lightweight formal methods (JH, EK, JS0, DJ0), pp. 50–60.
ASE-2017-LinMXXSPLZD #design #mining #reuse
Mining implicit design templates for actionable code reuse (YL0, GM, YX, ZX, JS0, XP0, YL0, WZ, JSD), pp. 394–404.
ASE-2017-LinSXLSH #invariant #named
FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers (SWL, JS0, HX, YL0, DS, HH), pp. 793–803.
ASE-2017-LiSLLL #automation #generative #invariant #refinement
Automatic loop-invariant generation and refinement through selective sampling (JL0, JS0, LL0, QLL, SWL), pp. 782–792.
ASE-2017-QianP0YNZ #collaboration #composition #social
O2O service composition with social collaboration (WQ, XP0, JS0, YY, BN, WZ), pp. 451–461.
ASE-2018-Lin0TBWD #debugging #slicing
Break the dead end of dynamic slicing: localizing data and control omission bug (YL0, JS0, LT, GB, HW, JSD), pp. 509–519.
ASE-2018-LinWLSZW #concurrent #data access #debugging #memory management #named
PFix: fixing concurrency bugs based on memory access patterns (HL, ZW, SL, JS0, DZ, GW), pp. 589–600.
ASE-2018-ZhouPX0LJD #debugging
Delta debugging microservice systems (XZ, XP0, TX, JS0, WL, CJ, DD), pp. 802–807.
ASE-2019-WangZL00L #named #novel #test coverage #testing #thread
MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes (ZW, YZ, SL, JS0, XC0, HL), pp. 722–734.
ESEC-FSE-2019-Zhou0X0JLXH #fault #learning #locality #predict
Latent error prediction and fault localization for microservice applications by learning from system trace logs (XZ, XP0, TX, JS0, CJ, DL, QX, CH), pp. 683–694.
FASE-2017-Wang0YP #approach #empirical #model checking #modelling #probability
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study (JW, JS0, QY, JP0), pp. 3–21.
CAV-2016-LeSC #satisfiability #source code
Satisfiability Modulo Heap-Based Programs (QLL, JS0, WNC), pp. 382–404.
CAV-2017-LeT0C #decidability #induction #logic
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic (QLL, MT, JS0, WNC), pp. 495–517.

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.