Manumap
  • Explore
  • Search
  1. Home
  2. Search
  3. Symbolic Execution And Program Testing

Symbolic Execution And Program Testing

·1976·DOI
Health Data Science
Data Science and Technologies
Software Engineering and Practices
Software Testing Methods

Role in the Field

Neutralin Health Data Science
Neutralin Data Science and Technologies
Neutralin Software Engineering and Practices
Neutralin Software Testing Methods

Abstract

Citations

2,001

Year

1976

PageRank

4.9 / 10

Relative influence (log-scaled)

Manumap

Explore the academic research landscape through interactive visualization and discovery tools.

Navigate

  • Explore Map
  • Search Papers
© 2026 Manumap. All rights reserved.