Ji Wang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Data Augmentation by Program Transformation.

[BibT_eX]

[DOI]

Shiwen Yu

J. Syst. Softw., 2022

Collaborative Verification of Uninterpreted Programs.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2022

Multi-Intention-Aware Configuration Selection for Performance Tuning.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2022

Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization.

[BibT_eX]

[DOI]

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs.

[BibT_eX]

[DOI]

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017).

[BibT_eX]

[DOI]

Kim G. Larsen

Oleg Sokolsky

Sci. Comput. Program., 2021

Deep Understanding of Runtime Configuration Intention.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2021

On the Properties of Kullback-Leibler Divergence Between Gaussians.

[BibT_eX]

[DOI]

CoRR, 2021

MulCode: A Multi-task Learning Approach for Source Code Understanding.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

An Abstract Domain to Infer Linear Absolute Value Equalities.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Type and interval aware array constraint solving for symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Grammar-agnostic symbolic execution by token symbolization.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Challenges and opportunities: an in-depth empirical study on configuration error injection testing.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Synthesize solving strategy for symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Static Bound Analysis of Dynamically Allocated Resources for C Programs.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Dynamic Scene Deblurring Using Enhanced Feature Fusion and Multi - Distillation Mechanism.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2021

DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Trace Abstraction-Based Verification for Uninterpreted Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

Making Rigorous Linear Programming Practical for Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

On Scheduling Constraint Abstraction for Multi-Threaded Program Verification.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

Hierarchical Analysis of Loops With Relaxed Abstract Transformers.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2020

Learning Capsules for SAR Target Recognition.

[BibT_eX]

[DOI]

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2020

The Java Pathfinder Workshop 2019.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2020

Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution.

[BibT_eX]

[DOI]

Frontiers Inf. Technol. Electron. Eng., 2020

Software testing without the oracle correctness assumption.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2020

Guiding log revisions by learning from software evolution history.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

Input Validation for Neural Networks via Runtime Local Robustness Verification.

[BibT_eX]

[DOI]

CoRR, 2020

Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models.

[BibT_eX]

[DOI]

CoRR, 2020

Symbolic Verification of MPI Programs with Non-deterministic Synchronizations.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

Pairwise Similarity Regularization for Adversarial Domain Adaptation.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Efficient Multiplex Symbolic Execution with Adaptive Search Strategy.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Symbolic verification of message passing interface programs.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

MPI-SV: a symbolic verifier for MPI programs.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Progressive Unsupervised Domain Adaptation for Image-based Person Re-Identification.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Pattern Recognition, 2020

2019

Symbolic Verification of Regular Properties for Java Programs.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2019

Rademacher dropout: An adaptive dropout for deep neural network via optimizing generalization gap.

[BibT_eX]

[DOI]

Neurocomputing, 2019

Evaluation of model checkers by verifying message passing programs.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2019

Automatically detecting missing cleanup for ungraceful exits.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Verifying Numerical Programs via Iterative Abstract Testing.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 26th International Symposium, 2019

Detecting Error-Handling Bugs without Error Specification Input.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Parallel refinement for multi-threaded program verification.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

A Data Set for User Request Trace-Oriented Monitoring and its Applications.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2018

Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel.

[BibT_eX]

[DOI]

CoRR, 2018

Combining Symbolic Execution and Model Checking to Verify MPI Programs.

[BibT_eX]

[DOI]

CoRR, 2018

A True-Concurrency Encoding for BMC of Compositional Systems.

[BibT_eX]

[DOI]

Comput. J., 2018

YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Scheduling constraint based abstraction refinement for weak memory models.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Logtracker: learning log revision behaviors proactively from software evolution history.

[BibT_eX]

[DOI]

Proceedings of the 26th Conference on Program Comprehension, 2018

Symbolic verification of regular properties.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Analyzing Interrupt Handlers via Interprocedural Summaries.

[BibT_eX]

[DOI]

Xueguang Wu

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification.

[BibT_eX]

[DOI]

CoRR, 2017

Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

RGSE: a regular property guided symbolic executor for Java.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2016

2015

基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions).

[BibT_eX]

[DOI]

Banghu Yin

计算机科学, 2015

A Simple Probabilistic Extension of Modal Mu-calculus.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Poster: Segmentation Based Online Performance Problem Diagnosis.

[BibT_eX]

[DOI]

Jingwen Zhou

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Regular Property Guided Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Poster: Symbolic Execution of MPI Programs.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

