Work

Efficiently Testing Distributed Systems via Abstract State Space Prioritization

Year: 2025

Type: article

Source: IEEE Transactions on Software Engineering

DOI: 10.1109/tse.2025.3618976

Authors: Yu Gao, Dong Wang, Wensheng Dou, Wenhan Feng, Yu Liang, Jun Wei

Institutions: Chinese Academy of Sciences, Institute of Software, University of Chinese Academy of Sciences, State Key Laboratory of Computer Science

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

Awards: G4465086107, G6592784820

OpenAlex ID: W4414988659

FWCI:

Cites: 43

Cited by:

Related to: