Work

From uncertainty to belief: inferring the specification within

Year: 2006

Type: article

DOI: 10.5555/1298455.1298471

Authors: Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson Engler

Institutions: Stanford University, Virginia Tech

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1968027261

FWCI: 21.43

Cites: 33

Cited by: 151

Related to: 10