Travelled to:1 × Austria
1 × Canada
1 × China
1 × Hungary
1 × India
1 × Portugal
1 × South Africa
1 × Sweden
1 × Switzerland
2 × Germany
2 × Italy
4 × USA
Collaborated with:J.Kramer Y.Liu R.Wu C.Xu L.Wei W.K.Chan Z.Lai M.Wen V.Terragni C.X.0001 C.Zhang Y.Li H.Zhang S.Kim H.Huang W.Dou J.Wei W.K.Chan D.K.W.Chiu H.Leung D.Giannakopoulou M.Kim S.K.0001 X.Wang Z.Zhang J.Hu Xiao Xiao 0003 H.Z.0002 W.Dou C.Gao L.Xu J.W.0001 D.Li H.Wang R.Zhang X.Ma Y.Tian X.Xie Z.Su Y.Wang Z.Liu R.Wang B.Yang H.Yu Z.Z.0001
Talks about:detect (10) analysi (7) android (6) bug (6) context (5) applic (5) base (5) spreadsheet (4) reachabl (4) composit (4)
Person: Shing-Chi Cheung
DBLP: Cheung:Shing=Chi
Facilitated 1 volumes:
EdContributed to:
2015
20142014
2014
201120102009200820062005
20031997199619951994
199319932016201620172018201820192019
2016Wrote 30 papers:
- ICSE-v1-2015-TerragniCZ #concurrent #effectiveness #named #source code #testing
- RECONTEST: Effective Regression Testing of Concurrent Programs (VT, SCC, CZ), pp. 246–256.
- ASE-2014-LiC #runtime #validation
- Symbolic state validation through runtime data (YL, SCC), pp. 187–198.
- ICSE-2014-DouCW #ambiguity #detection #smell #spreadsheet
- Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation (WD, SCC, JW), pp. 848–858.
- ICSE-2014-LiuXC #debugging #detection #performance #smarttech
- Characterizing and detecting performance bugs for smartphone applications (YL, CX, SCC), pp. 1013–1024.
- ISSTA-2014-WuZCK #fault #named
- CrashLocator: locating crashing faults based on crash stacks (RW, HZ, SCC, SK), pp. 204–214.
- ESEC-FSE-2011-WuZKC #debugging #named
- ReLink: recovering links between bugs and changes (RW, HZ, SK, SCC), pp. 15–25.
- ICSE-2010-LaiCC #detection #parallel #random #source code #testing #thread
- Detecting atomic-set serializability violations in multithreaded programs through active randomized testing (ZL, SCC, WKC), pp. 235–244.
- ICSE-2009-WangCCZ #correctness #fault #locality #refinement
- Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization (XW, SCC, WKC, ZZ), pp. 45–55.
- FSE-2008-LaiCC #control flow #data flow #test coverage #testing
- Inter-context control-flow and data-flow test adequacy criteria for nesC applications (ZL, SCC, WKC), pp. 94–104.
- ICSE-2006-XuCC #consistency #incremental #pervasive
- Incremental consistency checking for pervasive context (CX, SCC, WKC), pp. 292–301.
- ESEC-FSE-2005-XuC #consistency #detection #middleware #nondeterminism
- Inconsistency detection and resolution for context-aware middleware support (CX, SCC), pp. 336–345.
- CAiSE-2003-ChiuCL #adaptation #collaboration
- A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems (DKWC, SCC, HfL), pp. 226–241.
- ESEC-FSE-1997-CheungGK #analysis #composition #liveness #reachability #using #verification
- Verification of Liveness Properties Using Compositional Reachability Analysis (SCC, DG, JK), pp. 227–243.
- ICSE-1996-CheungK #analysis #composition #reachability #safety
- Checking Subsystem Safety Properties in Compositional Reachability Analysis (SCC, JK), pp. 144–154.
- FSE-1995-CheungK #analysis #composition #constraints #distributed #finite #reachability
- Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints (SCC, JK), pp. 140–150.
- ICSE-1994-CheungK #analysis #behaviour #distributed #effectiveness
- An Integrated Method for Effective Behaviour Analysis of Distributed Systems (SCC, JK), pp. 309–320.
- ESEC-1993-CheungK #analysis #detection #distributed #source code
- Tractable Flow Analysis for Anomaly Detection in Distributed Programs (SCC, JK), pp. 283–300.
- FSE-1993-CheungK #analysis #composition #constraints #reachability
- Enhancing Compositional Reachability Analysis with Context Constraints (SCC, JK), pp. 115–125.
- ASE-2016-WeiLC #android #detection
- Taming Android fragmentation: characterizing and detecting compatibility issues for Android apps (LW, YL, SCC), pp. 226–237.
- ASE-2016-WenWC #debugging #named
- Locus: locating bugs from software changes (MW, RW, SCC), pp. 262–273.
- FSE-2016-DouCGXXW #detection #smell #spreadsheet
- Detecting table clones and smells in spreadsheets (WD, SCC, CG, CX0, LX, JW0), pp. 787–798.
- FSE-2016-LiuXCT #android #comprehension #detection
- Understanding and detecting wake lock misuses for Android applications (YL, CX0, SCC, VT), pp. 396–409.
- ESEC-FSE-2017-WeiLC #android #named #static analysis
- OASIS: prioritizing static analysis warnings for Android apps based on app user reviews (LW, YL, SCC), pp. 672–682.
- ASE-2018-HuangWLC #android #comprehension #detection
- Understanding and detecting callback compatibility issues for Android applications (HH, LW, YL, SCC), pp. 532–542.
- ASE-2018-HuWLCH #android #debugging #how
- A tale of two cities: how WebView induces bugs to Android applications (JH, LW, YL, SCC, HH), pp. 702–713.
- ESEC-FSE-2018-KimC0 #fault #using
- Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF (MK, SCC, SK0), pp. 679–690.
- ESEC-FSE-2018-WangWLWWYYZC #dependence #matter #question
- Do the dependency conflicts in my project matter? (YW, MW, ZL, RW, RW, BY, HY, ZZ0, SCC), pp. 319–330.
- ASE-2019-LiW0ZCM #clustering #detection #effectiveness #fault #named #spreadsheet
- SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection (DL, HW, CX0, RZ, SCC, XM), pp. 1142–1145.
- ESEC-FSE-2019-WenWLTXCS #commit #correlation #debugging
- Exploring and exploiting the correlations between bug-inducing and bug-fixing commits (MW, RW, YL, YT, XX, SCC, ZS), pp. 326–337.
- POPL-2016-WuXCZZ #approach #named #performance
- Casper: an efficient approach to call trace collection (RW, XX0, SCC, HZ0, CZ), pp. 678–690.