Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation.
Jiayi CaoAngello AstorgaSiwakorn SrisakaokulZhengkai WuXueqing LiuXusheng XiaoTao XiePublished in: VL/HCC (2018)
Keyphrases
- test generation
- test cases
- design automation
- symbolic execution
- information visualization
- interactive exploration
- test sequences
- fault diagnosis
- mutation testing
- quality assurance
- static analysis
- structural model
- shortest path
- software testing
- interactive visualization
- test data generation
- regression testing
- model based diagnosis
- databases
- case study
- code coverage
- computer vision