Work

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria

Year: 2014

Type: conference-paper

Source: IEEE International Conference on Software Testing, Verification and Validation (ICST)

DOI: 10.1109/icst.2014.30

Authors: Sebastien Bardin, Nikolai Kosmatov, Francois Cheynier

Institution: Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Agence Nationale de la Recherche

Award: Binary code analysis for security

OpenAlex ID: W1983762734

FWCI: 2.112

Cites: 44

Cited by: 33

Related to: 10