Work

Using a constraint satisfaction formulation and solution techniques for random test program generation

Year: 2002

Type: article

Source: IBM Systems Journal

DOI: 10.1147/sj.413.0386

Authors: E. Bin, R. Emek, G. Shurek, A. Ziv

Institution: IBM Research - Haifa

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2042835116

FWCI: 10.77

Cites: 32

Cited by: 88

Related to: 10