Work

4 Regression-free Synthesis for Concurrency∗

Year: 2014

Type: article

Authors: Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

Institutions: University of Colorado Boulder, Institute of Science and Technology Austria, University of Toronto, Data61

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3104857038

FWCI: 11.31

Cites: 22

Cited by: 18

Related to: 10