3 citations · 7 across the 12 of their papers we have counts for
12 papers
AutoTestForge: A Multidimensional Automated Testing Framework for Natural Language Processing Models
Hengrui Xing, Cong Tian, Liang Zhao +5
In recent years, the application of behavioral testing in Natural Language Processing (NLP) model evaluation has experienced a remarkable and substantial growth. However, the exist…
MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
Jie Su, Liansai Deng, Cheng Wen +6
Currently, many verification algorithms are available to improve the reliability of software systems. Selecting the appropriate verification algorithm typically demands domain expe…
ParMod: A Parallel and Modular Framework for Learning Non-Markovian Tasks
Ruixuan Miao, Xu Lu, Cong Tian +2
The commonly used Reinforcement Learning (RL) model, MDPs (Markov Decision Processes), has a basic premise that rewards depend on the current state and action only. However, many r…
Using Experience Classification for Training Non-Markovian Tasks
Ruixuan Miao, Xu Lu, Cong Tian +2
Unlike the standard Reinforcement Learning (RL) model, many real-world tasks are non-Markovian, whose rewards are predicated on state history rather than solely on the current stat…
A Novel Load Balancing Scheme for Mobile Edge Computing
Zhenhua Duan, Cong Tian, Nan Zhang +5
To overcome long propagation delays for data exchange between the remote cloud data center and end devices in Mobile Cloud Computing (MCC), Mobile Edge Computing (MEC) is merging t…
Making Streett Determinization Tight
Cong Tian, Wensheng Wang, Zhenhua Duan
Optimal determinization construction of Streett automata is an important research problem because it is indispensable in numerous applications such as decision problems for tree te…
Translating Xd-C programs to MSVL programs
Meng Wang, Cong Tian, Nan Zhang +2
C language is one of the most popular languages for software systems. In order to verify safety, reliability and security properties of such systems written in C, a tool UMC4M for…
Extending PPTL for Verifying Heap Evolution Properties
Xu Lu, Zhenhua Duan, Cong Tian
In this paper, we integrate separation logic with Propositional Projection Temporal Logic (PPTL) to obtain a two-dimensional logic, namely PPTL$^{\tiny\mbox{SL}}$. The spatial dime…
An Improved Decision Procedure for Linear Time Mu-Calculus
Yao Liu, Zhenhua Duan, Cong Tian
An improved Present Future form (PF form) for linear time -calculus (TL) is presented in this paper. In particular, the future part of the new version turns into the conjunct…
Buchi Determinization Made Tighter
Cong Tian, Zhenhua Duan
By separating the principal acceptance mechanism from the concrete acceptance condition of a given Büchi automaton with states,Schewe presented the construction of an equivalen…
Detecting Spurious Counterexamples Efficiently in Abstract Model Checking
Cong Tian, Zhenhua Duan
Abstraction is one of the most important strategies for dealing with the state space explosion problem in model checking. In the abstract model, the state space is largely reduced,…
Making Abstraction Refinement Efficient in Model Checking
Cong Tian, Zhenhua Duan
Abstraction is one of the most important strategies for dealing with the state space explosion problem in model checking. In the abstract model, although the state space is largely…