MPISE: Symbolic Execution of MPI Programs.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Static analysis of lists by combining shape and numerical abstractions.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Counterexample-Preserving Reduction for Symbolic Model Checking.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

Robustness Analysis of Floating-Point Programs by Self-Composition.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

A topology-aware method for scientific application deployment on cloud.

[BibT_eX]

[DOI]

Int. J. Web Grid Serv., 2014

An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters.

[BibT_eX]

[DOI]

Xueguang Wu

Proceedings of the Fifth International Workshop on Numerical and Symbolic Abstract Domains, 2014

MPISE: Symbolic Execution of MPI Programs.

[BibT_eX]

[DOI]

CoRR, 2014

MTracer: A Trace-Oriented Monitoring Framework for Medium-Scale Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

An Abstract Domain to Infer Octagonal Constraints with Absolute Value.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 21st International Symposium, 2014

A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Trace Bench: An Open Data Set for Trace-Oriented Monitoring.

[BibT_eX]

[DOI]

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

Synchronization Error Detection of MPI Programs by Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Towards an Open Data Set for Trace-Oriented Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

2013

Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

An Operational Semantics for Model Checking Long Running Transactions.

[BibT_eX]

[DOI]

Hengbiao Yu

Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking.

[BibT_eX]

[DOI]

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

Static analysis of list-manipulating programs via bit-vectors and numerical abstractions.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Counterexample-Preserving Reduction for Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

Failure-divergence semantics and refinement of long running transactions.

[BibT_eX]

[DOI]

Zhiming Liu

Theor. Comput. Sci., 2012

S2PF: speculative symbolic PathFinder.

[BibT_eX]

[DOI]

Yufeng Zhang

ACM SIGSOFT Softw. Eng. Notes, 2012

A spectral clustering-based optimal deployment method for scientific application in cloud computing.

[BibT_eX]

[DOI]

Int. J. Web Grid Serv., 2012

A logistic regression model for Semantic Web service matchmaking.

[BibT_eX]

[DOI]

Dengping Wei

Sci. China Inf. Sci., 2012

Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs.

[BibT_eX]

[DOI]

Longming Dong

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Speculative Symbolic Execution.

[BibT_eX]

[DOI]

Yufeng Zhang

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Online Optimization of VM Deployment in IaaS Cloud.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs.

[BibT_eX]

[DOI]

Longming Dong

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Topology-Aware Deployment of Scientific Applications in Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2011

SAWSDL-iMatcher: A customizable and effective Semantic Web Service matchmaker.

[BibT_eX]

[DOI]

J. Web Semant., 2011

A Programming Language Approach to Internet-Based Virtual Computing Environment.

[BibT_eX]

[DOI]

Rui Shen

Huaimin Wang

J. Comput. Sci. Technol., 2011

SAWSDL Service Discovery Based on Fine-Grained Data Semantics.

[BibT_eX]

[DOI]

Dengping Wei

IEICE Trans. Inf. Syst., 2011

Quantitative analysis for symbolic heap bounds of CPS software.

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2011

Using complex network features for fast clustering in the web.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on World Wide Web, 2011

A bipartite graph based social network splicing method for person name disambiguation.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 34th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2011

A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogsphere.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Failure-Divergence Refinement of Compensating Communicating Processes.

[BibT_eX]

[DOI]

Zhiming Liu

Proceedings of the FM 2011: Formal Methods, 2011

Linear Absolute Value Relation Analysis.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2011

2010

Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs.

[BibT_eX]

[DOI]

Comput. J., 2010

An Abstract Domain to Discover Interval Linear Equalities.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

2009

Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2009

A tighter analysis of Piterman's Büchi determinization.

[BibT_eX]

[DOI]

Wanwei Liu

Inf. Process. Lett., 2009

Symbolic model checking APSL.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2009

Automated Worst-Case Execution Time Analysis Based on Program Modes.

[BibT_eX]

[DOI]

Comput. J., 2009

Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 16th International Symposium, 2009

Efficient social network approximate analysis on blogosphere based on network structure characteristics.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Social Network Mining and Analysis, 2009

2008

An adaptive casteship mechanism for developing multi-agent systems.

[BibT_eX]

[DOI]

Int. J. Comput. Appl. Technol., 2008

Symbolic Model Checking APSL.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Extracting Semantic Constraint from Description Text for Semantic Web Service Discovery.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Computing Must and May Alias to Detect Null Pointer Dereference.

[BibT_eX]

[DOI]

Xiaodong Ma

