Symbolic Arrays in Symbolic PathFinder
| Autor: | Corina S. Păsăreanu, Aymeric Fromherz, Kasper Søe Luckow |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Computer science
Programming language business.industry 020207 software engineering Symbolic-numeric computation 02 engineering and technology General Medicine Symbolic execution computer.software_genre Software quality Pathfinder Software Program analysis 020204 information systems Symbolic trajectory evaluation 0202 electrical engineering electronic engineering information engineering The Symbolic business computer |
| Zdroj: | ACM SIGSOFT Software Engineering Notes. 41:1-5 |
| ISSN: | 0163-5948 |
| Popis: | Symbolic Execution is a program analysis technique used to increase software reliability. Modern software often manipulate complex data structures, many of which being similar to arrays. We present a novel approach and implementation in Symbolic PathFinder for handling symbolic arrays in Java. It enables analyzing a broader class of programs that manipulates arrays. We also extend the Symbolic Pathfinder testcase generation to support numeric arrays. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|