ConTesa: Directed Test Suite Augmentation for Concurrent Software

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 01, 2020
Source ID
10.1109/tse.2018.2861392

Entities

People

  • Chao Wang
  • Tingting Yu
  • Zunchen Huang

Organizations

  • National Science Foundation
  • Office of Naval Research