Proceedings of the Leveraging Applications of Formal Methods, 2008

Information Flow Detection and Tracking on Web2.0 BLOGS Based on Social Networks.

[BibT_eX]

[DOI]

Jintao Tang

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Automating Software FMEA via Formal Analysis of Dependence Relations.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Modelling and model checking suspendible business processes via statechart diagrams and CSP.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

Interface theory-based formalisation and verification of orchestration in BPEL4WS.

[BibT_eX]

[DOI]

Int. J. Bus. Process. Integr. Manag., 2007

Shape Analysis by Refining on Abstract Evaluation Path.

[BibT_eX]

[DOI]

Xiaodong Ma

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Engineering Adaptive Multi-Agent Systems with ODAM Methodology.

[BibT_eX]

[DOI]

Jianming Zhao

Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2007

Axiomatizing Extended Temporal Logic Fragments Via Instantiation.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2007

Compositional Verification of UML Dynamic Models.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Slicing Execution for Model Checking C Programs.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2006

A Contract-based Approach to Specifying and Verifying Safety Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006

Model Checking Suspendible Business Processes via Statechart Diagrams and CSP.

[BibT_eX]

Proceedings of the Modelling, 2006

Towards Formal Interfaces for Web Services with Transactions.

[BibT_eX]

[DOI]

Proceedings of the Advanced Internet Based Systems and Applications, 2006

The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents.

[BibT_eX]

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Verifying Choreographic Descriptions of Web Services Based on CSP.

[BibT_eX]

[DOI]

Wing Lok Yeung

Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

Towards a Framework for Scalable Model Checking of Concurrent C Programs.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

Automated WCET Analysis Based on Program Modes.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

Stateful Dynamic Partial-Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

Representing Wholes by Structure.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Developing Multi-Agent Systems with Dynamic Binding Mechanism.

[BibT_eX]

[DOI]

Jianming Zhao

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Automatic Extraction of Hierarchical Relations from Text.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2006

An Interface Theory Based Approach to Verification of Web Services.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence and Security, International Conference, 2006

SVM-Based Tumor Classification with Gene Expression Data.

[BibT_eX]

[DOI]

Proceedings of the Advanced Data Mining and Applications, Second International Conference, 2006

2005

Verification of C Programs using Slicing Execution.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

2/3 Alternating Simulation Between Interface Automata.

[BibT_eX]

[DOI]

Yanjun Wen

Proceedings of the Formal Methods and Software Engineering, 2005

Modeling Organization Structure of Multi-Agent System.

[BibT_eX]

[DOI]

Jiajia Chen

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Contract-Based Formal Specification of Safety Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Improvements Towards Formalizing UML State Diagrams in CSP.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

MetaData Pro: Ontology-Based Metadata Processing for Web Resources.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems, 2004

Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models.

[BibT_eX]

[DOI]

Yan Jiong

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Property-Oriented Test Generation from UML Statecharts.

[BibT_eX]

[DOI]

Shuhao Li

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.

[BibT_eX]

[DOI]

Jiong Yan

Proceedings of the Parallel and Distributed Processing and Applications, 2004

Reverse Observation Equivalence Between Labelled State Transition Systems.

[BibT_eX]

[DOI]

Yanjun Wen

Proceedings of the Theoretical Aspects of Computing, 2004

Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata.

[BibT_eX]

[DOI]

Yanjun Wen

Proceedings of the Formal Methods and Software Engineering, 2004

A Framework to Specify and Evaluate Coordination in MAS with Logic.

[BibT_eX]

[DOI]

Eric S. K. Yu

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.

[BibT_eX]

[DOI]

Xin Wang

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Property-Oriented Testing of Real-Time Systems.

[BibT_eX]

[DOI]

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

2003

Improved Method to Generate Path-Wise Test Data.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2003

Deriving Software Statistical Testing Model from UML Model.

[BibT_eX]

[DOI]

Yan Jiong

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

2002

Slicing Hierarchical Automata for Model Checking UML Statecharts.

[BibT_eX]

[DOI]

Zhichang Qi

Proceedings of the Formal Methods and Software Engineering, 2002

2001

On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing.

[BibT_eX]

[DOI]

Jinhui Shan

Zhichang Qi

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Model Checking UML Statecharts.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1998

Verifying automata specification of distributed probabilistic real-time systems.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1998

1993

A formal technique to analyze real-time systems.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992

Temporal Reasoning About Real Time Reactive Systems.

[BibT_eX]