Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015

Optimizing deterministic garbage collection in NAND flash storage systems.

[BibT_eX]

[DOI]

Qi Zhang

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

nCov: A Tool for Measuring Length-n Subpath Coverage.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Exploit imbalanced cell writes to mitigate write disturbance in dense phase change memory.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

Selective restore: an energy efficient read disturbance mitigation scheme for future STT-MRAM.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability.

[BibT_eX]

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Automatic XACML requests generation for testing access control policies.

[BibT_eX]

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

2013

Design and Implementation of a Toolkit for Usability Testing of Mobile Apps.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2013

Verifying Aspect-Oriented Models against Crosscutting Properties.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2013

Data-assemblage: a translation-page-aware data block allocation strategy for flash-based solid state drives.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2013

Supporting Automatic Code Review via Design.

[BibT_eX]

[DOI]

Jiantao He

Linzhang Wang

Jianhua Zhao

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

Leveraging design rules to improve software architecture recovery.

[BibT_eX]

[DOI]

Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

Steering symbolic execution to less traveled paths.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

MVPTrack: Energy-Efficient Places and Motion States Tracking.

[BibT_eX]

[DOI]

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

A New Method for Automated GUI Modeling of Mobile Applications.

[BibT_eX]

[DOI]

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

Dynamically validating static memory leak warnings.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Simulating software behavior based on UML activity diagram.

[BibT_eX]

[DOI]

Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Optimizing translation information management in NAND flash memory storage systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012

Testing aspect-oriented programs with finite state machines.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2012

Timing analysis of scenario-based specifications using linear programming.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2012

Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer.

[BibT_eX]

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs.

[BibT_eX]

[DOI]

Qing Xu

Yu Pei

Linzhang Wang

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

Specifying and Detecting Behavioral Changes in Source Code Using Abstract Syntax Tree Differencing.

[BibT_eX]

[DOI]

Yuankui Li

Linzhang Wang

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

Detecting source code changes to maintain the consistence of behavioral model.

[BibT_eX]

[DOI]

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Time-leverage point detection for time sensitive software maintenance.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2011

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

UML interaction model-driven runtime verification of Java programs.

[BibT_eX]

[DOI]

IET Softw., 2011

Online Verification of Control Parameter Calculations in Communication Based Train Control System

[BibT_eX]

[DOI]

CoRR, 2011

2010

An authentication scheme for locating compromised sensor nodes in WSNs.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2010

Extending Ada to support multi-core based monitoring and fault tolerance.

[BibT_eX]

[DOI]

Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010

An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems.

[BibT_eX]

[DOI]

Yuting Chen

Shaoying Liu

Linzhang Wang

Proceedings of the 10th International Conference on Quality Software, 2010

Analyzing the robustness of FTSP with timed automata.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Enabling multi-core based monitoring and fault tolerance in C++/Java.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

BACH 2 : Bounded reachability checker for compositional linear hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

2009

UML Activity Diagram-Based Automatic Test Case Generation For Java Programs.

[BibT_eX]

[DOI]

Comput. J., 2009

Modeling and integrating aspects with UML activity diagrams.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Design pattern directed clustering for understanding open source code.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

Computational error handling as aspects: a case study.

[BibT_eX]

[DOI]

Proceedings of the 1st workshop on Linking aspect technology and evolution, 2009

2008

UML state machine diagram driven runtime verification of Java programs for message interaction consistency.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking.

[BibT_eX]

[DOI]

Jianhua Zhao

Linzhang Wang

Xuandong Li

Proceedings of the Leveraging Applications of Formal Methods, 2008

UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.

[BibT_eX]

[DOI]

Bin Lei

Linzhang Wang

Xuandong Li

Proceedings of the First International Conference on Software Testing, 2008

Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

BACH : Bounded ReAchability CHecker for Linear Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

A model-driven development framework for enterprise Web services.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2007

A Threat Model Driven Approach for Security Testing.

[BibT_eX]

[DOI]

Linzhang Wang

W. Eric Wong

Dianxiang Xu

Proceedings of the Third International Workshop on Software Engineering for Secure Systems, 2007

Towards a Model Driven Approach to Automatic BPEL Generation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2007

2006

Runtime Verification of Java Programs for Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2006

2005

Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), 2005

2004

Generating Test Cases from UML Activity Diagram based on Gray-Box Method.

[BibT_eX]

[DOI]

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

Linzhang Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...