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: 0001:Jun_Sun
Contributed to:
2016
201720182019
2019
2017
20162017Wrote 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.