Work

Target-driven compositional concolic testing with function summary refinement for effective bug detection

Year: 2019

Type: conference-paper

Source: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

DOI: 10.1145/3338906.3338934

Authors: Yunho Kim, Shin Hong, Moonzoo Kim

Institutions: Korea Advanced Institute of Science and Technology, Handong Global University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Research Foundation of Korea

Award: G7423343745

OpenAlex ID: W2969087412

FWCI: 2.301

Cites: 43

Cited by: 22

Related to: 10