Travelled to:1 × Brazil
1 × China
1 × Germany
1 × Israel
1 × Italy
1 × Norway
1 × Portugal
1 × Switzerland
3 × Canada
4 × USA
Collaborated with:X.Li J.Zhao Y.Li B.Lei L.Bu Z.Cui R.Wang L.Jiang Y.Zhang J.Yang X.Chen X.Qiu F.Gao X.Yu Y.Zhang T.Zhang G.Zheng Y.Li G.Chen X.Zhou M.Li Y.Chen G.(.Xu Z.Su Y.Cai H.Wang S.Wong E.Tang D.Xu W.E.Wong X.Liu L.Yang Z.Han L.Yu J.Yuan J.Hu
Talks about:diagram (4) base (4) program (3) automat (3) driven (3) model (3) activ (3) test (3) java (3) uml (3)
Person: Linzhang Wang
DBLP: Wang:Linzhang
Contributed to:
2015
2014
2013
2013
2013
20122012
2010
2010
2009
2009
20082008
2007
2006
2006
2016Wrote 19 papers:
- DAC-2015-WangJZWY #energy #performance
- Selective restore: an energy efficient read disturbance mitigation scheme for future STT-MRAM (RW, LJ, YZ, LW, JY), p. 6.
- DAC-2015-WangJZWY15a #memory management
- Exploit imbalanced cell writes to mitigate write disturbance in dense phase change memory (RW, LJ, YZ, LW, JY), p. 6.
- SEKE-2014-LiLWC #automation #data access #generative #policy #testing
- Automatic XACML requests generation for testing access control policies (YL, YL, LW, GC), pp. 217–222.
- SEKE-2014-ZhouWLZ #correctness #empirical #probability #test coverage #testing
- An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability (XZ, LW, XL, JZ), pp. 632–635.
- ISSTA-2013-LiCWX #memory management #validation
- Dynamically validating static memory leak warnings (ML, YC, LW, G(X), pp. 112–122.
- OOPSLA-2013-LiSWL #execution #symbolic computation
- Steering symbolic execution to less traveled paths (YL, ZS, LW, XL), pp. 19–32.
- QoSA-2013-CaiWWW #architecture #design
- Leveraging design rules to improve software architecture recovery (YC, HW, SW, LW), pp. 133–142.
- ICSM-2012-TangWZL #detection #maintenance
- Time-leverage point detection for time sensitive software maintenance (ET, LW, JZ, XL), pp. 567–570.
- SEKE-2012-CuiWLBZL #aspect-oriented #diagrams #petri net #process #verification
- Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer (ZC, LW, XL, LB, JZ, XL), pp. 369–374.
- DATE-2010-BuLWCL #bound #composition #hybrid #linear #reachability
- BACH 2 : Bounded reachability checker for compositional linear hybrid systems (LB, YL, LW, XC, XL), pp. 1512–1517.
- SIGAda-2010-LiYBWZL #ada #fault tolerance #manycore #monitoring
- Extending Ada to support multi-core based monitoring and fault tolerance (YL, LY, LB, LW, JZ, XL), pp. 53–62.
- ICPC-2009-HanWYCZL #clustering #comprehension #design pattern #open source #source code
- Design pattern directed clustering for understanding open source code (ZH, LW, LY, XC, JZ, XL), pp. 295–296.
- SAC-2009-CuiWLX #aspect-oriented #diagrams #modelling #process #uml
- Modeling and integrating aspects with UML activity diagrams (ZC, LW, XL, DX), pp. 430–437.
- ICST-2008-LeiWL #concurrent #consistency #diagrams #java #nondeterminism #process #source code #testing #uml
- UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (BL, LW, XL), pp. 200–209.
- SAC-2008-LiQWLW #consistency #diagrams #interactive #java #runtime #source code #state machine #uml #verification
- UML state machine diagram driven runtime verification of Java programs for message interaction consistency (XL, XQ, LW, BL, WEW), pp. 384–389.
- ECMDA-FA-2007-YuZZWZZL #approach #automation #generative #modelling #towards
- Towards a Model Driven Approach to Automatic BPEL Generation (XY, YZ, TZ, LW, JZ, GZ, XL), pp. 204–218.
- AdaEurope-2006-LiWQLYZZ #java #runtime #source code #specification #verification
- Runtime Verification of Java Programs for Scenario-Based Specifications (XL, LW, XQ, BL, JY, JZ, GZ), pp. 94–105.
- EDOC-2006-YuHZZWZL #development #enterprise #framework #modelling #web #web service
- A Model Driven Development Framework for Enterprise Web Services (XY, JH, YZ, TZ, LW, JZ, XL), pp. 75–84.
- ASE-2016-GaoWL #automation #named
- BovInspector: automatic inspection and repair of buffer overflow vulnerabilities (FG, LW, XL), pp. 786–791.