Work

Static Specification Mining Using Automata-Based Abstractions

Year: 2008

Type: article

Source: IEEE Transactions on Software Engineering

DOI: 10.1109/tse.2008.63

Authors: S. Shoham, E. Yahav, S.J. Fink, M. Pistoia

Institutions: Technion – Israel Institute of Technology, IBM (United States), IBM Research - Thomas J. Watson Research Center

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2012148899

FWCI: 11.92

Cites: 39

Cited by: 77

Related to: 10