Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs.
Emanuele De AngelisFabio FioravantiAdrián PalaciosAlberto PettorossiMaurizio ProiettiPublished in: HCVS (2018)
Keyphrases
- symbolic execution
- error detection
- error correction
- static analysis
- test generation
- test data generation
- error recovery
- specification language
- source code
- data cleansing
- fault tolerance
- data flow
- fault isolation
- test cases
- digital libraries
- description language
- monitoring system
- intelligent agents
- multi agent
- case study
- artificial intelligence
- genetic algorithm