Work

Automatically computing path complexity of programs

Year: 2015

Type: conference-paper

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

DOI: 10.1145/2786805.2786863

Authors: Lucas Bang, Abdulbaki Aydin, Tevfik Bultan

Institution: University of California, Santa Barbara

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, Defense Advanced Research Projects Agency

Awards: G1618543994, SHF: Small: Data Model Verification for Web Applications

OpenAlex ID: W2045176168

FWCI: 0.639

Cites: 36

Cited by: 19

Related to: 10